PropertyValue
rdf:type
rdfs:label
  • Big-little-big lemma
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Big-little-big lemma