A (machine-oriented) logic based on pattern matching (Q6149946): Difference between revisions

@@ Property / cites work @@
+A simplified form of condensed detachment
@@ Property / cites work: A simplified form of condensed detachment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4346206
@@ Property / cites work: Q4346206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3522248
@@ Property / cites work: Q3522248 / rank @@
+Normal rank
@@ Property / cites work @@
+Condensed detachment as a rule of inference
@@ Property / cites work: Condensed detachment as a rule of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+In memoriam Carew Arthur Meredith (1904-1976)
@@ Property / cites work: In memoriam Carew Arthur Meredith (1904-1976) / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing the `Fool's model' of combinatory logic
+Normal rank
@@ Property / cites work @@
+An automatic theorem prover for substitution and detachment systems
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3864488
@@ Property / cites work: Q3864488 / rank @@
+Normal rank