The following pages link to Superposition with lambdas (Q5918381):
Displaying 7 items.
- Superposition for full higher-order logic (Q2055874) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
