Linear resolution with selection function (Q2551698): Difference between revisions

@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+Normal rank
@@ Property / cites work @@
+Resolution With Merging
@@ Property / cites work: Resolution With Merging / rank @@
+Normal rank
@@ Property / cites work @@
+Q5621960
@@ Property / cites work: Q5621960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623241
@@ Property / cites work: Q5623241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679732
@@ Property / cites work: Q5679732 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Q5600875
@@ Property / cites work: Q5600875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5619635
@@ Property / cites work: Q5619635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626300
@@ Property / cites work: Q5626300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672214
@@ Property / cites work: Q5672214 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Resolution graphs
@@ Property / cites work: Resolution graphs / rank @@
+Normal rank