HARP
From MaRDI portal
Cited in
(26)- On the relative merits of path dissolution and the method of analytic tableaux
- SETHEO
- Depth-first proof search without backtracking for free-variable clausal tableaux
- LWB
- DAML+OIL
- EXPtime tableaux for ALC
- GrAnDe
- lean\(T^ AP\): Lean tableau-based deduction
- PARTHEO
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- BWare
- TABLEAUX
- Optimizing terminological reasoning for expressive description logics
- Model generation with Boolean constraints
- CoqMT
- 3TAP
- THOT
- MiniTab
- METEOR
- ArchSAT
- Ordered tableaux: extensions and applications
- 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
- The disconnection tableau calculus
This page was built for software: HARP
