Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
http://fr.dbpedia.org/resource/Catégorie:Vérification_de_modèles
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
11488977
(xsd:integer)
dbo:
wikiPageRevisionID
145418480
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Vérification de modèles
(fr)
Vérification de modèles
(fr)
owl:
sameAs
wikidata
:Q49766255
skos:
broader
category-fr
:Méthode_formelle
skos:
prefLabel
Vérification de modèles
(fr)
Vérification de modèles
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Vérification_de_modèles?oldid=145418480&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Automate_de_Büchi
dbpedia-fr
:Automate_de_Muller
dbpedia-fr
:CTL*
dbpedia-fr
:Diagramme_de_décision_binaire
dbpedia-fr
:Jeu_de_parité
dbpedia-fr
:Logique_temporelle
dbpedia-fr
:Mu-calcul
dbpedia-fr
:Structure_de_Kripke
dbpedia-fr
:Vérification_de_modèles
is
dct:
subject
of
dbpedia-fr
:Automate_de_Büchi
dbpedia-fr
:Automate_de_Muller
dbpedia-fr
:CTL*
dbpedia-fr
:Diagramme_de_décision_binaire
dbpedia-fr
:Jeu_de_parité
dbpedia-fr
:Logique_temporelle
dbpedia-fr
:Mu-calcul
dbpedia-fr
:Structure_de_Kripke
dbpedia-fr
:Vérification_de_modèles
is
skos:
broader
of
category-fr
:Logique_temporelle
is
oa:
hasTarget
of
tag-fr
:WdtFrResource