Demostradores_de_teoremas_HOL
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Demostradores_de_teoremas_HOL
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Demostración_interactiva_de_teoremas
dbpedia-latam:
Formalismo_matemático