PropertyValue
rdf:type
rdfs:label
  • Tietze extension theorem
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Tietze extension theorem
skos:altLabel
  • Tietze-Urysohn-Brouwer extension theorem
is clgo:knownFor of