Evonne

swMATH43907MaRDI QIDQ5974541FDOQ5974541

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2205.09583

Described by source

• Evonne: interactive proof visualization for description logics (system description)

Cited In (3)

• FAME
• ELK
• Protege-TS

This page was built for software: Evonne