Jump to content

First-order theorem provers

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 206.184.11.35 (talk) at 21:53, 23 June 2005 (Changed leaded ==> led). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Some links:

One of the most famous theorem prover - Vampire - was developed and implemented in Manchester University by a group of computer scientists led by Andrei Voronkov

Vampire wins the world cap in the ATP (Automated theorem prover) System Competition for three years (2003, 2004, 2005)!

Retrieved from "https://en.wikipedia.org/w/index.php?title=First-order_theorem_provers&oldid=15772480"