Matches in DBpedia 2014 for { <http://dbpedia.org/resource/König's_lemma> ?p ?o. }
Showing items 1 to 38 of
38
with 100 items per page.
- König's_lemma abstract "König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (1936). It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated by researchers in mathematical logic, especially in computability theory. This theorem also has important roles in constructive mathematics and proof theory.".
- König's_lemma wikiPageID "153788".
- König's_lemma wikiPageRevisionID "593852115".
- König's_lemma authorlink "Dénes Kőnig".
- König's_lemma authorlink "Luitzen Egbertus Jan Brouwer".
- König's_lemma first "Dénes".
- König's_lemma first "L. E. J.".
- König's_lemma last "Brouwer".
- König's_lemma last "Kőnig".
- König's_lemma year "1927".
- König's_lemma year "1936".
- König's_lemma subject Category:Articles_containing_proofs.
- König's_lemma subject Category:Axiom_of_choice.
- König's_lemma subject Category:Computability_theory.
- König's_lemma subject Category:Constructivism_(mathematics).
- König's_lemma subject Category:Graph_theory.
- König's_lemma subject Category:Infinite_graphs.
- König's_lemma subject Category:Lemmas.
- König's_lemma subject Category:Wellfoundedness.
- König's_lemma comment "König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (1936). It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated by researchers in mathematical logic, especially in computability theory. This theorem also has important roles in constructive mathematics and proof theory.".
- König's_lemma label "König's lemma".
- König's_lemma label "Lema de Konig".
- König's_lemma label "Lemat Königa".
- König's_lemma label "Lemma di König".
- König's_lemma label "Lemma von König".
- König's_lemma label "Lemme de König".
- König's_lemma label "ケーニヒの補題".
- König's_lemma label "柯尼格引理".
- König's_lemma sameAs K%C3%B6nig's_lemma.
- König's_lemma sameAs Lemma_von_König.
- König's_lemma sameAs Lemme_de_König.
- König's_lemma sameAs Lemma_di_König.
- König's_lemma sameAs ケーニヒの補題.
- König's_lemma sameAs Lemat_Königa.
- König's_lemma sameAs Lema_de_Konig.
- König's_lemma sameAs Q1059182.
- König's_lemma sameAs Q1059182.
- König's_lemma wasDerivedFrom König's_lemma?oldid=593852115.