Mode-Directed Inverse Entailment for Full Clausal Theories (Q5452095): Difference between revisions

@@ Property / cites work @@
+Q5649989
@@ Property / cites work: Q5649989 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Induction as consequence finding
@@ Property / cites work: Induction as consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537969
@@ Property / cites work: Q4537969 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming
@@ Property / cites work: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: A new exposition and implementation in Prolog
+Normal rank
@@ Property / cites work @@
+Hypothesis finding based on upward refinement of residue hypotheses.
+Normal rank