swMATH21342MaRDI QIDQ33150FDOQ33150
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/3-540-58156-1_57
Cited In (30)
- Model elimination without contrapositives
- KI 2004: Advances in Artificial Intelligence
- Mechanizing Mathematical Reasoning
- Theory reasoning in connection calculi
- What you always wanted to know about rigid \(E\)-unification
- Computer supported mathematics with \(\Omega\)MEGA
- SETHEO goes software engineering: application of ATP to software reuse
- Computing answers with model elimination
- E-SETHEO
- Knowledge-based proof planning
- MBase
- Amphion
- SicoTHEO
- Prodigy
- Bliksem
- Doris
- 3TAP
- KOMET
- Medmaker
- P.rex
- mural
- KRHyper
- PARIS
- Omega-MKRP
- 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
