The following pages link to Making theory reasoning simpler (Q2233504):
Displaying 4 items.
- Integer induction in saturation (Q2055871) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Lemmaless induction in trace logic (Q6160563) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)