Evonne

MaRDI QIDQ5974541swMATHFDO

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