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:
Demostradores de teoremas
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
64964
(xsd:integer)
dbo:
wikiPageRevisionID
75693229
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Demostradores de teoremas
(es)
Demostradores de teoremas
(es)
skos:
broader
category-es
:Herramientas_de_desarrollo_de_software
category-es
:Matemáticas_aplicadas
category-es
:Teoría_de_la_demostración
skos:
prefLabel
Demostradores de teoremas
(es)
Demostradores de teoremas
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Demostradores_de_teoremas?oldid=75693229&ns=14
is
dct:
subject
of
dbpedia-es
:Mathematica
dbpedia-es
:Probador_de_teoremas_lógicos
dbpedia-es
:Maple_(software)
dbpedia-es
:Demostración_interactiva_de_teoremas
dbpedia-es
:Isabelle
dbpedia-es
:Resolución_(lógica)
dbpedia-es
:PhoX
dbpedia-es
:ACL2
dbpedia-es
:Demostración_automática_de_teoremas
dbpedia-es
:Coq
dbpedia-es
:LCF
dbpedia-es
:Cálculo_de_Construcciones
dbpedia-es
:Logic_Theorist