Cited in
(19)- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- scientific article; zbMATH DE number 1765659 (Why is no real title available?)
- A taxonomy of parallel strategies for deduction
- Uniform strategies: The CADE-11 theorem proving contest
- PLAGIATOR
- TGTP
- AURA
- Automated reasoning and nonclassical logics: Introduction
- Octopus: combining learning and parallel search
- Octopus
- Chainsaw
- COROR
- DReW
- EQP
- SPTHEO
- Snorocket
- PARTHENON
- METEOR
- Aquarius
This page was built for software: Roo
