Выполнимость ярких формул

Автор(и)

  • А. С. Денисов

Анотація

Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.

Завантаження

Опубліковано

25.10.2007

Номер

Том 59 № 10 (2007)

Розділ

Короткі повідомлення

Як цитувати

Денисов, А. С. “Выполнимость ярких формул”. Український математичний журнал, vol. 59, no. 10, Oct. 2007, pp. 1432–1435, https://umj.imath.kiev.ua/index.php/umj/article/view/3401.