Pages that link to "Item:Q2055874"
From MaRDI portal
The following pages link to Superposition for full higher-order logic (Q2055874):
Displaying 19 items.
- Superposition with structural induction (Q1687553) (← links)
- Superposition for \(\lambda\)-free higher-order logic (Q1799065) (← links)
- Superposition with first-class booleans and inprocessing clausification (Q2055873) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- A complete superposition calculus for primal grammars (Q2352496) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)
- Higher-order superposition for dependent types (Q5055856) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- Set-of-support strategy for higher-order logic (Q5881215) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Superposition with lambdas (Q5919500) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← 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)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)