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 25 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)
- Theo: An interactive proof development system (Q688727) (← links)
- On the shape of mathematical arguments (Q1188723) (← links)
- IMPS: An interactive mathematical proof system (Q1319391) (← links)
- An overview of the Tecton proof system (Q1341710) (← links)
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← 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)
- Iterative dialogues and automated proof. (Q2782495) (← 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)
- (Q3150303) (← links)
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) (Q3541699) (← links)
- Teaching Automated Theorem Proving by Example: PyRes 1.2 (Q5048999) (← 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)
- Tactic theorem proving with refinement-tree proofs and metavariables (Q5210800) (← links)
- Automated Reasoning (Q5307074) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
