Pages that link to "Item:Q5747761"
From MaRDI portal
The following pages link to iProver-Eq: An Instantiation-Based Theorem Prover with Equality (Q5747761):
Displayed 8 items.
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Semantically-guided goal-sensitive reasoning: inference system and completeness (Q1707598) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- History and Prospects for First-Order Automated Deduction (Q3454079) (← links)
- Exploring Theories with a Model-Finding Assistant (Q3454114) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- The Relative Power of Semantics and Unification (Q4916085) (← links)
- SCL(EQ): SCL for first-order logic with equality (Q6111523) (← links)