| Digital identifier | |
|---|---|
| Taxonomical code | [29007, 29008, 21588, 5758, 5759, 5760, 4204, 3, 1] |
| Name (Russian) | формализация (акт формализации (например, путем установления формальных правил, регулирующих классы выражений)) |
| Name (English) | formalization (the act of making formal (as by stating formal rules governing classes of expressions)) |
| Hypernym | systematization (systematic organization; the act of organizing something according to a system or a rationale) : систематизация (систематическая организация; акт организации чего-либо в соответствии с системой или обоснованием) |
| Hyponyms | |
| mathematization : математизация (Внедрение математических методов и достижений математики в другие науки) |
