Oct 10, 1996
Robbins conjecture
Model / AI: EQP
verified
McCune's EQP prover closed a problem open for more than 60 years.
Source review pending. Imported from the original notes; linked claims and artifacts have not been re-audited in this restructuring.