Talk:Davis–Putnam algorithm: Difference between revisions

Content deleted Content added
SatyrBot (talk | contribs)
m SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project
SatyrBot (talk | contribs)
m SatyrBot removing WP:Logic banner per project decision.
Line 1:
 
{{Logic2 |class=Stub}}
{{maths rating
| field = discrete