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 15 items.
- TPS (Q13717) (← links)
- 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)
- On the shape of mathematical arguments (Q1188723) (← links)
- Quantified multimodal logics in simple type theory (Q1945702) (← links)
- Limited second-order functionality in a first-order setting (Q2303245) (← links)
- Reducing higher-order theorem proving to a sequence of SAT problems (Q2351156) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) (Q3058454) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- The CADE-28 Automated Theorem Proving System Competition – CASC-28 (Q5069650) (← links)
- Progress in the Development of Automated Theorem Proving for Higher-Order Logic (Q5191100) (← links)
- Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems (Q5200021) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
