Unifikation--Definition

Unifikationsproblem

(allgemeinst: infimum bzgl. $ \raisebox{-8pt}[0pt][0pt]{$\stackrel{\displaystyle <}{\sim}$}$)

Satz: jedes Unifikationsproblem ist

lösbar.



Johannes Waldmann 2013-01-31