Pages that link to "Item:Q1915133"

The following pages link to New uses of linear arithmetic in automated theorem proving by induction (Q1915133):

Displaying 2 items.

• Lemma discovery in automating induction (Q4647546) (← links)
• Automated reasoning about parallel algorithms using powerlists (Q5096401) (← links)