Resolution resolution resolution resolution resolutions resolution approach resolution rule Resolution resolution Resolution rule resolutions predicate resolution resolutions Resolution resolution resolution rule resolution resolution operator resolutions resolution rule Resolution Wikipedia resolution rule resolution operator resolution RESOLUTION PRINCIPLE Resolution rule resolution proof system resolution Resolution resolution resolution rule resolution resolution proof system resolution en.wikipedia.org Resolution (Logic) https://en.wikipedia.org/wiki/Resolution_(logic) resolution rule https://en.wikipedia.org/wiki/Resolution_(logic) resolutions Resolution resolution RESOLUTION PRINCIPLE