Experimental tests of resolution-based theorem-proving strategies (Q1230669): Difference between revisions

@@ Property / cites work @@
+Q5585020
@@ Property / cites work: Q5585020 / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental tests of resolution-based theorem-proving strategies
+Normal rank
@@ Property / cites work @@
+Q5683688
@@ Property / cites work: Q5683688 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Results on Ordering for Resolution with Merging and Linear Format
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution With Merging
@@ Property / cites work: Resolution With Merging / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600875
@@ Property / cites work: Q5600875 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+Normal rank
@@ Property / cites work @@
+Q5594194
@@ Property / cites work: Q5594194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726943
@@ Property / cites work: Q5726943 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5558293
@@ Property / cites work: Q5558293 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving for Computers: Some Results on Resolution and Renaming
+Normal rank