This HTML5 document contains 77 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/
n16http://www.forsoft.de/~nipkow/TRaAT/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://books.google.com/
n5http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n8http://fr.dbpedia.org/resource/Modèle:
n18http://fr.dbpedia.org/resource/Fichier:
n11http://commons.wikimedia.org/wiki/Special:FilePath/
n13http://www.cs.vu.nl/~terese/
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#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Lemme_de_Newman
rdfs:label
Diamond Lemma Lema de Newman Lemme de Newman
rdfs:comment
En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne.
owl:sameAs
n5:0flx50 wikidata:Q1208706 dbpedia-pt:Lema_de_Newman n17:2779049830 dbr:Newman's_lemma dbpedia-de:Diamond_Lemma
dbo:wikiPageID
10006642
dbo:wikiPageRevisionID
173235291
dbo:wikiPageWikiLink
dbpedia-fr:Confluence_(informatique) category-fr:Réécriture category-fr:Calculabilité category-fr:Langage_formel n18:Lemme_newman_demonstration.svg category-fr:Algorithmique n18:Lemme_de_Newman_Confluence_locale.svg dbpedia-fr:Gérard_Huet n18:Lemme_Newman_confluence.svg category-fr:Algèbre dbpedia-fr:Réécriture_(informatique) dbpedia-fr:Informatique dbpedia-fr:Relation_bien_fondée dbpedia-fr:Mathématiques category-fr:Combinatoire_algébrique dbpedia-fr:Relation_binaire category-fr:Théorème_d'informatique category-fr:Logique_mathématique
dbo:wikiPageExternalLink
n13:%7Ctitre=(livre n16: n14:books%3Fid=u1-bLklS-9AC&printsec=frontcover
dbo:wikiPageLength
5043
dct:subject
category-fr:Logique_mathématique category-fr:Combinatoire_algébrique category-fr:Algorithmique category-fr:Langage_formel category-fr:Théorème_d'informatique category-fr:Réécriture category-fr:Algèbre category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n8:Portail n8:Lien n8:Lien_brisé n8:Langue n8:Quoi n8:ISBN n8:Ouvrage n8:Reflist
prov:wasDerivedFrom
wikipedia-fr:Lemme_de_Newman?oldid=173235291&ns=0
foaf:depiction
n11:Lemme_Newman_confluence.svg n11:Lemme_de_Newman_Confluence_locale.svg n11:Lemme_newman_demonstration.svg
prop-fr:année
1990
prop-fr:collection
Lecture notes in computer science
prop-fr:consultéLe
2017-07-09
prop-fr:fr
M. H. A. Newman
prop-fr:isbn
978
prop-fr:lang
en
prop-fr:langue
en
prop-fr:lieu
Warwick University, England
prop-fr:lireEnLigne
n14:books%3Fid=u1-bLklS-9AC&printsec=frontcover
prop-fr:nom
Paterson
prop-fr:pagesTotales
780
prop-fr:prénom
Michael S.
prop-fr:sousTitre
17
prop-fr:texte
M. H. A. Newman
prop-fr:titre
Automata, Languages, and Programming
prop-fr:trad
M. H. A. Newman
prop-fr:url
http://www.cs.vu.nl/~terese/|titre=(livre en ligne)
prop-fr:volume
443
prop-fr:éditeur
Springer
dbo:thumbnail
n11:Lemme_Newman_confluence.svg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Lemme_de_Newman
dbo:namedAfter
dbpedia-fr:Max_Newman
dbo:abstract
En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne.