HARP
From MaRDI portal
Software:38054
No author found.
Related Items (13)
On the relative merits of path dissolution and the method of analytic tableaux ⋮ lean\(T^ AP\): Lean tableau-based deduction ⋮ The disconnection tableau calculus ⋮ Depth-first proof search without backtracking for free-variable clausal tableaux ⋮ Ordered tableaux: Extensions and applications ⋮ First-order automated reasoning with theories: when deduction modulo theory meets practice ⋮ Model Generation with Boolean Constraints ⋮ Optimizing terminological reasoning for expressive description logics ⋮ The tableau-based theorem prover 3 T A P Version 4.0 ⋮ Semantic tableaux with ordering restrictions ⋮ Lemma matching for a PTTP-based top-down theorem prover ⋮ Hyper tableaux ⋮ EXPtime tableaux for ALC
This page was built for software: HARP
