Model elimination without contrapositives (Q5210764): Difference between revisions

@@ Property / author @@
-Ulrich Furbach
@@ Property / author: Ulrich Furbach / rank @@
-Normal rank
@@ Property / author @@
+Ulrich Furbach
@@ Property / author: Ulrich Furbach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROTEIN
@@ Property / describes a project that uses: PROTEIN / 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.1007/3-540-58156-1_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1816816118
@@ Property / OpenAlex ID: W1816816118 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
+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 @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012177
@@ Property / cites work: Q4012177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997615
@@ Property / cites work: Q3997615 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996619
@@ Property / cites work: Q3996619 / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled integration of the cut rule into connection tableau calculi
+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 @@
+Near-Horn prolog and beyond
@@ Property / cites work: Near-Horn prolog and beyond / rank @@
+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 @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+A sequent-style model elimination strategy and a positive refinement
+Normal rank
@@ Property / cites work @@
+A comparison of three PROLOG extensions
@@ Property / cites work: A comparison of three PROLOG extensions / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library
@@ Property / cites work: The TPTP problem library / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5210764