iProver-Eq
From MaRDI portal
Software:21435
swMATH9452MaRDI QIDQ21435FDOQ21435
Author name not available (Why is that?)
Cited In (9)
- SCL(EQ): SCL for first-order logic with equality
- History and Prospects for First-Order Automated Deduction
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning
- The Relative Power of Semantics and Unification
- Semantically-guided goal-sensitive reasoning: inference system and completeness
- Semantically-guided goal-sensitive reasoning: model representation
- iProver-Eq: An Instantiation-Based Theorem Prover with Equality
- Reducing higher-order theorem proving to a sequence of SAT problems
- Exploring Theories with a Model-Finding Assistant
This page was built for software: iProver-Eq
