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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n16http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n10http://perso.ens-lyon.fr/eric.thierry/Graphes2009/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-lahttp://la.dbpedia.org/resource/
n7http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n17http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.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
dbpedia-fr:Lemme_de_Higman
rdfs:label
Lemme de Higman
rdfs:comment
En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952.
owl:sameAs
dbr:Higman's_lemma wikidata:Q3229340 n16:0bnxxz n17:2778990919 dbpedia-la:Lemma_Higmanianum
dbo:wikiPageID
5597952
dbo:wikiPageRevisionID
178549704
dbo:wikiPageWikiLink
category-fr:Théorie_des_ordres dbpedia-fr:Théorème_de_Kruskal dbpedia-fr:Graham_Higman dbpedia-fr:Arbre_(théorie_des_graphes) dbpedia-fr:Lemme_(mathématiques) dbpedia-fr:École_normale_supérieure_de_Lyon dbpedia-fr:Relation_d'ordre dbpedia-fr:Théorème_de_Robertson-Seymour dbpedia-fr:Sous-suite category-fr:Lemme_de_mathématiques dbpedia-fr:Graphe_non_orienté dbpedia-fr:Bel_ordre dbpedia-fr:Mathématiques
dbo:wikiPageExternalLink
n10:bastien-legloannec.pdf%7Ctitre=Beaux
dbo:wikiPageLength
1249
dct:subject
category-fr:Lemme_de_mathématiques category-fr:Théorie_des_ordres
prop-fr:wikiPageUsesTemplate
n7:Références n7:Ébauche n7:Portail n7:Lien_web
prov:wasDerivedFrom
wikipedia-fr:Lemme_de_Higman?oldid=178549704&ns=0
prop-fr:année
2009
prop-fr:auteur
Bastien Legloannec
prop-fr:site
dbpedia-fr:École_normale_supérieure_de_Lyon
prop-fr:url
http://perso.ens-lyon.fr/eric.thierry/Graphes2009/bastien-legloannec.pdf|titre=Beaux ordres et graphes
foaf:isPrimaryTopicOf
wikipedia-fr:Lemme_de_Higman
dbo:namedAfter
dbpedia-fr:Graham_Higman
dbo:abstract
En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble muni d'un bel ordre, l'ensemble des mots finis sur muni de l'ordre sous-mot est également un bel ordre. C'est un cas particulier du théorème de Kruskal sur les arbres, qui se généralise à son tour en le théorème de Robertson-Seymour sur les graphes. Ce lemme est dû à Graham Higman, qui l'a publié en 1952.