Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:unification [2008/04/02 20:30] vkuncak |
sav08:unification [2008/04/02 20:31] vkuncak |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| * equation $x \doteq t(x)$ where $t$ is a term containing $x$ but not identical to $x$ ++| is contradictory++ | * equation $x \doteq t(x)$ where $t$ is a term containing $x$ but not identical to $x$ ++| is contradictory++ | ||
| - | ===== Unification Examples ===== | + | ===== Examples ===== |
| First-order language: | First-order language: | ||