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