PropertyValue
rdf:type
rdfs:label
  • Universe (mathematics)
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Universe (mathematics)
skos:altLabel
  • universe
  • Universe
  • Universes
  • Universe (mathematics)#In type theory
  • superstructures
  • universal class
  • universal set
  • universe (mathematics)
  • universe of types
  • universe set
is clgo:knownFor of
is clgo:notableIdea of