Pages that link to "Item:Q1799065"
From MaRDI portal
The following pages link to Superposition for \(\lambda\)-free higher-order logic (Q1799065):
Displaying 12 items.
- Superposition for full higher-order logic (Q2055874) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Larry Wos: visions of automated reasoning (Q2102922) (← links)
- Extending SMT solvers to higher-order logic (Q2305406) (← links)
- Restricted combinatory unification (Q2305407) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- (Q4989394) (← 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)
- Superposition with lambdas (Q5919500) (← links)
