Wikipedia:Articles for deletion/Horn-satisfiability

Horn-satisfiability was proposed for deletion. This page is an archive of the discussion about the proposed deletion. This page is no longer live. Further comments should be made on the article's talk page rather than here so that this page is preserved as an historic record. The result of the debate was keep

Horn-satisfiability (Withdrawn)
Makes no sense. What's a horn clause? [[User:Poccil|Peter O. (Talk)]] 03:51, Dec 1, 2004 (UTC)


 * Article is now cleaned up. Good work to all of you.  [[User:Poccil|Peter O. (Talk, automation script)]] 19:35, Dec 1, 2004 (UTC)


 * Try looking it up before VfDing it. It's a formal logic thing, named after logician Alfred Horn. Makes perfect sense within the context of formal logic. Of course, this could just be logicruft. But Keep. --jpgordon{gab} 04:08, 1 Dec 2004 (UTC)
 * Extreme keep, highly notable (could use some cleanup). This is precisely why I said in an earlier VfD listing that Peter O should kindly take a WikiVacation, or apply closer scrutiny before contributing an article to our already-massive VfD roster.  This is not to say that some of his submissions have been fully qualified, but rather that others have been clearly invalid and not worthy of our time &mdash; that is, unless you like to waste your time voting keep on completely legitimate articles &mdash; I have bigger fish to fry.  Please do not interpret this as a personal attack; Peter's efforts appear to be in good faith and are appreciated.  &mdash;[[en:RaD Man|RaD Man (talk)]] 07:38, 1 Dec 2004 (UTC)
 * Keep.-Cookiemobsta 07:40, 1 Dec 2004 (UTC)
 * Keep, possibly merge into a formal logic article? - Amgine 07:50, 1 Dec 2004 (UTC)
 * Keep. Here are some possible answers for Peter. Google is your friend. Dr Zen 08:34, 1 Dec 2004 (UTC)
 * Keep. Clearly encyclopedic topic. Needs cleanup, not deletion. jni 08:57, 1 Dec 2004 (UTC)
 * Keep, expand. Charles Matthews 09:25, 1 Dec 2004 (UTC)
 * Keep and cease the abuse of the term cruft. [[User:GRider|GRider\talk]] 17:49, 1 Dec 2004 (UTC)
 * Keep. Astounding. See Talk:Horn-satisfiability. Andrewa 18:04, 1 Dec 2004 (UTC)
 * I could not agree with Andrew more. This ought to be a salutary lesson for us all. Dr Zen 23:20, 1 Dec 2004 (UTC)
 * Keep and expand. Jayjg 19:28, 1 Dec 2004 (UTC)
 * Keep. Should not have been listed in the first place.  Before nominating an article that "makes no sense", one should do some basic research.  At worst, this should have been sent to cleanup.  ElBenevolente 02:36, 2 Dec 2004 (UTC)

This page is now preserved as an archive of the debate and, like other '/delete' pages is no longer 'live'. Subsequent comments on the issue, the deletion or on the decision-making process should be placed on the relevant 'live' pages. Please do not edit this page.