Semantic resolution tree

A semantic resolution tree is a tree used for the definition of the semantics of a programming language. They have often been used as a theoretical tool for showing the unsatisfiability of clauses in first-order predicate logic.

References



Retrieved from "https://en.wikipedia.org/w/index.php?title=Semantic_resolution_tree&oldid=1169409879"
Uses material from the Wikipedia article Semantic resolution tree, released under the CC BY-SA 4.0 license.