Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Dis-unification
open-in-new
<p>Dis-unification, in <a href="/facts/Computer_science/lN3pEyPz">computer science</a> and <a href="/facts/Logic/8JnpJLtt">logic</a>, is an algorithmic process of solving <a href="/facts/Inequation/BuBq2Bwb">inequations</a> between symbolic <a href="/facts/Expression_(mathematics)/MPrMlYbE">expressions</a>. </p>