On the role of unification in mechanical theorem proving (Q1225469): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Method for Quantification Theory: Its Justification and Realization
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5562604
@@ Property / cites work: Q5562604 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward Mechanical Mathematics
@@ Property / cites work: Toward Mechanical Mathematics / rank @@
+Normal rank