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