scientific article; zbMATH DE number 1113998

zbMATH Open0891.68097MaRDI QIDQ4375764

Geoffrey D. Alexander, David A. Plaisted

Publication date: 13 July 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem-proving strategiessearch space complexity

Mathematics Subject Classification ID

Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Related Items (4)

A First Class Boolean Sort in First-Order Theorem Proving and TPTP ⋮ Refinements to depth-first iterative-deepening search in automatic theorem proving ⋮ Predicate Elimination for Preprocessing in First-Order Theorem Proving ⋮ Efficient SAT-based proof search in intuitionistic propositional logic

Uses Software

• TPTP

This page was built for publication: