The Relative Power of Semantics and Unification (Q4916085): Difference between revisions

@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iProver
@@ Property / describes a project that uses: iProver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DCTP
@@ Property / describes a project that uses: DCTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iProver-Eq
@@ Property / describes a project that uses: iProver-Eq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UCPOP
@@ Property / describes a project that uses: UCPOP / 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 @@
+TPTP
@@ Property / describes a project that uses: TPTP / 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/978-3-642-37651-1_14
+Normal rank
@@ Property / OpenAlex ID @@
+W148444778
@@ Property / OpenAlex ID: W148444778 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper-linking
@@ Property / cites work: Ordered semantic hyper-linking / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723420
@@ Property / cites work: Q2723420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539623
@@ Property / cites work: Q4539623 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Evolution with Equality Modulo Built-in Theories
+Normal rank
@@ Property / cites work @@
+The model evolution calculus as a first-order DPLL method
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+iProver-Eq: An Instantiation-Based Theorem Prover with Equality
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / 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 Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper tableaux
@@ Property / cites work: Ordered semantic hyper tableaux / 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 @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+Q5486135
@@ Property / cites work: Q5486135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150300
@@ Property / cites work: Q3150300 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+ADL and the State-Transition Model of Action
@@ Property / cites work: ADL and the State-Transition Model of Action / rank @@
+Normal rank