PropertyValue
rdf:type
rdfs:label
  • Kőnig's lemma
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Kőnig's lemma
skos:altLabel
  • Kőnig's infinity lemma
  • Kőnigs lemma
  • The \"infinity lemma\"
  • fan theorem
  • weak Kőnig's lemma