A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications. == Definition == A term t1 is said to subsume a term t2 if a substitution σ exists such that σ applied to t1 yields t2.
A subsumption lattice is a mathematical structure used in the theoretical background of automated theorem proving and other symbolic computation applications. == Definition == A term t1 is said to subsume a term t2 if a substitution σ exists such that σ applied to t1 yields t2.
Source: Wikipedia "Subsumption lattice" · CC BY-SA 4.0
Share this article: X · Bluesky