Hao Wang's contributions to mechanized deduction and to the Entscheidungsproblem
scientific article; zbMATH DE number 6204080