Computing answers with model elimination (Q1402748): Difference between revisions

@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4261066
@@ Property / cites work: Q4261066 / rank @@
+Normal rank
@@ Property / cites work @@
+Consolution as a framework for comparing calculi
@@ Property / cites work: Consolution as a framework for comparing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Model elimination without contrapositives
@@ Property / cites work: Model elimination without contrapositives / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012177
@@ Property / cites work: Q4012177 / rank @@
+Normal rank
@@ Property / cites work @@
+Removing redundancy from a clause
@@ Property / cites work: Removing redundancy from a clause / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649989
@@ Property / cites work: Q5649989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785940
@@ Property / cites work: Q3785940 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / 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 @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Horn prolog and beyond
@@ Property / cites work: Near-Horn prolog and beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Horn Prolog and the ancestry family of procedures
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Problem corner: Predicate logic hacker tricks
@@ Property / cites work: Problem corner: Predicate logic hacker tricks / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+Q4202953
@@ Property / cites work: Q4202953 / rank @@
+Normal rank
@@ Property / cites work @@
+Implication of clauses is undecidable
@@ Property / cites work: Implication of clauses is undecidable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869300
@@ Property / cites work: Q3869300 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction by theory resolution
@@ Property / cites work: Automated deduction by theory resolution / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank