Demostradores De Teoremas
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Categoría:Demostradores_de_teoremas
skos:
broader
dbpedia-latam:
Categoría:Herramientas_de_desarrollo_de_software
dbpedia-latam:
Categoría:Matemáticas_aplicadas
dbpedia-latam:
Categoría:Teoría_de_la_demostración
rdfs:
label
Demostradores de teoremas
(es)
skos:
prefLabel
Demostradores de teoremas
(es)
Is
dcterms:
subject
of
dbpedia-latam:
ACL2
dbpedia-latam:
Coq
dbpedia-latam:
Cálculo_de_Construcciones
dbpedia-latam:
Demostración_automática_de_teoremas
dbpedia-latam:
Demostración_interactiva_de_teoremas
dbpedia-latam:
Isabelle
dbpedia-latam:
LCF
dbpedia-latam:
PhoX
dbpedia-latam:
Probador_de_teoremas_lógicos
dbpedia-latam:
Resolución_(lógica)
rdf:
type
skos:
Concept
prov:
wasDerivedFrom
wiki-latam:
Categoría:Demostradores_de_teoremas?oldid=75693229
dbpedia-owl:
wikiPageID
64964
(xsd:integer)
dbpedia-owl:
wikiPageRevisionID
75693229
(xsd:integer)
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
ACL2
dbpedia-latam:
Coq
dbpedia-latam:
Cálculo_de_Construcciones
dbpedia-latam:
Demostración_automática_de_teoremas
dbpedia-latam:
Demostración_interactiva_de_teoremas
dbpedia-latam:
Isabelle
dbpedia-latam:
LCF
dbpedia-latam:
PhoX
dbpedia-latam:
Probador_de_teoremas_lógicos
dbpedia-latam:
Resolución_(lógica)