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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(71)90013-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2013565918
@@ Property / OpenAlex ID: W2013565918 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2551695