Pages that link to "Item:Q5918575"
From MaRDI portal
The following pages link to Making higher-order superposition work (Q5918575):
Displaying 5 items.
- Superposition with structural induction (Q1687553) (← links)
- Superposition for \(\lambda\)-free higher-order logic (Q1799065) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- Superposition with lambdas (Q5919500) (← links)
- SAT-Inspired Higher-Order Eliminations (Q6135757) (← links)