 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
 | Stephan Schulz was nominated for deletion. The discussion was closed on 18 December 2009 with a consensus to merge. Its contents were merged into E (theorem prover). The original page is now a redirect to this page. For the contribution history and old versions of the redirected article, please see its history; for its talk page, see here. |
 | This article was nominated for deletion on 25 January 2010. The result of the discussion was keep. |
|
|
