The SZS Ontologies

Ontology of Results and Outputs

Features

Full details available online from www.tptp.org/TSTP