System Description: SPASS-FD (Q5200034): Difference between revisions

@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / 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 @@
+Spass-FD
@@ Property / describes a project that uses: Spass-FD / 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-22438-6_25
+Normal rank
@@ Property / OpenAlex ID @@
+W1752605800
@@ Property / OpenAlex ID: W1752605800 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Induction = I-axiomatization + first-order consistency.
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Disunification for Ultimately Periodic Interpretations
+Normal rank
@@ Property / cites work @@
+Predicate Completion for non-Horn Clause Sets
@@ Property / cites work: Predicate Completion for non-Horn Clause Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability Results for Saturation-Based Model Building
+Normal rank
@@ Property / cites work @@
+Deciding the Inductive Validity of ∀ ∃ * Queries
+Normal rank
@@ Property / cites work @@
+Superposition for fixed domains
@@ Property / cites work: Superposition for fixed domains / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751359
@@ Property / cites work: Q2751359 / 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 @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank