Cited in
(16)- Semantically-guided goal-sensitive reasoning: model representation
- Reducing higher-order theorem proving to a sequence of SAT problems
- Inst-Gen -- a modular approach to instantiation-based automated reasoning
- History and prospects for first-order automated deduction
- Darwin
- DCTP
- E-Darvin
- iProver
- CLIN
- E-KRHyper
- Razor
- iProver-Eq: An Instantiation-Based Theorem Prover with Equality
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- SCL(EQ): SCL for first-order logic with equality
- Exploring theories with a model-finding assistant
- The Relative Power of Semantics and Unification
This page was built for software: iProver-Eq
