Robinson, J. A. A machine-oriented logic based on the resolution principle. (English) Zbl 0139.12303 J. Assoc. Comput. Mach. 12, 23-41 (1965). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 ReviewsCited in 637 Documents MathOverflow Questions: On a surprising property of free theories Keywords:numerical analysis × Cite Format Result Cite Review PDF Full Text: DOI