Content deleted Content added
m SatyrBot removing WP:Logic banner per project decision. |
m →Move? |
||
Line 9:
==Move?==
[[User:Jon Awbrey]] (now permanently blocked) moved this article from [[Davis-Putnam algorithm]] to [[Davis-Putnam algorithm]] (if that's
:The long dash convention was a math project one. In my opinion, it was a bad choice; anyway, this article is about computer science, so I do not see how that convention affects this article [[User:Tizio]]. 11:09, 15 September 2006 (UTC)
|