Cited in
(19)- scientific article; zbMATH DE number 517067 (Why is no real title available?)
- A completion-based method for mixed universal and rigid \(E\)-unification
- 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
- What you always wanted to know about rigid \(E\)-unification
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- The disconnection tableau calculus
- GrAnDe
- MGTP
- leanTAP
- PROTEIN
- HARP
- Symlog
- Free variable tableaux for propositional modal logics
- LeanT A P: Lean tableau-based theorem proving
- Incremental theory reasoning methods for semantic tableaux
- Hyper tableaux
- Theorem proving in large theories
This page was built for software: 3TAP
