U

ulo

The upper library ontology for theorem prover libraries.

Name
Last commit
Last update
OWLDoc Loading commit data...
annotationproperties Loading commit data...
classes Loading commit data...
css Loading commit data...
dataproperties Loading commit data...
datatypes Loading commit data...
images Loading commit data...
js Loading commit data...
objectproperties Loading commit data...
ontologies Loading commit data...
.gitlab-ci.yml Loading commit data...
README.md Loading commit data...
contents.html Loading commit data...
index-all.html Loading commit data...
index.html Loading commit data...
ulo.owl Loading commit data...