This HTML5 document contains 19 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/
n13http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n8http://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#
n12http://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:Réduction_par_ordre_partiel
rdfs:label
Réduction par ordre partiel
rdfs:comment
En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique. Les pionniers sont Antti Valmari, Patrice Godefroid, Doron Peled. La réduction par ordre partiel est expliquée dans les livres sur la vérification de modèles.
owl:sameAs
wikidata:Q7140378 n12:94633896 n13:08pmdd dbr:Partial_order_reduction
dbo:wikiPageID
12259887
dbo:wikiPageRevisionID
177365837
dbo:wikiPageWikiLink
dbpedia-fr:Vérification_de_modèles dbpedia-fr:Informatique category-fr:Intelligence_artificielle dbpedia-fr:Planification_(intelligence_artificielle)
dbo:wikiPageLength
2024
dct:subject
category-fr:Intelligence_artificielle
prop-fr:wikiPageUsesTemplate
n8:Références n8:Portail
prov:wasDerivedFrom
wikipedia-fr:Réduction_par_ordre_partiel?oldid=177365837&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Réduction_par_ordre_partiel
dbo:abstract
En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique. Les pionniers sont Antti Valmari, Patrice Godefroid, Doron Peled. La réduction par ordre partiel est expliquée dans les livres sur la vérification de modèles.