Ke Y
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/KeY
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Demostración_automática_de_teoremas
dbpedia-latam:
Java_Modeling_Language
![[This page as RDF]](http://es-la.dbpedia.org/static/dbpedialatam.png)
