{"version":"1.0","type":"link","title":"Semantic resolution tree - Newikis","description":"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.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}