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
Autocracy

... - Wikipedia <<Up     Contents Autocracy Autocracy is a form of government which resides in the absolute power of a single individual. The ...

 
 
 
This page was created in 26.1 ms