http://wiki.dol-omg.org/index.php?action=history&feed=atom&title=Hets 2026-04-29T04:27:29Z Revision history for this page on the wiki MediaWiki 1.27.4 http://wiki.dol-omg.org/index.php?title=Hets&diff=281&oldid=prev 2017-05-04T20:18:35Z

<p>start</p> <p><b>New page</b></p><div>The heterogeneous tool set (Hets) is a parsing, static analysis and proof management tool incorporating various provers and different logical languages, thus providing a tool for heterogeneous ontologies, models and specifications. Logic translations are first-class citizens. Hets is the central analysis tool for [[DOL]].<br /> <br /> Find more about Hets on the [http://hets.eu/ Hets homepage].</div>

Tillmo