swMATH26323MaRDI QIDQ38054FDOQ38054
Author name not available (Why is that?)
Official website: https://link.springer.com/article/10.1007%2FBF00244513
Cited In (23)
- Lemma matching for a PTTP-based top-down theorem prover
- Ordered tableaux: extensions and applications
- The tableau-based theorem prover 3 T A P Version 4.0
- First-order automated reasoning with theories: when deduction modulo theory meets practice
- EXPtime tableaux for ALC
- The disconnection tableau calculus
- Model generation with Boolean constraints
- Depth-first proof search without backtracking for free-variable clausal tableaux
- GrAnDe
- PARTHEO
- BWare
- TABLEAUX
- CoqMT
- 3TAP
- METEOR
- MiniTab
- THOT
- ArchSAT
- Optimizing terminological reasoning for expressive description logics
- On the relative merits of path dissolution and the method of analytic tableaux
- Semantic tableaux with ordering restrictions
- lean\(T^ AP\): Lean tableau-based deduction
- Hyper tableaux
This page was built for software: HARP
