The following pages link to SETHEO (Q13461):
Displaying 15 items.
- Semantic tableaux with ordering restrictions (Q5210807) (← links)
- KoMeT (Q5210812) (← links)
- (Q5219924) (← links)
- Integration of automated and interactive theorem proving in ILF (Q5234689) (← links)
- ILF-SETHEO (Q5234690) (← links)
- SETHEO goes software engineering: Application of ATP to software reuse (Q5234691) (← links)
- Automatic verification of cryptographic protocols with SETHEO (Q5234693) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Automated Reasoning (Q5307058) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479279) (← links)
- Automated Reasoning with Analytic Tableaux and Related Methods (Q5479281) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- An automatic proof of Gödel's incompleteness theorem (Q5906916) (← links)
- Controlled use of clausal lemmas in connection tableau calculi (Q5927985) (← links)
- Free-variable tableaux for propositional modal logics (Q5955622) (← links)