Revision as of 21:30, 21 May 2015 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Sloppy algorithm description ← Previous edit		Revision as of 21:33, 21 May 2015 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits →Sloppy algorithm description Next edit →
Line 32: :''f''(''x'')>''x'' ∧ ''p''(''f''(''x'')''), which has the ground instances (assuming, e.g., natural numbers' constructors - I'm not sure about this point): :''f''(0)>0 ∧ ''p''(''f''(0)''),

Talk:Davis–Putnam algorithm: Difference between revisions