Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Davis-Putnam_algorithm> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Davis-Putnam_algorithm wikiPageID "17620089".
- Davis-Putnam_algorithm wikiPageLength "60".
- Davis-Putnam_algorithm wikiPageOutDegree "1".
- Davis-Putnam_algorithm wikiPageRedirects Davis–Putnam_algorithm.
- Davis-Putnam_algorithm wikiPageRevisionID "342612465".
- Davis-Putnam_algorithm wikiPageWikiLink Davis–Putnam_algorithm.
- Davis-Putnam_algorithm wikiPageWikiLinkText "Davis-Putnam algorithm".
- Davis-Putnam_algorithm wikiPageWikiLinkText "algorithm".
- Davis-Putnam_algorithm wikiPageUsesTemplate Template:R_from_modification.
- Davis-Putnam_algorithm type Redirect.
- 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.