Pages that link to "Item:Q908896"
From MaRDI portal
The following pages link to On connections and higher-order logic (Q908896):
Displayed 14 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- SET-VAR (Q1319383) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Superposition for full higher-order logic (Q2055874) (← links)
- A combinator-based superposition calculus for higher-order logic (Q2096452) (← links)
- Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991 (Q4008762) (← links)
- Prolog Technology Reinforcement Learning Prover (Q5049033) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- Superposition for higher-order logic (Q6156638) (← links)