Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Davis-Putnam_algorithm> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- Davis-Putnam_algorithm wikiPageID "17620089".
- Davis-Putnam_algorithm wikiPageRedirects Davis–Putnam_algorithm.
- Davis-Putnam_algorithm wikiPageRevisionID "342612465".
- Davis-Putnam_algorithm label "Davis-Putnam algorithm".
- Davis-Putnam_algorithm sameAs m.07_p4x.
- Davis-Putnam_algorithm wasDerivedFrom Davis-Putnam_algorithm?oldid=342612465.
- Davis-Putnam_algorithm isPrimaryTopicOf Davis-Putnam_algorithm.