PropertyValue
rdf:type
rdfs:label
  • 15 and 290 theorems
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • 15 and 290 theorems
skos:altLabel
  • 15 theorem
  • 290 theorem
is clgo:knownFor of