Ordered semantic hyper tableaux

DOI10.1023/A:1020512924736zbMath1016.03015OpenAlexW1510333291MaRDI QIDQ1869611

Adnan Yahya, David Alan Plaisted

Publication date: 28 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020512924736

zbMATH Keywords

tableauxsemanticsautomated theorem provingliteral ordering

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

The model evolution calculus as a first-order DPLL method, The Relative Power of Semantics and Unification

Uses Software

• DCTP
• SATCHMOREBID
• DWAM