|
94
|
The TPTP Problem Library
– Christian B. Suttner, Geoff Sutcliffe
- 1999
|
|
22
|
33 Basic Test Problems: A Practical Evaluation of Some Paramodulation Strategies
– William Mccune
- 1996
|
|
|
Automated reasoning: Real uses and . . .
– Larry Wos
|
|
3
|
Automated Reasoning and Bledsoe's Dream for the Field
– Larry Wos
|
|
1
|
Automated Equational Deduction with Otter
– William Mccune, R. Padmanabhan
- 1995
|
|
4
|
Uniform Strategies: The CADE-11 Theorem Proving Contest
– Ewing L. Lusk, William W. Mccune
- 1993
|
|
|
Computational Discovery in Pure Mathematics
– Simon Colton
|
|
|
Literature Review -- Smart Switched Automated Theorem Proving System
– Darryl Seyfang
- 1998
|
|
21
|
Automatic Proofs and Counterexamples for Some Ortholattice Identities
– William Mccune
- 1998
|
|
3
|
Mechanical proofs of the Levi commutator problem
– Maria Paola Bonacina
- 1998
|
|
1
|
The Application of Automated Reasoning to Formal Models of Combinatorial Optimization
– Paul Helman, Robert Veroff
|
|
|
An Entry in the 1992 Overbeek Theorem-Proving Contest
– E. L. Lusk, W. W. Mccune
- 1992
|
|
5
|
A New Method for Automated Finite Model Building Exploiting Failures and Symmetries
– Nicolas Peltier
- 1998
|
|
|
PARALLEL UNIT RESULTING RESOLUTION
– Christoph Meyer
- 1996
|
|
|
Automated Deduction in Equational Logic and Geometry
– William Mccune, R. Padmanabhan
- 1995
|
|
23
|
Automated Deduction in Equational Logic and Cubic Curves
– William McCune, R. Padmanabhan
- 1996
|
|
|
Completeness of the LELS Inference Rule in Automated Theorem Proving
– Chuen-hsuen Jeff Ho
|
|
6
|
Every diassociative A-loop is Moufang
– Michael K. Kinyon, Kenneth Kunen, J. D. Phillips
|
|
6
|
Investigations in Model Elimination Based Theorem Proving
– Owen L. Astrachan, Owen L. Astrachan
- 1992
|
