Talk:Davis–Putnam algorithm: Difference between revisions

Content deleted Content added

Revision as of 21:34, 21 May 2015 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Sloppy algorithm description ← Previous edit		Latest revision as of 14:01, 31 January 2024 edit undo Cewbot (talk \| contribs) Bots 8,374,662 edits m Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Stub" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computing}}, {{Maths rating}}. Remove 2 deprecated parameters: field, historical. Tag: Talk banner shell conversion
(One intermediate revision by one other user not shown)
Line 1: {{WikiProject banner shell\|class=Stub\| {{WikiProject Computing\|~~class~~auto=inherit\|importance=}} {{WikiProject Mathematics\| importance = low}} ~~{{maths rating~~ ~~\| field = discrete~~ ~~\| importance = low~~ ~~\| class = stub~~ ~~\| historical =~~ }}