The following pages link to HARP (Q38054):
Displaying 13 items.
- The disconnection tableau calculus (Q877889) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
- Depth-first proof search without backtracking for free-variable clausal tableaux (Q1404980) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Model Generation with Boolean Constraints (Q2996169) (← links)
- Ordered tableaux: Extensions and applications (Q4610325) (← links)
- The tableau-based theorem prover 3 T A P Version 4.0 (Q4647529) (← links)
- Semantic tableaux with ordering restrictions (Q5210807) (← links)
- Lemma matching for a PTTP-based top-down theorem prover (Q5234698) (← links)
- Hyper tableaux (Q5235250) (← links)