This HTML5 document contains 31 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/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n20http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n19http://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#
n16http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Horloge_de_Lamport
rdfs:label
Часы Лэмпорта Relógios de Lamport Horloge de Lamport Tiempos lógicos de Lamport
rdfs:comment
Une horloge de Lamport est un dispositif logiciel introduit en 1978 par Leslie Lamport afin de donner à chaque processus d'un système distribué asynchrone des informations sur la relation de causalité arrivé-avant. C'est le premier type d'horloge logique introduit en informatique.
owl:sameAs
dbr:Lamport_timestamp wikidata:Q1801707 dbpedia-pt:Relógios_de_Lamport dbpedia-de:Lamport-Uhr dbpedia-ru:Часы_Лэмпорта dbpedia-es:Tiempos_lógicos_de_Lamport n16:106054997 n20:06s8rr
dbo:wikiPageID
2691356
dbo:wikiPageRevisionID
155184957
dbo:wikiPageWikiLink
category-fr:Programmation_concurrente dbpedia-fr:Horloge_logique dbpedia-fr:Exclusion_mutuelle dbpedia-fr:Leslie_Lamport dbpedia-fr:Arrivé-avant dbpedia-fr:1978 dbpedia-fr:Horloge_vectorielle
dbo:wikiPageLength
1882
dct:subject
category-fr:Programmation_concurrente
prop-fr:wikiPageUsesTemplate
n19:Portail n19:Article_principal
prov:wasDerivedFrom
wikipedia-fr:Horloge_de_Lamport?oldid=155184957&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Horloge_de_Lamport
dbo:discoverer
dbpedia-fr:Leslie_Lamport
dbo:namedAfter
dbpedia-fr:Leslie_Lamport
dbo:abstract
Une horloge de Lamport est un dispositif logiciel introduit en 1978 par Leslie Lamport afin de donner à chaque processus d'un système distribué asynchrone des informations sur la relation de causalité arrivé-avant. C'est le premier type d'horloge logique introduit en informatique.