Media type: E-Book Title: Concise Justifications Versus Detailed Proofs for Description Logic Entailments Contributor: Borgwardt, Stefan [VerfasserIn] imprint: Dresden: Technische Universität Dresden, 2023 Published in: LTCS-Report ; 21-05 Extent: 1 Online-Ressource Language: English Identifier: RVK notation: ST 136 : Automatentheorie, Formale Sprache Origination: Footnote: In: http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa2-785040 Access State: Open Access