Adimen-SUMO

swMATH36071MaRDI QIDQ51773FDOQ51773

Author name not available (Why is that?)

Official website: https://adimen.si.ehu.es/web/adimenSUMO

Cited In (3)

• The higher-order prover \textsc{Leo}-II
• Automatic white-box testing of first-order logic ontologies
• ConceptNet Numberbatch

This page was built for software: Adimen-SUMO