Pages that link to "Item:Q438561"
From MaRDI portal
The following pages link to Analytic tableaux for higher-order logic with choice (Q438561):
Displaying 10 items.
- Satallax (Q18920) (← links)
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Making higher-order superposition work (Q5918403) (← links)
- Making higher-order superposition work (Q5918575) (← links)
- Superposition with lambdas (Q5919500) (← links)
