Analytic resolution in theorem proving (Q1233325): Difference between revisions

@@ Property / cites work @@
+Proving Theorems with the Modification Method
@@ Property / cites work: Proving Theorems with the Modification Method / rank @@
+Normal rank
@@ Property / cites work @@
+An Implementation of the Model Elimination Proof Procedure
+Normal rank
@@ Property / cites work @@
+Q5621960
@@ Property / cites work: Q5621960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672215
@@ Property / cites work: Q5672215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5594194
@@ Property / cites work: Q5594194 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5591533
@@ Property / cites work: Q5591533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / 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