Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/368273.368557> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- 368273.368557 author "Martin Davis and George Logemann and Donald Loveland".
- 368273.368557 author2 "Logemann, George".
- 368273.368557 author3 "Loveland, Donald".
- 368273.368557 authorlink1 "Martin Davis".
- 368273.368557 date "Jul 1962".
- 368273.368557 doi "10.1145/368273.368557".
- 368273.368557 first "Jahbrill".
- 368273.368557 first "Martin".
- 368273.368557 first1 "M.".
- 368273.368557 first2 "G.".
- 368273.368557 first3 "D.".
- 368273.368557 isCitedBy Conflict-Driven_Clause_Learning.
- 368273.368557 isCitedBy DPLL_algorithm.
- 368273.368557 isCitedBy Davis–Putnam_algorithm.
- 368273.368557 isCitedBy List_of_important_publications_in_theoretical_computer_science.
- 368273.368557 issue "7".
- 368273.368557 journal Communications_of_the_ACM.
- 368273.368557 journal "CACM".
- 368273.368557 last "Beckford".
- 368273.368557 last "Davis".
- 368273.368557 last1 "Davis".
- 368273.368557 last2 "Logemann".
- 368273.368557 last3 "Loveland".
- 368273.368557 number "7".
- 368273.368557 pages "394—397".
- 368273.368557 pages "394–397".
- 368273.368557 title "A Machine Program for Theorem Proving".
- 368273.368557 title "A machine program for theorem-proving".
- 368273.368557 url "http://www.ensiie.fr/~blazy/ipr/article2.pdf".
- 368273.368557 url citation.cfm?doid=368273.368557.
- 368273.368557 volume "5".
- 368273.368557 year "1962".