Pages that link to "Item:Q2096452"
From MaRDI portal
The following pages link to A combinator-based superposition calculus for higher-order logic (Q2096452):
Displaying 17 items.
- Improving automation for higher-order proof steps (Q831930) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- A Knuth-Bendix-like ordering for orienting combinator equations (Q2096451) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- (Q4989394) (← links)
- The 10th IJCAR automated theorem proving system competition – CASC-J10 (Q5019796) (← links)
- A Polymorphic Vampire (Q5049013) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- A comprehensive framework for saturation theorem proving (Q5918558) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)
