Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Davis-Putnam_algorithm> ?p ?o }
Showing triples 1 to 12 of
12
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 label "Davis-Putnam algorithm".
- Davis-Putnam_algorithm wasDerivedFrom Davis-Putnam_algorithm?oldid=342612465.
- Davis-Putnam_algorithm isPrimaryTopicOf Davis-Putnam_algorithm.