{"version":"1.0","type":"link","title":"Encompassment ordering - Newikis","description":"In theoretical computer science, in particular in automated theorem proving and term rewriting, the containment, or encompassment, preorder (≤) on the set of terms, is defined by","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://thumb.wikimedia.org/wikipedia/commons/thumb/4/44/Encompassment_ordering_on_terms_s%2Ct_svg.svg/1280px-Encompassment_ordering_on_terms_s%2Ct_svg.svg.png","thumbnail_width":1280,"thumbnail_height":1311}