PropertyValue
rdf:type
rdfs:label
  • Computer-assisted proof
rdfs:subClassOf
prov:wasDerivedFrom
is rdf:type of