Cited in
(31)- Model elimination without contrapositives
- KI 2004: Advances in Artificial Intelligence
- Theory reasoning in connection calculi
- Mechanizing Mathematical Reasoning
- What you always wanted to know about rigid \(E\)-unification
- Computer supported mathematics with MEGA
- Computing answers with model elimination
- SETHEO goes software engineering: application of ATP to software reuse
- SETHEO
- E-SETHEO
- MBase
- Amphion
- SicoTHEO
- Prodigy
- Bliksem
- Doris
- 3TAP
- KOMET
- Medmaker
- P.rex
- mural
- KRHyper
- PARIS
- Omega-MKRP
- Knowledge-based proof planning
- Automated Deduction – CADE-20
- Prolog technology for default reasoning: proof theory and compilation techniques
- Analyzing rule sets for the calculation of banking fees by a theorem prover with constraints
- Deduction-based software component retrieval
- Linear and unit-resulting refutations for Horn theories
- Theorem proving in large theories
This page was built for software: PROTEIN
