Adimen-SUMO

swMATH36071MaRDI QIDQ51773FDOQ51773

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: Adimen-SUMO