3TAP
From MaRDI portal
Software:33351
No author found.
Related Items (13)
Unnamed Item ⋮ The disconnection tableau calculus ⋮ Free variable tableaux for propositional modal logics ⋮ Ordered tableaux: Extensions and applications ⋮ Incremental theory reasoning methods for semantic tableaux ⋮ The tableau-based theorem prover 3 T A P Version 4.0 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A completion-based method for mixed universal and rigid E-unification ⋮ LeanT A P: Lean tableau-based theorem proving ⋮ Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis ⋮ Hyper tableaux ⋮ What you always wanted to know about rigid E-unification
This page was built for software: 3TAP
