On the relation between resolution based and completion based theorem proving (Q758218): Difference between revisions

@@ Property / author @@
-Q758217
@@ Property / author: Q758217 / rank @@
-Normal rank
@@ Property / author @@
+Rolf Socher-Ambrosius
@@ Property / author: Rolf Socher-Ambrosius / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783627
@@ Property / cites work: Q3783627 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving using term-rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Q3765266
@@ Property / cites work: Q3765266 / rank @@
+Normal rank
@@ Property / cites work @@
+On Cores and Prime Implicants of Truth Functions
@@ Property / cites work: On Cores and Prime Implicants of Truth Functions / rank @@
+Normal rank