The following pages link to Automated Reasoning (Q5307048):
Displaying 4 items.
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- Extending Maximal Completion (Invited Talk) (Q5089002) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)
- Fully reusing clause deduction algorithm based on standard contradiction separation rule (Q6492544) (← links)