Prototipo_de_sistema_de_verificación
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Prototipo_de_sistema_de_verificación
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Demostración_interactiva_de_teoremas