Pages that link to "Item:Q4647546"
From MaRDI portal
The following pages link to Lemma discovery in automating induction (Q4647546):
Displaying 5 items.
- Appropriate lemmae discovery (Q1827320) (← links)
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Sound lemma generation for proving inductive validity of equations (Q3165943) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896944) (← links)