Davis, M.; Putnam, H. A computing procedure for quantification theory. (English) Zbl 0212.34203 J. Assoc. Comput. Mach. 7, 201-215 (1960). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 ReviewsCited in 335 Documents MSC: 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) PDF BibTeX XML Cite \textit{M. Davis} and \textit{H. Putnam}, J. Assoc. Comput. Mach. 7, 201--215 (1960; Zbl 0212.34203) Full Text: DOI