Automatic Proofs and Counterexamples for Some Ortholattice Identities

Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)

by William Mccune

Venue:	Information Processing Letters
Citations:	21 - 2 self

41	Otter: The CADE-13 Competition Incarnations – William McCune, Larry Wos - 1997
3	System Description: IVY – William Mccune, Olga Shumsky - 2000
22	33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies – William Mccune - 1996
	MACE 2.0 Reference Manual and Guide – William Mccune - 2001
6	Experiments With Subdivision of Search in Distributed Theorem Proving – Maria Paola Bonacina - 1997
6	Citius altius fortius: Lessons learned from the Theorem Prover Waldmeister – Thomas Hillenbrand - 2003
113	Solution of the Robbins Problem – William Mccune - 1997
97	Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
24	Ivy: A Preprocessor And Proof Checker For First-Order Logic – William Mccune, Olga Shumsky - 1999
100	E - A Brainiac Theorem Prover – Stephan Schulz - 2002
	Computational Discovery in Pure Mathematics – Simon Colton
	Visualising First-Order Proof Search – Graham Steel - 2005
1	Well-Behaved Search and the Robbins Problem – William Mccune - 1997
3	Mechanical proofs of the Levi commutator problem – Maria Paola Bonacina - 1998
14	A Taxonomy of Parallel Strategies for Deduction – Maria Paola Bonacina - 1999
7	The Next WALDMEISTER Loop – Thomas Hillenbrand, Bernd Löchner - 2001
1	Progress in automated theorem proving, 1997-2001 – Geoff Sutcliffe, Matthias Fuchs, Christian Suttner - 2001
	Organizations in Action – Jaap Kamps - 1999
	Reducing Uncertainty: A Formal Theory of – Organizations In Action, Jaap Kamps