Demostración_asistida_por_computadora
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Demostración_asistida_por_computadora
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Demostración_por_casos
dbpedia-latam:
Problemas_de_Hilbert