Pages that link to "Item:Q5918403"
From MaRDI portal
The following pages link to Making higher-order superposition work (Q5918403):
Displaying 10 items.
- Superposition for full higher-order logic (Q2055874) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- AC simplifications and closure redundancies in the superposition calculus (Q2142076) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- The 11th IJCAR automated theorem proving system competition – CASC-J11 (Q6095787) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Formula normalizations in verification (Q6535699) (← links)
- Extending a high-performance prover to higher-order logic (Q6536126) (← links)
