Pages that link to "Item:Q2219385"
From MaRDI portal
The following pages link to Induction with generalization in superposition reasoning (Q2219385):
Displaying 7 items.
- Integer induction in saturation (Q2055871) (← 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)
- (Q2219400) (redirect page) (← links)
- Quantifier-free induction for lists (Q6617170) (← links)
- Conjectures, tests and proofs: an overview of theory exploration (Q6646290) (← links)
