mNo edit summary |
Algebraist (talk | contribs) m moved Davis-Putnam algorithm to Davis–Putnam algorithm over redirect: en dash not hyphen, per WP:MOSDASH |
(No difference)
|
mNo edit summary |
m moved Davis-Putnam algorithm to Davis–Putnam algorithm over redirect: en dash not hyphen, per WP:MOSDASH |
(No difference)
|