Main Page | See live article | Alphabetical index

Gandalf theorem prover

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

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

Fact-index.com financially supports the Wikimedia Foundation. Displaying this page does not burden Wikipedia hardware resources.
This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.