LekhoriLekhoriThe act of unifying.
The route between Melbourne and Albury is one of the first scheduled, under the great Australian gauge unification scheme, for conversion to 4 ft. 8½ in., and this will permit through running between Melbourne, Sydney and Brisbane.
The state of being unified.
Chinese domination in Manchuria was revived after the unification of China by the Sui Dynasty in A.D. 590, though this could not be called entirely complete because the Kaokouli kingdom could not be subjugated.
Given two terms, their join with respect to a specialisation order.
5.7.T ( Unification theorem ) For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF₁, applied to X, Y, terminates after a finite number of steps. (ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter- mination. Moreover, the substitution σ then available as out- put is a most general unifier of {X, Y}.
Either from unify + -ification or from French unification
Select a language to see translations