PropertyValue
rdf:type
rdfs:label
  • Theorem about prime numbers
rdfs:subClassOf
prov:wasDerivedFrom
is rdf:type of