HARP

swMATH26323MaRDI QIDQ38054FDOQ38054

Author name not available (Why is that?)

Cited In (13)

• Lemma matching for a PTTP-based top-down theorem prover
• The tableau-based theorem prover 3 T A P Version 4.0
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• EXPtime tableaux for ALC
• The disconnection tableau calculus
• Depth-first proof search without backtracking for free-variable clausal tableaux
• Optimizing terminological reasoning for expressive description logics
• On the relative merits of path dissolution and the method of analytic tableaux
• Model Generation with Boolean Constraints
• Ordered tableaux: Extensions and applications
• Semantic tableaux with ordering restrictions
• lean\(T^ AP\): Lean tableau-based deduction
• Hyper tableaux

This page was built for software: HARP