PropertyValue
rdf:type
rdfs:label
  • Novikov–Adian proof
prov:wasDerivedFrom
skos:prefLabel
  • Novikov–Adian proof