Resolution graphs (Q2543000): Difference between revisions

@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Semi-Automated Mathematics
@@ Property / cites work: Semi-Automated Mathematics / rank @@
+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 @@
+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 @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Q5594194
@@ Property / cites work: Q5594194 / 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 @@
+Q5621960
@@ Property / cites work: Q5621960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving by Covering Expressions
@@ Property / cites work: Theorem Proving by Covering Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619635
@@ Property / cites work: Q5619635 / rank @@
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank