Top Qs
Timeline
Chat
Perspective

Semantic resolution tree

From Wikipedia, the free encyclopedia

Remove ads

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

References

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads