The following pages link to Induction using term orders (Q1915132):
Displaying 5 items.
- Sound generalizations in mathematical induction (Q1882908) (← links)
- Induction using term orderings (Q5210765) (← links)
- Mechanizing Mathematical Reasoning (Q5717440) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
- Guiding induction proofs (Q6488528) (← links)