KEV
нет описания правки
13:24
+244
Glk
Новая страница: «'''Coverability tree''' --- покрывающее дерево (сети Петри).»
15:26
+86
