iProver-Eq

MaRDI QIDQ21435swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-14203-1_17

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