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