Seventy-five problems for testing automatic theorem provers (Q1101242): Difference between revisions

@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+On Resolution with Clauses of Bounded Size
@@ Property / cites work: On Resolution with Clauses of Bounded Size / rank @@
+Normal rank
@@ Property / cites work @@
+On Tarski's formalization of predicate logic with identity
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+On the paradox of grounded classes
@@ Property / cites work: On the paradox of grounded classes / rank @@
+Normal rank
@@ Property / cites work @@
+Breadth-first search: some surprising results
@@ Property / cites work: Breadth-first search: some surprising results / rank @@
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / cites work @@
+The complexity of Gentzen systems for propositional logic
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A mechanical solution of Schubert's steamroller by many-sorted resolution
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02432151
+Normal rank
@@ Property / OpenAlex ID @@
+W2126583599
@@ Property / OpenAlex ID: W2126583599 / rank @@
+Normal rank