Pages that link to "Item:Q4647529"
From MaRDI portal
The following pages link to The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529):
Displaying 5 items.
- JGXYZ: an ATP system for gap and glut logics (Q2305437) (← links)
- Free variable tableaux for propositional modal logics (Q4610317) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- Automated Proof-searching for Strong Kleene Logic and its Binary Extensions via Correspondence Analysis (Q5215504) (← links)
