The linked conjunct method for automatic deduction and related search techniques (Q1836998): Difference between revisions

@@ Property / author @@
-Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
-Normal rank
@@ Property / author @@
+Eugenio Giovanni Omodeo
@@ Property / author: Eugenio Giovanni Omodeo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0898-1221(82)90042-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2050203572
@@ Property / OpenAlex ID: W2050203572 / 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 @@
+Q5339307
@@ Property / cites work: Q5339307 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem-Proving on the Computer
@@ Property / cites work: Theorem-Proving on the Computer / rank @@
+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 @@
+Mechanical Theorem-Proving by Model Elimination
@@ Property / cites work: Mechanical Theorem-Proving by Model Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140378
@@ Property / cites work: Q4140378 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution in type theory
@@ Property / cites work: Resolution in type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\overline\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Mechanizing \(\omega\)-order type theory through unification
+Normal rank
@@ Property / cites work @@
+Towards feasible solutions of the tautology problem
+Normal rank
@@ Property / cites work @@
+Tautology testing with a generalized matrix reduction method
+Normal rank
@@ Property / cites work @@
+Resolution With Merging
@@ Property / cites work: Resolution With Merging / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Refutations by Matings
@@ Property / cites work: Refutations by Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation graphs
@@ Property / cites work: Refutation graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Search Technique for Clause Interconnectivity Graphs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1836998