Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
Verificación de modelos
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
6951208
(xsd:integer)
dbo:
wikiPageRevisionID
83836758
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Verificación de modelos
(es)
Verificación de modelos
(es)
skos:
broader
category-es
:Teoría_de_la_información
category-es
:Lógica_matemática
category-es
:Métodos_formales
category-es
:Lógica_temporal
skos:
prefLabel
Verificación de modelos
(es)
Verificación de modelos
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Verificación_de_modelos?oldid=83836758&ns=14
is
dct:
subject
of
dbpedia-es
:Estructura_de_Kripke
dbpedia-es
:Verificación_de_modelos
is
skos:
broader
of
category-es
:Sistemas_de_transición