Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
dbprdf-label
facets
http://dbpedia.org/resource/inference/rules/dbpedia#
http://dbpedia.org/resource/inference/rules/opencyc#
http://dbpedia.org/resource/inference/rules/umbel#
http://dbpedia.org/resource/inference/rules/yago#
http://dbpedia.org/schema/property_rules#
http://www.ontologyportal.org/inference/rules/SUMO#
http://www.ontologyportal.org/inference/rules/WordNet#
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
category-fr:Vérification_de_modèles
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
skos:Concept
, within Data Space :
fr.dbpedia.org
associated with source
document(s)
Type:
skos:Concept
New Facet based on Instances of this Class
Attributes
Values
rdf:type
skos:Concept
rdfs:label
Vérification de modèles
(fr)
sameAs
wikidata:Q49766255
Wikipage page ID
11488977
(
xsd:integer
)
Wikipage revision ID
145418480
(
xsd:integer
)
skos:prefLabel
Vérification de modèles
(fr)
prov:wasDerivedFrom
wikipedia-fr:Catégorie:Vérification_de_modèles?oldid=145418480&ns=14
skos:broader
category-fr:Méthode_formelle
is
dbo:wikiPageWikiLink
of
dbpedia-fr:Automate_de_Büchi
dbpedia-fr:Automate_de_Muller
CTL*
dbpedia-fr:Diagramme_de_décision_binaire
dbpedia-fr:Jeu_de_parité
dbpedia-fr:Logique_temporelle
Modal μ-calculus
Kripke structure (model checking)
dbpedia-fr:Vérification_de_modèles
is
dct:subject
of
dbpedia-fr:Automate_de_Büchi
dbpedia-fr:Automate_de_Muller
CTL*
dbpedia-fr:Diagramme_de_décision_binaire
dbpedia-fr:Jeu_de_parité
dbpedia-fr:Logique_temporelle
Modal μ-calculus
Kripke structure (model checking)
dbpedia-fr:Vérification_de_modèles
is
skos:broader
of
category-fr:Logique_temporelle
is
oa:hasTarget
of
Wikidata Fr related
Faceted Search & Find service v1.16.111 as of Oct 19 2022
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 5 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software