Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/321033.321034> ?p ?o }
Showing triples 1 to 29 of
29
with 100 triples per page.
- 321033.321034 author "Martin Davis and Hilary Putnam".
- 321033.321034 author "Martin Davis, 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 first1 "M.".
- 321033.321034 first2 "H.".
- 321033.321034 isCitedBy Boolean_satisfiability_problem.
- 321033.321034 isCitedBy Conflict-Driven_Clause_Learning.
- 321033.321034 isCitedBy DPLL_algorithm.
- 321033.321034 isCitedBy Davis–Putnam_algorithm.
- 321033.321034 isCitedBy Resolution_(logic).
- 321033.321034 issue "3".
- 321033.321034 journal Journal_of_the_ACM.
- 321033.321034 journal "J.ACM".
- 321033.321034 journal "Journal of the ACM".
- 321033.321034 last "Davis".
- 321033.321034 last1 "Davis".
- 321033.321034 last2 "Putnam".
- 321033.321034 number "3".
- 321033.321034 pages "201".
- 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".