Integrating Simplex with Tableaux (Q3455763): Difference between revisions

@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Zenon
@@ Property / describes a project that uses: Zenon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BWare
@@ Property / describes a project that uses: BWare / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2266110381
@@ Property / OpenAlex ID: W2266110381 / rank @@
+Normal rank
@@ Property / cites work @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Autarkic computations in formal proofs
@@ Property / cites work: Autarkic computations in formal proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchic Superposition with Weak Abstraction
@@ Property / cites work: Hierarchic Superposition with Weak Abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs
+Normal rank
@@ Property / cites work @@
+Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic
+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