Revision as of 12:11, 24 September 2005 edit Tizio (talk \| contribs) Extended confirmed users 13,768 edits m article name after merge ← Previous edit		Revision as of 12:41, 24 September 2005 edit undo Silverfish (talk \| contribs) Extended confirmed users, Pending changes reviewers 6,013 edits m Stub-sorting. You can help! Next edit →
Line 16: * [[Hilary Putnam]] {{~~math~~Mathlogic-stub}}

Davis–Putnam algorithm: Difference between revisions