3TAP
From MaRDI portal
Cited in
(19)- GrAnDe
- MGTP
- leanTAP
- Theorem proving in large theories
- PROTEIN
- HARP
- scientific article; zbMATH DE number 517067 (Why is no real title available?)
- Symlog
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- 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
- 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
- The disconnection tableau calculus
This page was built for software: 3TAP
