Combining superposition and induction: a practical realization
From MaRDI portal
Recommendations
Cited in
(15)- Symbol elimination and applications to parametric entailment problems
- Superposition with structural induction
- Rewriting and inductive reasoning
- Quantifier-free induction for lists
- Implementing Superposition in iProver (System Description)
- Induction in saturation-based proof search
- Completeness and decidability results for first-order clauses with indices
- A decision procedure for (co)datatypes in SMT solvers
- A decision procedure for (co)datatypes in SMT solvers
- Unprovability results for clause set cycles
- Clause set cycles and induction
- Getting saturated with induction
- Induction and Skolemization in saturation theorem proving
- Automating induction by reflection
- Combining induction and saturation-based theorem proving
This page was built for publication: Combining superposition and induction: a practical realization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849478)