Adimen-SUMO

MaRDI QIDQ51773swMATHFDO

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