English Semantic resolution tree Cited by user Fergyman on 26 Dec 2020 A semantic resolution tree is a tree used for the definition of the semantics of a programming language.