unification
(Q609057)
algorithmic process of solving equations between symbolic expressions
algorithmic process of solving equations between symbolic expressions
Language:
Current Data About
unification
| (P279) |
(Q8366)
|
||||
| (P373) |
Unification (computer science)
|
||||
| (P443) |
LL-Q150 (fra)-0x010C-Unification.wav
|
||||
| (P910) |
(Q13299555)
|
||||
| (P6104) |
(Q8487137)
|