The following pages link to TPS (Q13717):
Displayed 23 items.
- (Q4520772) (← links)
- A realizability interpretation of Church's simple theory of types (Q4593235) (← links)
- On sets, types, fixed points, and checkerboards (Q4645222) (← links)
- (Q4664927) (← links)
- (Q4790648) (← links)
- (Q4809075) (← links)
- Building reliable, high-performance networks with the Nuprl proof development system (Q4819652) (← 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)
- Decidable higher-order unification problems (Q5210802) (← links)
- Automated Deduction – CADE-20 (Q5394604) (← links)
- KI 2004: Advances in Artificial Intelligence (Q5450782) (← links)
- Theorem Proving in Higher Order Logics (Q5477646) (← links)
- Theorem Proving in Higher Order Logics (Q5477647) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder (Q5747646) (← links)
- Analytic Tableaux for Higher-Order Logic with Choice (Q5747752) (← links)
- A partial functions version of Church's simple theory of types (Q5753924) (← links)
- Mathematical Knowledge Management (Q5898516) (← links)
- Superposition with lambdas (Q5918381) (← links)
- Superposition with lambdas (Q5919500) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)