English Resolution (logic) Cited by user RDBrown on 20 Oct 2022 In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation complete theorem-proving technique for sentences in…