KEV
нет описания правки
04:55
+13
Glk
Новая страница: «'''Atomic formula''' --- атомарная формула. ==See== *''Logic for expressing graph properties''.»
06:33
+111
