swMATH22930MaRDI QIDQ34716
No author found.
Source code repository: https://github.com/liveontologies/elk-reasoner/