A surname.

A county of Florida, United States. County seat: Palatka. / A county of Georgia, United States. County seat: Eatonton. / A county of Illinois, United States. County seat: Hennepin.

(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.

Of or relating to Hilary Putnam (1926–2016), American philosopher, mathematician and computer scientist, and a major figure in analytic philosophy in the second half of the 20th century.