%0 Conference Paper %1 Alrabbaa2022-E1 %A Alrabbaa, Christian %A Baader, Franz %A Borgwardt, Stefan %A Dachselt, Raimund %A Koopmann, Patrick %A Méndez, Julián %B Automated Reasoning %C Cham %D 2022 %E Blanchette, Jasmin %E Kovács, Laura %E Pattinson, Dirk %I Springer International Publishing %K %P 271--280 %T Evonne: Interactive Proof Visualization for Description Logics (System Description) %@ 978-3-031-10769-6

@inproceedings{Alrabbaa2022-E1, added-at = {2024-09-10T11:56:37.000+0200}, address = {Cham}, author = {Alrabbaa, Christian and Baader, Franz and Borgwardt, Stefan and Dachselt, Raimund and Koopmann, Patrick and M{\'e}ndez, Juli{\'a}n}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2c1b97bda926131070f22e701073a6727/scadsfct}, booktitle = {Automated Reasoning}, editor = {Blanchette, Jasmin and Kov{\'a}cs, Laura and Pattinson, Dirk}, interhash = {b5ee7637a41478978e61c0e895f6531d}, intrahash = {c1b97bda926131070f22e701073a6727}, isbn = {978-3-031-10769-6}, keywords = {}, pages = {271--280}, publisher = {Springer International Publishing}, timestamp = {2024-09-10T15:15:57.000+0200}, title = {Evonne: Interactive Proof Visualization for Description Logics (System Description)}, year = 2022 }