Experiments with resolution-based theorem-proving algorithms (Q1165594): Difference between revisions

@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5663381
@@ Property / cites work: Q5663381 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5609410
@@ Property / cites work: Q5609410 / rank @@
+Normal rank
@@ Property / cites work @@
+An Evaluation of an Implementation of Qualified Hyperresolution
+Normal rank