Talk:Vampire (theorem prover)

This is the talk page for discussing improvements to the Vampire (theorem prover) article.
This is not a forum for general discussion of the article's subject.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Software: Computing Low‑importance

	This article is within the scope of WikiProject Software, a collaborative effort to improve the coverage of software on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.SoftwareWikipedia:WikiProject SoftwareTemplate:WikiProject Softwaresoftware articles
Low	This article has been rated as Low-importance on the project's importance scale.
	This article is supported by WikiProject Computing.

Untitled

http://www.springerlink.com/content/6huhpyqdt7yw4pv2/ gives a more accessible introduction to Vampire and describes an early application to OWL DL RobertBurrellDonkin (talk) 07:32, 2 May 2010 (UTC)[reply]