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:Langage_de_vérification_de_matériel
An Entity of Type :
Concept
, from Named Graph :
http://fr.dbpedia.org
, within Data Space :
fr.dbpedia.org
Property
Value
dbo:
wikiPageID
14576263
(xsd:integer)
dbo:
wikiPageRevisionID
190064739
(xsd:integer)
prop-fr:
wikiPageUsesTemplate
dbpedia-fr
:Modèle:Article_principal
rdf:
type
skos
:Concept
rdfs:
label
Langage de vérification de matériel
(fr)
Langage de vérification de matériel
(fr)
owl:
sameAs
dbc
:Hardware_verification_languages
wikidata
:Q8505468
dbpedia-zh
:Category:硬件验证语言
skos:
broader
category-fr
:Conception_électronique
category-fr
:Circuit_logique_programmable
category-fr
:Langage_informatique
category-fr
:Microélectronique
skos:
prefLabel
Langage de vérification de matériel
(fr)
Langage de vérification de matériel
(fr)
prov:
wasDerivedFrom
wikipedia-fr
:Catégorie:Langage_de_vérification_de_matériel?oldid=190064739&ns=14
is
dbo:
wikiPageWikiLink
of
dbpedia-fr
:Langage_de_vérification_de_matériel
dbpedia-fr
:SystemC
dbpedia-fr
:SystemVerilog
is
dct:
subject
of
dbpedia-fr
:Langage_de_vérification_de_matériel
dbpedia-fr
:SystemC
dbpedia-fr
:SystemVerilog
is
oa:
hasTarget
of
tag-fr
:WdtFrResource