The Erdos-Graham Semiprime Unit Fraction Problem
Prior state unknown→proved
the omega = 2 integer case, the one Butler, Erdos and Graham left open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
number-theory / Number theory
the omega = 2 integer case, the one Butler, Erdos and Graham left open
Temporal state
No reconciled state yet.
Append-only history
the omega = 2 integer case, the one Butler, Erdos and Graham left open
Research memory
the omega = 2 integer case, the one Butler, Erdos and Graham left open
the omega = 2 integer case, the one Butler, Erdos and Graham left open
Evidence graph
parent of · claim · theorem
parent of · event · claim reported