The following pages link to The higher-order prover Leo-III (Q1799072):
Displaying 7 items.
- Superposition for full higher-order logic (Q2055874) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Superposition for higher-order logic (Q6156638) (← links)
- Superposition with Delayed Unification (Q6492727) (← links)
- Translating SUMO-K to Higher-Order Set Theory (Q6496634) (← links)
