Theta-subsumption (θ-subsumption, or just subsumption) is a decidable relation between two first-order clauses that guarantees that one clause logically...

capitalist subsumption describes different processes whereby capital comes to dominate an economic process. Coined in Karl Marx's Capital, Volume I Theta-subsumption...

{\displaystyle s\lesssim t} if a subterm of t is a substitution instance of s. Theta-subsumption, which is when the literals in a disjunctive first-order formula are...

alternative hypothesis search can be conducted using the inverse subsumption (anti-subsumption) operation instead, which is less non-deterministic than anti-entailment...

(lgg) of two terms, dual to computing a most general instance (mgu) Subsumption lattice, a lattice having unification as meet and anti-unification as...

exists a substitution θ {\displaystyle \theta } , such that q θ {\displaystyle q\theta } = t θ {\displaystyle t\theta } term t {\displaystyle t} is an instance...