Semantically guided first-order theorem proving using hyper-linking (Q5210771): Difference between revisions

@@ Property / author @@
-David Alan Plaisted
@@ Property / author: David Alan Plaisted / rank @@
-Normal rank
@@ Property / author @@
+David Alan Plaisted
@@ Property / author: David Alan Plaisted / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ 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 / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1764789126
@@ Property / OpenAlex ID: W1764789126 / rank @@
+Normal rank
@@ Property / cites work @@
+Challenge problems in elementary calculus
@@ Property / cites work: Challenge problems in elementary calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A method for simultaneous search for refutations and models by equational constraint solving
+Normal rank
@@ Property / cites work @@
+Semantically guided first-order theorem proving using hyper-linking
+Normal rank
@@ Property / cites work @@
+Q4314599
@@ Property / cites work: Q4314599 / 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 @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic backward chaining proof system
@@ Property / cites work: A semantic backward chaining proof system / rank @@
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+Conditional term rewriting and first-order theorem proving
+Normal rank
@@ Property / cites work @@
+Q5609410
@@ Property / cites work: Q5609410 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical deduction
@@ Property / cites work: Hierarchical deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
+Normal rank
@@ Property / cites work @@
+Q3681966
@@ Property / cites work: Q3681966 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5210771