This HTML5 document contains 157 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n27https://global.dbpedia.org/id/
n6http://www.cis.upenn.edu/~jean/kruskal.pdf%7Cdoi=10.1016/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11https://www.ams.org/journals/tran/1960-095-02/S0002-9947-1960-0111704-1/
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n24http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n15https://users.dimi.uniud.it/~alberto.marcone/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Ronald_Graham
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Paris–Harrington_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Andrew_Vázsonyi
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Joseph_Kruskal
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbp:knownFor
dbr:Kruskal's_tree_theorem
dbo:knownFor
dbr:Kruskal's_tree_theorem
Subject Item
dbr:List_of_numbers
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Robertson–Seymour_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Crispin_Nash-Williams
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Ordinal_collapsing_function
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kruskal's_Tree_Theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kruskal's_tree_theorem
rdf:type
yago:Measure100033615 yago:Proposition106750804 yago:Message106598915 yago:Battalion113775093 yago:IndefiniteQuantity113576355 yago:WikicatLargeNumbers yago:WikicatTheoremsInDiscreteMathematics yago:LargeIndefiniteQuantity113757724 yago:Statement106722453 yago:Abstraction100002137 yago:Theorem106752293 yago:Communication100033020
rdfs:label
克魯斯卡爾樹定理 Satz von Kruskal Teoria Drzew Kruskala Teorema de los árboles de Kruskal Théorème de Kruskal Kruskal's tree theorem Теорема Краскала
rdfs:comment
En matemáticas, el árbol teorema de Kruskal indica que el conjunto de finitos más de un conjunto bien cuasi-ordenada de las etiquetas es en sí misma bien cuasi-ordenado (bajo incrustación homeomorfo). El teorema fue conjeturado por Andrew Vázsonyi y demostró por Joseph Kruskal (1960); una breve prueba fue dada por Nash-Williams (1963). es un caso especial de este teorema, de las cuales hay muchas generalizaciones que implican árboles con una incrustación plana, árboles infinitos, y así sucesivamente. Una generalización de los árboles a los gráficos arbitrarias está dado por el . In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. Der Satz von Kruskal ist ein Lehrsatz der Graphentheorie, eines der Teilgebiete der Mathematik. Er wurde von dem Mathematiker Joseph Bernard Kruskal im Jahre 1960 publiziert. Der Satz behandelt eine wichtige Eigenschaft der Klasse der endlichen Bäume. W matematyce Teoria Drzew Kruskala jest jednym z problemów w teorii grafów i . Mówi ona, iż skończony zbiór drzew z uporządkowanymi zasadami tworzenia jest homeomorficzny. Twierdzenie to zostało zaprezentowane przez – węgierskiego matematyka, a udowodnione przez Josepha Kruskala (1960) oraz (1963). Od tego czasu stał się znaczącym przykładem w jako stwierdzenie, którego nie można udowodnić używając ATR0 (forma arytmetycznej rekurencji transfinitowej), a finalne zastosowanie tego twierdzenia umożliwia konstrukcję bardzo szybko rosnącej funkcji TREE(n) (ang. tree – drzewo). En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.
dct:subject
dbc:Order_theory dbc:Wellfoundedness dbc:Mathematical_logic dbc:Theorems_in_discrete_mathematics dbc:Trees_(graph_theory)
dbo:wikiPageID
3606300
dbo:wikiPageRevisionID
1124400522
dbo:wikiPageWikiLink
dbr:Paris–Harrington_theorem dbr:Reverse_mathematics dbc:Mathematical_logic dbc:Theorems_in_discrete_mathematics dbc:Trees_(graph_theory) dbr:Well-quasi-ordering dbr:Second-order_arithmetic dbr:Mathematics dbr:Goodstein's_theorem dbr:Kőnig's_lemma dbc:Wellfoundedness dbr:Tree_(graph_theory) dbr:Kanamori–McAloon_theorem dbr:Friedman's_SSCG_function dbr:Andrew_Vázsonyi dbr:Ordinal_analysis dbr:Ackermann's_function dbr:Primitive_recursive_function dbr:Robertson–Seymour_theorem dbr:Partially_ordered_set dbr:Peano_axioms dbr:Fast-growing_hierarchy dbr:Harvey_Friedman dbr:Kruskal's_tree_theorem dbr:Impredicativity dbr:Ackermann_ordinal dbr:Small_Veblen_ordinal dbr:Ackermann_function dbr:Graham's_number dbc:Order_theory dbr:Homeomorphism_(graph_theory) dbr:Arithmetical_transfinite_recursion dbr:Finitary
dbo:wikiPageExternalLink
n6:0168-0072(91)90022-E%7Cdoi-access=free n11:S0002-9947-1960-0111704-1.pdf n15:wqobqo.pdf
owl:sameAs
dbpedia-ru:Теорема_Краскала dbpedia-zh:克魯斯卡爾樹定理 dbpedia-fa:قضیه_درخت_کروسکال wikidata:Q3527100 dbpedia-pl:Teoria_Drzew_Kruskala yago-res:Kruskal's_tree_theorem dbpedia-fr:Théorème_de_Kruskal freebase:m.09pjg1 dbpedia-de:Satz_von_Kruskal n27:3FKkW dbpedia-es:Teorema_de_los_árboles_de_Kruskal
dbp:txt
yes
dbp:wikiPageUsesTemplate
dbt:Large_numbers dbt:Harvs dbt:Ref_label dbt:Reflist dbt:Su dbt:Mvar dbt:Cite_journal dbt:Math dbt:Citation_needed dbt:Citation dbt:Short_description dbt:Note_label dbt:Better_source_needed
dbp:authorlink
Joseph Kruskal Crispin St. J. A. Nash-Williams
dbp:b
1
dbp:date
July 2020
dbp:first
Joseph Crispin
dbp:last
Kruskal Nash-Williams
dbp:p
1
dbp:reason
WP:RSPSOURCES; Fandom page lists YT video as reference
dbp:year
1963 1960
dbo:abstract
W matematyce Teoria Drzew Kruskala jest jednym z problemów w teorii grafów i . Mówi ona, iż skończony zbiór drzew z uporządkowanymi zasadami tworzenia jest homeomorficzny. Twierdzenie to zostało zaprezentowane przez – węgierskiego matematyka, a udowodnione przez Josepha Kruskala (1960) oraz (1963). Od tego czasu stał się znaczącym przykładem w jako stwierdzenie, którego nie można udowodnić używając ATR0 (forma arytmetycznej rekurencji transfinitowej), a finalne zastosowanie tego twierdzenia umożliwia konstrukcję bardzo szybko rosnącej funkcji TREE(n) (ang. tree – drzewo). Der Satz von Kruskal ist ein Lehrsatz der Graphentheorie, eines der Teilgebiete der Mathematik. Er wurde von dem Mathematiker Joseph Bernard Kruskal im Jahre 1960 publiziert. Der Satz behandelt eine wichtige Eigenschaft der Klasse der endlichen Bäume. In mathematics, Kruskal's tree theorem states that the set of finite trees over a well-quasi-ordered set of labels is itself well-quasi-ordered under homeomorphic embedding. En matemáticas, el árbol teorema de Kruskal indica que el conjunto de finitos más de un conjunto bien cuasi-ordenada de las etiquetas es en sí misma bien cuasi-ordenado (bajo incrustación homeomorfo). El teorema fue conjeturado por Andrew Vázsonyi y demostró por Joseph Kruskal (1960); una breve prueba fue dada por Nash-Williams (1963). es un caso especial de este teorema, de las cuales hay muchas generalizaciones que implican árboles con una incrustación plana, árboles infinitos, y así sucesivamente. Una generalización de los árboles a los gráficos arbitrarias está dado por el . En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre. Ce théorème est un cas particulier du théorème de Robertson-Seymour, dont il a constitué une des motivations. En utilisant ce théorème, Harvey Friedman a pu définir des entiers « incompréhensiblement grands », qu'il a utilisé pour obtenir des résultats nouveaux d'indécidabilité.
dbp:wordnet_type
n24:synset-musician-noun-1
prov:wasDerivedFrom
wikipedia-en:Kruskal's_tree_theorem?oldid=1124400522&ns=0
dbo:wikiPageLength
13158
foaf:isPrimaryTopicOf
wikipedia-en:Kruskal's_tree_theorem
Subject Item
dbr:Well-quasi-ordering
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Numberphile
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Fast-growing_hierarchy
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Goodstein's_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kanamori–McAloon_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Gödel's_incompleteness_theorems
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Higman's_lemma
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Hydra_game
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Large_numbers
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:TREE
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:TREE(3)
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:TREE_function
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Cograph
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Tree_(disambiguation)
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageDisambiguates
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Orders_of_magnitude_(numbers)
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Seemingly_unrelated_regressions
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Undecidable_problem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:List_of_theorems
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Slicing_the_Truth
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kruskal's_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kruskal_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Kruskal_tree_theorem
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
dbr:Tree_function
dbo:wikiPageWikiLink
dbr:Kruskal's_tree_theorem
dbo:wikiPageRedirects
dbr:Kruskal's_tree_theorem
Subject Item
wikipedia-en:Kruskal's_tree_theorem
foaf:primaryTopic
dbr:Kruskal's_tree_theorem