scientific article

zbMath0963.68517MaRDI QIDQ2721226

Ralf Möller, Volker Haarslev

Publication date: 1 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching, On the scalability of description logic instance retrieval, EXPtime tableaux for ALC