Wikipedia:Articles for deletion/Horn-satisfiability: Difference between revisions

Content deleted Content added

Inline

Revision as of 08:57, 1 December 2004

Makes no sense. What's a horn clause? [[User:Poccil|Peter O. (Talk)]] 03:51, 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 — that is, unless you like to waste your time voting keep on completely legitimate articles — 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. —[[User:Radman1|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)

@@ Line 6: / Line 6: @@
 * '''Keep''', possibly merge into a formal logic article? - [[User:Amgine|Amgine]] 07:50, 1 Dec 2004 (UTC)
 *'''Keep'''. Here are [http://www.google.com.au/search?q=%22horn+clause%22 some possible answers for Peter]. Google is your friend. [[User:Dr Zen|Dr Zen]] 08:34, 1 Dec 2004 (UTC)
+*'''Keep'''. Clearly encyclopedic topic. Needs cleanup, not deletion. [[User:Jni|jni]] 08:57, 1 Dec 2004 (UTC)