Pages that link to "Item:Q5210761"
From MaRDI portal
The following pages link to Lazy generation of induction hypotheses (Q5210761):
Displaying 5 items.
- Mechanically certifying formula-based Noetherian induction reasoning (Q507366) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Middle-out reasoning for synthesis and induction (Q1915136) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Patching faulty conjectures (Q4647501) (← links)