Pages that link to "Item:Q1687553"
From MaRDI portal
The following pages link to Superposition with structural induction (Q1687553):
Displaying 21 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- Integer induction in saturation (Q2055871) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Unprovability results for clause set cycles (Q2084942) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Inductive benchmarks for automated reasoning (Q2128807) (← links)
- Induction with generalization in superposition reasoning (Q2219385) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- (Q4989394) (← links)
- (Q5028439) (← links)
- A Polymorphic Vampire (Q5049013) (← links)
- (Q5140266) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Machine Learning for Inductive Theorem Proving (Q6108816) (← links)
- Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction (Q6487292) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)