Talk:Nqthm

From Wikipedia, the free encyclopedia

I started this article, as I spent 7 years of my life (i.e. my dissertation work) using this prover. If there are any questions or additions needed, please contact me on my German talk page (never read my english one): http://de.wikipedia.org/wiki/Benutzer_Diskussion:WiseWoman . English is fine. --WiseWoman 07:54, 8 January 2007 (UTC)

[edit] Name

Anyone know where the name comes from? "thm" may stand for theorem, but what about "Nq"? --MarSch 22:10, 27 October 2007 (UTC)

Yes -- the `Nq' stand for `Non-quantified.' `Nqthm' was originally the directory name for the path of their (nameless) quantifier free prover. Eventually the directory name stuck as the name of the prover itself. —Preceding unsigned comment added by 66.68.108.112 (talk) 07:14, 2 January 2008 (UTC)