unification

On November 15 our Ministry of Foreign Affairs informed Soviet ambassador Petrov of this decision. At the same time I sent a message to President Harry S. Truman, pointing out that Soviet Russia's treaty violations and bad faith in Manchuria not only were detrimental to China's territorial integrity and unification, but also constituted a serious threat to peace and order in East Asia, and that the only way to prevent any further deterioration of the situation would be for China and the United States to take positive and coordinated actions.

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}.