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

... to the school of mystics who were scattered along the Rhine from Switzerland to Strasburg and Cologne and in the Netherlands. He was a follower of Geert Groote and ...