Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Kxc3xb6nigs_lemma> ?p ?o }
Showing triples 1 to 91 of
91
with 100 triples per page.
- Kxc3xb6nigs_lemma abstract "König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (1927). 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.".
- Kxc3xb6nigs_lemma thumbnail Denes_König_-_Über_eine_Schlussweise_aus_dem_Endlichen_ins_Unendliche.png?width=300.
- Kxc3xb6nigs_lemma wikiPageExternalLink showCustomerArticle.action?id=5131&dataObjectType=article&returnAction=showCustomerVolume&sessionDataSetId=2b29ea26fa2c9ba&style=.
- Kxc3xb6nigs_lemma wikiPageExternalLink fm815.pdf.
- Kxc3xb6nigs_lemma wikiPageExternalLink trees_2.html.
- Kxc3xb6nigs_lemma wikiPageExternalLink mathematics-constructive.
- Kxc3xb6nigs_lemma wikiPageID "153788".
- Kxc3xb6nigs_lemma wikiPageLength "15034".
- Kxc3xb6nigs_lemma wikiPageOutDegree "40".
- Kxc3xb6nigs_lemma wikiPageRevisionID "672859239".
- Kxc3xb6nigs_lemma wikiPageWikiLink Analytical_hierarchy.
- Kxc3xb6nigs_lemma wikiPageWikiLink Arithmetical_comprehension.
- Kxc3xb6nigs_lemma wikiPageWikiLink Arithmetical_hierarchy.
- Kxc3xb6nigs_lemma wikiPageWikiLink Aronszajn_tree.
- Kxc3xb6nigs_lemma wikiPageWikiLink Axiom_of_dependent_choice.
- Kxc3xb6nigs_lemma wikiPageWikiLink Basis_theorem_(computability).
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Articles_containing_proofs.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Axiom_of_choice.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Computability_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Constructivism_(mathematics).
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Infinite_graphs.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Lemmas.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Theorems_in_graph_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Category:Wellfoundedness.
- Kxc3xb6nigs_lemma wikiPageWikiLink Compact_space.
- Kxc3xb6nigs_lemma wikiPageWikiLink Computability_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Connected_graph.
- Kxc3xb6nigs_lemma wikiPageWikiLink Connectivity_(graph_theory).
- Kxc3xb6nigs_lemma wikiPageWikiLink Constructive_mathematics.
- Kxc3xb6nigs_lemma wikiPageWikiLink Constructivism_(mathematics).
- Kxc3xb6nigs_lemma wikiPageWikiLink Fan_theorem.
- Kxc3xb6nigs_lemma wikiPageWikiLink Graph_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Halting_problem.
- Kxc3xb6nigs_lemma wikiPageWikiLink Infinity.
- Kxc3xb6nigs_lemma wikiPageWikiLink Kleenes_O.
- Kxc3xb6nigs_lemma wikiPageWikiLink Low_(computability).
- Kxc3xb6nigs_lemma wikiPageWikiLink Low_basis_theorem.
- Kxc3xb6nigs_lemma wikiPageWikiLink Mathematical_constructivism.
- Kxc3xb6nigs_lemma wikiPageWikiLink Mathematical_induction.
- Kxc3xb6nigs_lemma wikiPageWikiLink Mathematical_logic.
- Kxc3xb6nigs_lemma wikiPageWikiLink Mizar_system.
- Kxc3xb6nigs_lemma wikiPageWikiLink Path_(graph_theory).
- Kxc3xb6nigs_lemma wikiPageWikiLink Proof_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Recursion_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink Reductio_ad_absurdum.
- Kxc3xb6nigs_lemma wikiPageWikiLink Reverse_mathematics.
- Kxc3xb6nigs_lemma wikiPageWikiLink Second-order_arithmetic.
- Kxc3xb6nigs_lemma wikiPageWikiLink Theorem.
- Kxc3xb6nigs_lemma wikiPageWikiLink Tree_(graph_theory).
- Kxc3xb6nigs_lemma wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Kxc3xb6nigs_lemma wikiPageWikiLink File:Denes_König_-_Über_eine_Schlussweise_aus_dem_Endlichen_ins_Unendliche.png.
- Kxc3xb6nigs_lemma wikiPageWikiLinkText "König's infinity lemma".
- Kxc3xb6nigs_lemma wikiPageWikiLinkText "König's lemma".
- Kxc3xb6nigs_lemma authorlink "Dénes Kőnig".
- Kxc3xb6nigs_lemma authorlink "Luitzen Egbertus Jan Brouwer".
- Kxc3xb6nigs_lemma first "Dénes".
- Kxc3xb6nigs_lemma first "L. E. J.".
- Kxc3xb6nigs_lemma hasPhotoCollection Kxc3xb6nigs_lemma.
- Kxc3xb6nigs_lemma last "Brouwer".
- Kxc3xb6nigs_lemma last "Kőnig".
- Kxc3xb6nigs_lemma wikiPageUsesTemplate Template:Citation.
- Kxc3xb6nigs_lemma wikiPageUsesTemplate Template:Harvs.
- Kxc3xb6nigs_lemma wikiPageUsesTemplate Template:Other_uses.
- Kxc3xb6nigs_lemma wikiPageUsesTemplate Template:Reflist.
- Kxc3xb6nigs_lemma year "1927".
- Kxc3xb6nigs_lemma subject Category:Articles_containing_proofs.
- Kxc3xb6nigs_lemma subject Category:Axiom_of_choice.
- Kxc3xb6nigs_lemma subject Category:Computability_theory.
- Kxc3xb6nigs_lemma subject Category:Constructivism_(mathematics).
- Kxc3xb6nigs_lemma subject Category:Infinite_graphs.
- Kxc3xb6nigs_lemma subject Category:Lemmas.
- Kxc3xb6nigs_lemma subject Category:Theorems_in_graph_theory.
- Kxc3xb6nigs_lemma subject Category:Wellfoundedness.
- Kxc3xb6nigs_lemma comment "König's lemma or König's infinity lemma is a theorem in graph theory due to Dénes Kőnig (1927). 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.".
- Kxc3xb6nigs_lemma label "König's lemma".
- Kxc3xb6nigs_lemma sameAs Lemma_von_König.
- Kxc3xb6nigs_lemma sameAs Lemme_de_König.
- Kxc3xb6nigs_lemma sameAs הלמה_של_קניג.
- Kxc3xb6nigs_lemma sameAs Kőnig-lemma.
- Kxc3xb6nigs_lemma sameAs Lemma_di_König.
- Kxc3xb6nigs_lemma sameAs ケーニヒの補題.
- Kxc3xb6nigs_lemma sameAs 쾨니그_보조정리.
- Kxc3xb6nigs_lemma sameAs Lemat_Königa.
- Kxc3xb6nigs_lemma sameAs Lema_de_Konig.
- Kxc3xb6nigs_lemma sameAs m.0142gy.
- Kxc3xb6nigs_lemma sameAs Q1059182.
- Kxc3xb6nigs_lemma sameAs Q1059182.
- Kxc3xb6nigs_lemma sameAs 柯尼格引理.
- Kxc3xb6nigs_lemma wasDerivedFrom Kxc3xb6nigs_lemmaoldid=672859239.
- Kxc3xb6nigs_lemma depiction Denes_König_-_Über_eine_Schlussweise_aus_dem_Endlichen_ins_Unendliche.png.
- Kxc3xb6nigs_lemma isPrimaryTopicOf Kxc3xb6nigs_lemma.