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/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n5http://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#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
n19https://github.com/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:TLA+
rdf:type
schema:Language dbo:ProgrammingLanguage owl:Thing wikidata:Q9143 dbo:Language wikidata:Q315
rdfs:label
TLA⁺ TLA+ TLA+ TLA+ TLA+
rdfs:comment
TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions » en anglais), est un système de méthode formelle pour les algorithmes parallèles et distribués.
rdfs:seeAlso
n19:tlaplus
owl:sameAs
dbpedia-uk:TLA+ n16:0134r96j dbpedia-ja:TLA+ dbr:TLA+ wikidata:Q28955120 dbpedia-ru:TLA⁺
dbo:wikiPageID
8775193
dbo:wikiPageRevisionID
182836662
dbo:wikiPageWikiLink
category-fr:Méthode_formelle dbpedia-fr:Méthode_formelle_(informatique) category-fr:Logique_temporelle
dbo:wikiPageLength
390
dct:subject
category-fr:Logique_temporelle category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate
n5:Références n5:Langue n5:Portail n5:… n5:Ébauche
prov:wasDerivedFrom
wikipedia-fr:TLA+?oldid=182836662&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:TLA+
dbo:basedOn
wikidata:Q2403081
dbo:abstract
TLA+, acronyme de « Temporal Logic of Actions » (« logique temporelle des actions » en anglais), est un système de méthode formelle pour les algorithmes parallèles et distribués.
dbo:license
dbpedia-fr:Licence_MIT
dbo:designer
dbpedia-fr:Leslie_Lamport