The TPTP problem library (Q5210777): Difference between revisions

@@ Property / author @@
-Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
-Normal rank
@@ Property / author @@
+Geoff Sutcliffe
@@ Property / author: Geoff Sutcliffe / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1768790486
@@ Property / OpenAlex ID: W1768790486 / rank @@
+Normal rank
@@ Property / cites work @@
+Challenge problems in elementary calculus
@@ Property / cites work: Challenge problems in elementary calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory in first-order logic: Clauses for Gödel's axioms
+Normal rank
@@ Property / cites work @@
+Q5688940
@@ Property / cites work: Q5688940 / rank @@
+Normal rank
@@ Property / cites work @@
+Single axioms for groups and abelian groups with various operations
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+Q4264737
@@ Property / cites work: Q4264737 / rank @@
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+Automated deduction in von Neumann-Bernays-Gödel set theory
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / cites work @@
+Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
+Normal rank