The TPTP problem library
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 252-266
- https://doi.org/10.1007/3-540-58156-1_18
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Single axioms for groups and Abelian groups with various operationsJournal of Automated Reasoning, 1993
- Automated deduction in von Neumann-Bernays-Gödel set theoryJournal of Automated Reasoning, 1992
- Experiments in automated deduction with condensed detachmentPublished by Springer Nature ,1992
- Challenge problems in elementary calculusJournal of Automated Reasoning, 1990
- Non-Horn clause logic programming without contrapositivesJournal of Automated Reasoning, 1988
- Set theory in first-order logic: Clauses for Gödel's axiomsJournal of Automated Reasoning, 1986
- Seventy-five problems for testing automatic theorem proversJournal of Automated Reasoning, 1986
- Schubert's Steamroller problem: Formulations and solutionsJournal of Automated Reasoning, 1986
- A Prolog technology theorem proverNew Generation Computing, 1984
- Problems and Experiments for and with Automated Theorem-Proving ProgramsIEEE Transactions on Computers, 1976