The following pages link to 3TAP (Q33351):
Displaying 13 items.
- The disconnection tableau calculus (Q877889) (← links)
- Theorem proving in large theories (Q2702602) (← links)
- (Q4282596) (← links)
- (Q4524769) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- Incremental theory reasoning methods for semantic tableaux (Q4645229) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- A completion-based method for mixed universal and rigid E-unification (Q5210805) (← links)
- LeanT A P: Lean tableau-based theorem proving (Q5210813) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
- Hyper tableaux (Q5235250) (← links)
- What you always wanted to know about rigid E-unification (Q5235253) (← links)