Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/321033.321034> ?p ?o }
Showing triples 1 to 20 of
20
with 100 triples per page.
- 321033.321034 author "Martin Davis and Hilary Putnam".
- 321033.321034 author2 "Putnam, Hilary".
- 321033.321034 authorlink "Martin Davis".
- 321033.321034 authorlink2 "Hilary Putnam".
- 321033.321034 doi "10.1145/321033.321034".
- 321033.321034 first "Martin".
- 321033.321034 isCitedBy Conflict-Driven_Clause_Learning.
- 321033.321034 isCitedBy DPLL_algorithm.
- 321033.321034 isCitedBy Davis–Putnam_algorithm.
- 321033.321034 issue "3".
- 321033.321034 journal Journal_of_the_ACM.
- 321033.321034 journal "J.ACM".
- 321033.321034 last "Davis".
- 321033.321034 number "3".
- 321033.321034 pages "201—215".
- 321033.321034 pages "201–215".
- 321033.321034 title "A Computing Procedure for Quantification Theory".
- 321033.321034 url citation.cfm?coll=GUIDE&dl=GUIDE&id=321034.
- 321033.321034 volume "7".
- 321033.321034 year "1960".