Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Davis–Putnam_algorithm> . }
Showing items 1 to 6 of
6
with 100 items per page.
- DP_algorithm wikiPageRedirects Davis–Putnam_algorithm.
- Davis-Putnam wikiPageRedirects Davis–Putnam_algorithm.
- Davis-Putnam-method wikiPageRedirects Davis–Putnam_algorithm.
- Davis-Putnam_algorithm wikiPageRedirects Davis–Putnam_algorithm.
- Davis–Putnam_procedure wikiPageRedirects Davis–Putnam_algorithm.
- Martin_Davis knownFor Davis–Putnam_algorithm.