Encyclopedia > Gandalf theorem prover

Article Content

Gandalf theorem prover

A first-order theorem prover applied to several domain-specific tasks such as Semantic web.

http://www.ttu.ee/it/gandalf/

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Thomas a Kempis

... à Kempis, German mystic and author of the "Imitation of Christ," was born at Kempen[?], Germany (40 miles northwest of Cologne) in 1380 and died near Zwolle (52 mil ...