Experiments with a heuristic theorem-proving program for predicate calculus with equality (Q2551695): Difference between revisions

@@ Property / cites work @@
+Q5624685
@@ Property / cites work: Q5624685 / rank @@
+Normal rank
@@ Property / cites work @@
+The Unit Proof and the Input Proof in Theorem Proving
+Normal rank
@@ Property / cites work @@
+Completeness of Linear Refutation for Theories with Equality
+Normal rank
@@ Property / cites work @@
+Q5624683
@@ Property / cites work: Q5624683 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Experiments in automatic learning for a multipurpose hueristic program
+Normal rank
@@ Property / cites work @@
+Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
+Normal rank