MOST GENERAL UNIFIER

Meaning of MOST GENERAL UNIFIER in English

< logic > If U is the most general unifier of a set of expressions then any other unifier, V, can be expressed as V = UW, where W is another substitution.

See also unification .

(2000-03-07)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

UNIFIER — noun see: unify
Толковый словарь английского языка - Merriam Webster
GENERAL — [c mediumvioletred] (as used in expressions) attorney general Dawes General Allotment Act Estates General general practice General Agreement on Tariffs …
Английский словарь Британика
MOST — I. ˈmōst adjective Etymology: Middle English mest, mast, most, from Old English mǣst, māst; akin to Old High German meist …
Webster's New International English Dictionary
GENERAL — I. ˈjen(ə)rəl adjective Etymology: Middle English, from Middle French, from Latin generalis, from gener-, genus birth, race, class, kind + …
Webster's New International English Dictionary
UNIFIER — ˈyünəˌfī(ə)r, -fīə noun ( -s ) : one that unifies
Webster's New International English Dictionary
-MOST — ˌmōst also chiefly Brit _məst adjective suffix Etymology: Middle English -mast, -most, alteration (influenced by mast, most most) of -mest …
Webster's New International English Dictionary
UNIFIER — (n.) One who, or that which, unifies; as, a natural law is a unifier of phenomena.
Английский словарь Webster
UNIFIER — ( n. ) One who, or that which, unifies; as, a natural law is a unifier of phenomena.
Webster's Revised Unabridged English Dictionary
MOST — /mohst/ , adj., superl. of much or many with more as compar. 1. in the greatest quantity, amount, measure, degree, …
Random House Webster's Unabridged English Dictionary
GENERAL — — generalness , n. /jen"euhr euhl/ , adj. 1. of or pertaining to all persons or things belonging to a …
Random House Webster's Unabridged English Dictionary
UNIFIER — n. uniting force, someone or something that unifies
Толковый словарь английского языка - Редакция bed
UNIFIER — see unify
Merriam-Webster's Collegiate English vocabulary
MOST — I. ˈmōst adjective Etymology: Middle English, from Old English mǣst; akin to Old High German meist most, Old English māra …
Merriam-Webster's Collegiate English vocabulary
GENERAL — I. ˈjen-rəl, ˈje-nə- adjective Etymology: Middle English, from Anglo-French, from Latin generalis, from gener-, genus kind, class — more at …
Merriam-Webster's Collegiate English vocabulary
-MOST — Etymology: Middle English, alteration of -mest (as in formest foremost) : most inner most : most toward head most
Merriam-Webster's Collegiate English vocabulary
UNIFIER — noun one who, or that which, unifies; as, a natural law is a unifier of phenomena.
Webster English vocab
MOST — adj highest in rank; greatest. 2. most ·adj in the greatest or highest degree. 3. most ·adj greatest in degree; …
Webster English vocab
GENERAL — adj the public; the people; the vulgar. 2. general ·adj as a whole; in gross; for the most part. 3. …
Webster English vocab
MOST — [most] adj [ME, fr. OE maest; akin to OHG meist most, OE mara more--more at more] (bef. 12c) 1: greatest …
Merriam-Webster English vocab
GENERAL — [gen.er.al] adj [ME, fr. MF, fr. L generalis, fr. gener-, genus kind, class--more at kin] (14c) 1: involving, applicable to, …
Merriam-Webster English vocab
GENERAL — title and rank of a senior army officer, usually one who commands units larger than a regiment or its equivalent …
Britannica English vocabulary
GENERAL — general BrE AmE ˈdʒen ə r‿ ə l ▷ general|s z ▶ ˌ general de ˈ livery BrE AmE ▶ …
Longman Pronunciation English Dictionary
MOST — / məʊst; NAmE moʊst/ determiner , pronoun , adverb ■ determiner , pronoun (used as the superlative of 'much', 'a …
Oxford Advanced Learner's English Dictionary
GENERAL — / ˈdʒenrəl; NAmE / adjective , noun ■ adjective AFFECTING ALL 1. affecting all or most people, places or things …
Oxford Advanced Learner's English Dictionary
MOST — I. most 1 S1 W1 /məʊst $ moʊst/ BrE AmE adverb 1 . [used before an adjective or adverb to …
Longman Dictionary of Contemporary English
GENERAL — I. gen ‧ e ‧ ral 1 S1 W1 /ˈdʒen ə rəl/ BrE AmE adjective [usually before noun] [ Word …
Longman Dictionary of Contemporary English
MOST — adj., n., & adv. --adj. 1 existing in the greatest quantity or degree (you have made most mistakes; see who …
Английский основной разговорный словарь
GENERAL — adj. & n. --adj. 1 a completely or almost universal. b including or affecting all or nearly all parts or …
Английский основной разговорный словарь
MOST — adj., n., & adv. adj. 1 existing in the greatest quantity or degree (you have made most mistakes; see who …
Concise Oxford English Dictionary
GENERAL — adj. & n. adj. 1 a completely or almost universal. b including or affecting all or nearly all parts or …
Concise Oxford English Dictionary
MOST — adj., n., & adv. --adj. 1. existing in the greatest quantity or degree (you have made most mistakes; see who …
Oxford English vocab
GENERAL — adj. & n. --adj. 1. a completely or almost universal. b including or affecting all or nearly all parts or …
Oxford English vocab
MOST — Frequency: The word is one of the 700 most common words in English. Note: 'Most' is often considered to be …
Collins COBUILD Advanced Learner's English Dictionary
GENERAL — ( generals) Frequency: The word is one of the 700 most common words in English. 1. A general is a …
Collins COBUILD Advanced Learner's English Dictionary
MOST — Frequency: The word is one of the 700 ~ common words in English. Note: 'Most' is often considered to be …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
MOST
Longman DOCE5 Extras English vocabulary
GENERAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a broad/general category ▪ Our range of programmes come into three broad categories. a …
Longman DOCE5 Extras English vocabulary
MOST — [determiner], [pronoun], [adverb] [not gradable] - the biggest number or amount (of); more than anything or anyone elseWhat's the most …
Cambridge English vocab
GENERAL — n. attorney general Dawes General Allotment Act Estates General States General general practice General Agreement on Tariffs and Trade General …
Britannica Concise Encyclopedia
GENERAL — Synonyms and related words : ADC, Babbittish, CO, OD, Philistine, abstract, accepted, accustomed, across the board, aide, aide-de-camp, aleatoric, aleatory, …
Moby Thesaurus English vocabulary
MOST — INDEX: 1. most of an amount, group, or thing 2. more than anyone or anything else 3. the largest amount …
Longman Activator English vocab
MOST — See ↑ MOST 1,2 ◆◆◆ • ↑ for the most part • ↑ in general/generally/in most cases • ↑ in …
Longman Activator English vocab
UNIFIER — The unifier of a set of expressions is a set of substitutions of terms for variables such that the expressions …
FOLDOC Computer English Dictionary
GENERAL — adj. 1 common, prevailing, accepted, popular, public, communal, community, widespread, shared, extensive, prevalent, universal, worldwide, global; comprehensive, inclusive, all-inclusive, non-exclusive, …
Oxford Thesaurus English vocab
MOST — I pronoun BAD : Where I come from, the most teachers have to teach at two schools in order to …
Longman Common Errors English vocabulary
UNIFIER — Unifier circular ~ вчт. циклический унификатор most general ~ вчт. наиболее общий унификатор unifier вчт. унификатор
Большой Англо-Русский словарь
MOST — I 1. прил. 1) превосх. от much 1. , many 1. 2) максимальный, наибольший, предельный Which of you earns the …
Большой Англо-Русский словарь
GENERAL
Большой Англо-Русский словарь
MOST — most.ogg _I 1. məʋst n наибольшее количество; большая часть most of them us - большинство из них из нас /lang] …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
GENERAL — general.ogg 1. ʹdʒen(ə)rəl n 1. 1> генерал general of the Army - амер. генерал армии 2> амер. сл. начальство, «отец-командир» …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
MOST — 1) больше всего 2) наиболее 3) наибольший • asymptotically most powerful rank test — асимптотически наиболее мощный ранговый критерий at most denumerable family — не …
Англо-Русский научно-технический словарь
UNIFIER — сущ.объединитель (тот, кто или то, что объединяет) the liberator and unifier of Italy — освободитель и объединитель Италии
Англо-Русский словарь Tiger
MOST — most прил.1) превосх. ст. от much 1. , many 1. самый большой, наибольший (по количеству, размеру, степени) We needed much …
Англо-Русский словарь Tiger
GENERAL
Англо-Русский словарь Tiger
MOST — _I 1. məʋst n наибольшее количество; большая часть most of them us - большинство из них из нас /lang] most …
Большой новый Англо-Русский словарь
GENERAL — 1. ʹdʒen(ə)rəl n 1. 1> генерал general of the Army - амер. генерал армии 2> амер. сл. начальство, «отец-командир» ( …
Большой новый Англо-Русский словарь
UNIFIER — сущ. объединитель ( тот, кто или то, что объединяет ) the liberator and unifier of Italy — освободитель и объединитель …
Англо-Русский словарь по общей лексике
MOST — 1. прил. 1) превосх. ст. от much 1. , many 1. самый большой, наибольший ( по количеству, размеру, степени ) …
Англо-Русский словарь по общей лексике
GENERAL
Англо-Русский словарь по общей лексике
UNIFIER — сущ. объединитель (тот, кто или то, что объединяет) the liberator and unifier of Italy — освободитель и объединитель Италии
Англо-Русский словарь общей лексики
MOST — 1. прил. 1) превосх. ст. от much 1. , many 1. самый большой, наибольший (по количеству, размеру, степени) We needed much money …
Англо-Русский словарь общей лексики
GENERAL
Англо-Русский словарь общей лексики
MOST — _I 1. _a. 1> _sup. of much 1, many 1 2> наибольший; - most people - for the most part …
Англо-Русский словарь Мюллера - 24 редакция
GENERAL
Англо-Русский словарь Мюллера - 24 редакция

FOLDOC Computer English Dictionary

← MORPHING MOTD→