The tableau-based theorem prover 3 T A P Version 4.0

DOI10.1007/3-540-61511-3_95MaRDI QIDQ4647529zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_95

Mathematics Subject Classification ID

Cites work

• scientific article; zbMATH DE number 4049622 (Why is no real title available?)
• scientific article; zbMATH DE number 512980 (Why is no real title available?)
• scientific article; zbMATH DE number 516995 (Why is no real title available?)
• scientific article; zbMATH DE number 517067 (Why is no real title available?)
• scientific article; zbMATH DE number 559756 (Why is no real title available?)
• scientific article; zbMATH DE number 827984 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• A beginner's further guide to mathematical logic
• A completion-based method for mixed universal and rigid \(E\)-unification
• Controlled integration of the cut rule into connection tableau calculi
• Incremental theory reasoning methods for semantic tableaux
• The TPTP problem library
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The liberalized -rule in free variable semantic tableaux
• The tableau-based theorem prover 3 T A P Version 4.0
• lean\(T^ AP\): Lean tableau-based deduction

Cited in

(5)

• JGXYZ: an ATP system for gap and glut logics
• Ordered tableaux: extensions and applications
• The tableau-based theorem prover 3 T A P Version 4.0
• Automated proof-searching for strong Kleene logic and its binary extensions via correspondence analysis
• Free variable tableaux for propositional modal logics

Describes a project that uses

Uses Software

• HARP
• 3TAP
• TPTP

This page was built for publication: The tableau-based theorem prover 3 T A P Version 4.0

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4647529)