The following pages link to (Q4989394):
Displaying 6 items.
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- Superposition with lambdas (Q5918381) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
