<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/nom>	"Gallier"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://perso.ens-lyon.fr/eric.thierry/Graphes2009/bastien-legloannec.pdf> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Andrew_V\u00E1zsonyi> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/passage>	"60"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Ensemble_bien_ordonn\u00E9> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Portail> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titre>	"On well-quasi-ordering finite trees"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Goodstein> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/collection>	"Lect. Notes Log."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageID>	"5829180"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Kruskal\u0027s_tree_theorem> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pr\u00E9nom>	"C. St.J. A."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/lienP\u00E9riodique>	"Transactions of the American Mathematical Society"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Hi\u00E9rarchie_de_croissance_rapide> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titre>	"Internal finite tree embeddings. Reflections on the foundations of mathematics"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pr\u00E9nom>	"Stephen"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal1.pdf> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal3.pdf> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://de.dbpedia.org/resource/Satz_von_Kruskal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titre>	"Well-quasi-ordering, the tree theorem, and Vazsonyi's conjecture"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8mes_d\u0027incompl\u00E9tude_de_G\u00F6del> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/passage>	"833"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/volume>	"53"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Article> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Traduction/R\u00E9f\u00E9rence> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://pl.dbpedia.org/resource/Teoria_Drzew_Kruskala> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://fr.wikipedia.org/wiki/Th\u00E9or\u00E8me_de_Kruskal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2000/01/rdf-schema#label>	"Satz von Kruskal"@de .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/num\u00E9ro>	"4"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/lienAuteur>	"Harvey Friedman"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/\u00E9diteur>	<http://fr.dbpedia.org/resource/Association_for_Symbolic_Logic> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/num\u00E9ro>	"2"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/num\u00E9ro>	"3"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Grand_nombre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://es.dbpedia.org/resource/Teorema_de_los_\u00E1rboles_de_Kruskal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/volume>	"59"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/langue>	"en"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Calcul_des_pr\u00E9dicats> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Th\u00E9or\u00E8me> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Voir_homonyme> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pr\u00E9nom>	"J. B."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Lemme_de_Higman> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/journal>	"Math. Proc. Cambridge Phil. Soc."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2000/01/rdf-schema#label>	"Kruskal's tree theorem"@en .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2000/01/rdf-schema#label>	"Teorema de los \u00E1rboles de Kruskal"@es .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/lienAuteur>	"Crispin Nash-Williams"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Arbre_enracin\u00E9> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Notation_des_puissances_it\u00E9r\u00E9es_de_Knuth> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Article_d\u00E9taill\u00E9> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Relation_sym\u00E9trique> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Grand_nombre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Bel_ordre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Robertson-Seymour> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Lien> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Chapitre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:MathSciNet> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Arithm\u00E9tique_du_second_ordre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/month>	"May"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/journal>	"Trans. Amer. Math. Soc."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Association_for_Symbolic_Logic> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9or\u00E8me_de_la_th\u00E9orie_des_graphes> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Math\u00E9matiques> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Logique_math\u00E9matique> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Fonction_d\u0027Ackermann> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Mineur_(th\u00E9orie_des_graphes)> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Harvey_Friedman> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://ru.dbpedia.org/resource/\u0422\u0435\u043E\u0440\u0435\u043C\u0430_\u041A\u0440\u0430\u0441\u043A\u0430\u043B\u0430> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/collection>	"Studies in Logic and the Foundations of Mathematics"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://fr.wikipedia.org/wiki/Th\u00E9or\u00E8me_de_Kruskal?oldid=171501537&ns=0> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titre>	"What's so special about Kruskal's theorem and the ordinal \u03930? A survey of some results in proof theory"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pages>	"199"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://ma-graph.org/entity/201935454> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/nom>	"Simpson"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Anticha\u00EEne> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://g.co/kg/m/09pjg1> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/volume>	"95"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/fr>	"petit ordinal de Veblen"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pr\u00E9nom>	"Jean H."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Isomorphisme> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/ann\u00E9e>	"1963"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/ann\u00E9e>	"1960"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Relation_antisym\u00E9trique> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Pr\u00E9ordre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Graphe_acyclique> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Ouvrage> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Injection_(math\u00E9matiques)> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Nombre_ordinal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Arbre_(math\u00E9matiques)> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/D\u00E9cidabilit\u00E9> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/passage>	"87"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pages>	"210"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Ordinal_de_Feferman-Sch\u00FCtte> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Graphe_(math\u00E9matiques_discr\u00E8tes)> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Relation_d\u0027ordre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Arbre_(th\u00E9orie_des_graphes)> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"171501537"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Joseph_Kruskal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/ann\u00E9e>	"2002"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Fonction_r\u00E9cursive_primitive> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Axiomes_de_Peano> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://www.wikidata.org/entity/Q3527100> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Th\u00E9orie_des_ensembles> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titreOuvrage>	"Harvey Friedman's Research on the Foundations of Mathematics"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/abstract>	"En math\u00E9matiques, le th\u00E9or\u00E8me des arbres de Kruskal est un r\u00E9sultat de th\u00E9orie des graphes conjectur\u00E9 en 1937 par Andrew V\u00E1zsonyi et d\u00E9montr\u00E9 ind\u00E9pendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres \u00E9tiquet\u00E9s par un ensemble muni d'un bel ordre est lui-m\u00EAme muni d'un bel ordre. Ce th\u00E9or\u00E8me est un cas particulier du th\u00E9or\u00E8me de Robertson-Seymour, dont il a constitu\u00E9 une des motivations. En utilisant ce th\u00E9or\u00E8me, Harvey Friedman a pu d\u00E9finir des entiers \u00AB incompr\u00E9hensiblement grands \u00BB, qu'il a utilis\u00E9 pour obtenir des r\u00E9sultats nouveaux d'ind\u00E9cidabilit\u00E9."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/lienAuteur>	"Joseph Kruskal"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/trad>	"small Veblen ordinal"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/lieu>	"Urbana, IL"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/nom>	"Friedman"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:Exp> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/ann\u00E9e>	"1991"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/doi>	"10.2307"^^<http://www.w3.org/2001/XMLSchema#double> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Graphe_connexe> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2002/07/owl#sameAs>	<http://fa.dbpedia.org/resource/\u0642\u0636\u06CC\u0647_\u062F\u0631\u062E\u062A_\u06A9\u0631\u0648\u0633\u06A9\u0627\u0644> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/titre>	"Nonprovability of certain combinatorial properties of finite trees"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/ann\u00E9e>	"1985"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/doi>	"10.1017"^^<http://www.w3.org/2001/XMLSchema#double> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/journal>	"Ann. Pure Appl. Logic"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2000/01/rdf-schema#label>	"Th\u00E9or\u00E8me de Kruskal"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/pr\u00E9nom>	"Harvey"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/num\u00E9roDansCollection>	"15"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Nombre_de_Graham> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/nom>	"Kruskal"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://purl.org/dc/terms/subject>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Grand_nombre> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/nom>	"Nash-Williams"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<ftp://ftp.cis.upenn.edu/pub/papers/gallier/kruskal2.pdf> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Morphisme> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/namedAfter>	<http://fr.dbpedia.org/resource/Joseph_Kruskal> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://www.w3.org/2000/01/rdf-schema#comment>	"En math\u00E9matiques, le th\u00E9or\u00E8me des arbres de Kruskal est un r\u00E9sultat de th\u00E9orie des graphes conjectur\u00E9 en 1937 par Andrew V\u00E1zsonyi et d\u00E9montr\u00E9 ind\u00E9pendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres \u00E9tiquet\u00E9s par un ensemble muni d'un bel ordre est lui-m\u00EAme muni d'un bel ordre. Ce th\u00E9or\u00E8me est un cas particulier du th\u00E9or\u00E8me de Robertson-Seymour, dont il a constitu\u00E9 une des motivations. En utilisant ce th\u00E9or\u00E8me, Harvey Friedman a pu d\u00E9finir des entiers \u00AB incompr\u00E9hensiblement grands \u00BB, qu'il a utilis\u00E9 pour obtenir des r\u00E9sultats nouveaux d'ind\u00E9cidabilit\u00E9."@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Th\u00E9orie_des_graphes> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageLength>	"16438"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/\u00E9diteur>	"North-Holland"@fr .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://fr.dbpedia.org/property/wikiPageUsesTemplate>	<http://fr.dbpedia.org/resource/Mod\u00E8le:R\u00E9f\u00E9rences> .
<http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Kruskal>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://fr.dbpedia.org/resource/Cat\u00E9gorie:Th\u00E9or\u00E8me_de_la_th\u00E9orie_des_graphes> .