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:
Teoría de la demostración
An Entity of Type :
Concept
, from Named Graph :
http://es.dbpedia.org
, within Data Space :
es.dbpedia.org
Property
Value
dbo:
wikiPageID
795166
(xsd:integer)
dbo:
wikiPageRevisionID
84167865
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Teoría de la demostración
(es)
Teoría de la demostración
(es)
skos:
broader
category-es
:Demostraciones_matemáticas
category-es
:Lógica_matemática
category-es
:Sintaxis_(lógica)
category-es
:Teorías_matemáticas
skos:
prefLabel
Teoría de la demostración
(es)
Teoría de la demostración
(es)
prov:
wasDerivedFrom
wikipedia-es
:Categoría:Teoría_de_la_demostración?oldid=84167865&ns=14
is
dct:
subject
of
dbpedia-es
:Contrarrecíproco
dbpedia-es
:Ordinal_de_Feferman-Schütte
dbpedia-es
:Teorema_de_existencia
dbpedia-es
:Teorema_de_corte-eliminación
dbpedia-es
:Correspondencia_de_Curry-Howard
dbpedia-es
:Descenso_infinito
dbpedia-es
:Inducción_fuerte
dbpedia-es
:Reglas_de_inferencia
dbpedia-es
:Lógica_combinatoria
dbpedia-es
:Demostración_en_matemática
dbpedia-es
:Demostración_inválida
dbpedia-es
:Inducción_matemática
dbpedia-es
:Teoría_de_la_demostración
dbpedia-es
:Consistencia_(lógica)
dbpedia-es
:Programa_de_Hilbert
dbpedia-es
:Prueba_por_contradicción
dbpedia-es
:Consecuente
dbpedia-es
:Problema_indecidible
is
skos:
broader
of
category-es
:Reglas_de_inferencia
category-es
:Demostradores_de_teoremas
category-es
:Métodos_de_demostración