частный случай формулы
Sign in to savealgorithmic process of solving equations between symbolic expressions
Wikidata facts
- Subclass of
- algorithm
Show 3 more facts
- topic's main category
- Category:Unification (computer science)
- Commons category
- Unification (computer science)
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Русский
Если в формулу вместо переменных подставить соответственно формулы то получится формула , которая называется частным случаем формулы : Каждая формула подставляется вместо всех вхождений переменной . Набор подстановок называется унификатором.
Abstract from DBpedia / Wikipedia · CC BY-SA