unification (Q609057)
Jump to navigation
Jump to search
algorithmic process of solving equations between symbolic expressions
Language | Label | Description | Also known as |
---|---|---|---|
English | unification |
algorithmic process of solving equations between symbolic expressions |
Statements
Unification (computer science)
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(17 entries)
- bgwiki Унификация (информатика)
- cswiki Unifikace (logika)
- dewiki Unifikation (Logik)
- enwiki Unification (computer science)
- eswiki Unificación (ciencias de la computación)
- fawiki همانسازی (علوم رایانه)
- frwiki Unification
- jawiki ユニフィケーション
- kkwiki Унификация
- kywiki Унификация
- nowiki Unifikasjon
- plwiki Unifikacja (informatyka)
- ptwiki Unificação
- ruwiki Частный случай формулы
- ukwiki Уніфікація (інформатика)
- viwiki Hợp nhất (phép toán)
- zhwiki 合一