http://gicl.cs.drexel.edu/wiki-data/index.php?title=Otter&feed=atom&action=history 2013-05-22T22:29:31Z Revision history for this page on the wiki MediaWiki 1.18.2 http://gicl.cs.drexel.edu/wiki-data/index.php?title=Otter&diff=2698&oldid=prev 2006-09-15T17:23:11Z

<p>initial add</p> <p><b>New page</b></p><div>'''Otter''' is designed to prove theorems stated in first-order logic with equality. It does not come ready to process and use [[Languages |Semantic Web languages]], and may require some extra effort in order to be used as a Semantic Web tool.<br /> <br /> ==See Also==<br /> * [http://www-unix.mcs.anl.gov/AR/otter/ Otter Official Site]</div>

I Howley