Pages that link to "Item:Q865629"
From MaRDI portal
The following pages link to TPS: A hybrid automatic-interactive system for developing proofs (Q865629):
Displaying 4 items.
- Analytic tableaux for higher-order logic with choice (Q438561) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
