fusion, merger, unification(noun)
an occurrence that involves the production of a union
the state of being joined or united or linked
"there is strength in union"
union, unification, uniting, conjugation, jointure(noun)
the act of making or becoming a single unit
"the union of opposing factions"; "he looked forward to the unification of his family for the holidays"
The act of unifying.
The state of being unified.
Given two terms, their join with respect to a specialisation order.
Origin: Either from or from unification
the act of unifying, or the state of being unified
Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact either identical or just equal. Unification is widely used in automated reasoning, logic programming and programming language type system implementation. Several kinds of unification are commonly studied: that for theories without any equations is referred to as syntactic unification: one wishes to show that terms are identical. If one has a non-empty equational theory, then one is typically interested in showing the equality of terms; this is referred to as semantic unification. Since substitutions can be ordered into a partial order, unification can be understood as the procedure of finding a meet on a lattice. The first formal investigation of unification can be attributed to John Alan Robinson, who used first-order unification as a basic building block of his resolution procedure for first-order logic, a great step forward in automated reasoning technology, as it eliminated one source of combinatorial explosion: searching for instantiation of terms.
The numerical value of unification in Chaldean Numerology is: 6
The numerical value of unification in Pythagorean Numerology is: 4
Sample Sentences & Example Usage
What the so-called 'progressive democratic movement' is pursuing is the establishment of a pro-communist government and unification to realize North Korean-style socialism.
The main gain of this agreement is that it makes unification easier, if we're talking about the type of threat, we say naturally it is the regime, with Daesh as the second target.
We see no reason ... Normally, the president should explain why he wants to chair the meeting, his hunger for power is unlimited. We see a unification of powers not in the hands of an institution, but in the hands of one person.
Almost all the students in my year came to universities in Russia, but I have to say that it wasn't all about Crimea becoming part of Russia, it was their decision before then ... And it's interesting, several even stayed in Crimea after unification.
Reopening embassies lays the foundation for a new, more productive relationship with Cuba that can support and advance key American priorities – including human rights, counter-narcotics cooperation, business opportunities for American companies, migration, family unification, and cultural and faith-based exchanges.
Images & Illustrations of unification
Translations for unification
From our Multilingual Translation Dictionary
- yhdistäminen, yhdistyminenFinnish
- co-aonachadhScottish Gaelic
- unigo, unigadoIdo
- یهکگرتن, یهکگرتوKurdish
- unificação, uniãoPortuguese
- thống nhấtVietnamese
Get even more translations for unification »
Find a translation for the unification definition in other languages:
Select another language: