Revision as of 00:53, 30 August 2008 edit Linas (talk \| contribs) 25,539 edits →Move? ← Previous edit		Revision as of 19:03, 8 October 2008 edit undo Blaisorblade (talk \| contribs) Extended confirmed users 1,140 edits Add {{technical}} Next edit →
Line 1: {{technical}} {{WikiProject Computing\|class=\|importance=}} {{maths rating Line 14 ⟶ 15: ::As of the now, the [[WP:DASH\|manual of style]] recommends the en dash, so I've moved it back. [[User talk:Algebraist\|Algebraist]] 12:32, 26 May 2008 (UTC) :::Jon may have committed crimes, but en-dash wasn't one of them. [[User:Linas\|linas]] ([[User talk:Linas\|talk]]) 00:53, 30 August 2008 (UTC) ==Technical== What is a ground formula? Also, I can read the [[Resolution (logic)]] article without problem, and while I'm not a logic expert, I studied a bit about first order logic and resolution in some courses, so definitely the article is not accessible enough currently, IMHO. --[[User:Blaisorblade\|Blaisorblade]] ([[User talk:Blaisorblade\|talk]]) 19:03, 8 October 2008 (UTC)

Talk:Davis–Putnam algorithm: Difference between revisions