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