TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639): Difference between revisions

@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954845
@@ Property / cites work: Q3954845 / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of Prolog with hypothetical implications. I.
+Normal rank
@@ Property / cites work @@
+Q4281690
@@ Property / cites work: Q4281690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395138
@@ Property / cites work: Q4395138 / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Horn prolog and beyond
@@ Property / cites work: Near-Horn prolog and beyond / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified problem reduction format
@@ Property / cites work: A simplified problem reduction format / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+A sequent-style model elimination strategy and a positive refinement
+Normal rank
@@ Property / cites work @@
+A comparison of three PROLOG extensions
@@ Property / cites work: A comparison of three PROLOG extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786473
@@ Property / cites work: Q3786473 / rank @@
+Normal rank