Talk:Davis–Putnam algorithm: Difference between revisions

Content deleted Content added
BU RoBOT (talk | contribs)
m top: Auto-assessment of article class. Editors are encouraged to manually assess articles. See User:BU_RoBOT/autoassess for more info.
Cewbot (talk | contribs)
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.
 
Line 1:
{{WikiProject banner shell|class=Stub|
 
{{WikiProject Computing|class=stub|auto=inherit|importance=}}
{{WikiProject Mathematics| importance = low}}
{{maths rating
| field = discrete
| importance = low
| class = stub
| historical =
 
}}