Зображення обкладинки

Satisfiability of bright formulas

We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and sufficient condition for the satisfiability of formulas from this subclass.

Збережено в:

Бібліографічні деталі
Дата:	2007
Автори:	Denisov, A. S., Денисов, А. С.
Формат:	Стаття
Мова:	Російська Англійська
Опубліковано:	Institute of Mathematics, NAS of Ukraine 2007
Онлайн доступ:	https://umj.imath.kiev.ua/index.php/umj/article/view/3401
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Репозитарії

Ukrains’kyi Matematychnyi Zhurnal

Схожі ресурси

On harmonic functions satisfying nonlocal boundary conditions
за авторством: Eydelman, S. D., та інші
Опубліковано: (1994)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

On Artinian rings satisfying the Engel condition
за авторством: Evstaf’ev, R. Yu., та інші
Опубліковано: (2006)

Groups satisfying certain rank conditions
за авторством: M. R. Dixon, та інші
Опубліковано: (2016)

Groups satisfying certain rank conditions
за авторством: Dixon, M.R., та інші
Опубліковано: (2016)

Groups satisfying certain rank conditions
за авторством: Dixon, Martyn R., та інші
Опубліковано: (2016)

Reoptimization of 2-criteria satisfiability problem
за авторством: V. O. Mykhailiuk, та інші
Опубліковано: (2018)

Bright features in the solar photosphere
за авторством: Kostik, R.I., та інші
Опубліковано: (2005)

The bright memory of Polina Kuprienko
за авторством: Makarenko, I.B.
Опубліковано: (2020)

Метаногидраты морских акваторий
за авторством: Денисов, А.А., та інші
Опубліковано: (2014)

On generalized derivations satisfying certain identities
за авторством: Albaş, E., та інші
Опубліковано: (2011)

On pairs of unbounded self-adjoint operators satisfying an algebraic relation
за авторством: Ostrovskii, V. L., та інші
Опубліковано: (1993)

A bright star of Ukrainian poetry
за авторством: M. Nevrlyi
Опубліковано: (2014)

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
за авторством: Korenovskii, A. A., та інші
Опубліковано: (2005)

Bright memory to German Ivanovich Karatayev
Опубліковано: (2021)

Выполнимость ярких формул
за авторством: Денисов, А.С.
Опубліковано: (2007)

On associative algebras satisfying the identity x⁵=0
за авторством: Shestakov, I., та інші
Опубліковано: (2004)

On the massive disks in low surface brightness galaxies
за авторством: Saburova, A.S.
Опубліковано: (2011)

Bright X-ray galaxies in SDSS filaments
за авторством: Tugay, A.V.
Опубліковано: (2013)

Bright X-ray galaxies in SDSS filaments
за авторством: A. V. Tugay
Опубліковано: (2013)

Heuristic criterion for class recognition by spectral brightness
за авторством: A. I. Arkhipov, та інші
Опубліковано: (2018)

On the convergence of functions from a Sobolev space satisfying special integral estimates
за авторством: Kovalevskii, A. A., та інші
Опубліковано: (2006)

On associative algebras satisfying the identity \(x^5 = 0\)
за авторством: Shestakov, Ivan, та інші
Опубліковано: (2018)

Сім'я як визначальний фактор у профілактиці молодіжної злочинності в Україні
за авторством: Денисов, С.Ф.
Опубліковано: (2010)

Совместное применение нейронных сетей и метода последовательного прогнозирования вероятностей для идентификации модели пласта
за авторством: Денисов, С.В.
Опубліковано: (2008)

Мои бельгийские литературные встречи
за авторством: Денисов, Ю.С.
Опубліковано: (2014)

Mои бельгийские литературные встречи
за авторством: Денисов, Ю.С.
Опубліковано: (2013)

Изображение Козачества в раннем творчестве Н.В. Гоголя (идея "исторического романа")
за авторством: Денисов, В.
Опубліковано: (2001)

Groups satisfying the condition of weak minimality for subgroups of derived length two
за авторством: Onishchuk, V. A., та інші
Опубліковано: (1994)

Каталитические композиции пространственной конфигурации на металлических носителях в реакции окисления СО кислородом воздуха (Обзор)
за авторством: Денисов, А.А.
Опубліковано: (2011)

Каталитическая конверсия диоксида серы монооксидом углерода
за авторством: Денисов, А.А.
Опубліковано: (2010)

Random Error of Surface Relief Reconstruction by Radio Brightness
за авторством: Dulova, I. A., та інші
Опубліковано: (2013)

Objects Detections Using the Relative Brightness of Individual Areas
за авторством: A. V. Agarkov, та інші
Опубліковано: (2014)

ВЛИЯНИЕ АВТОНОМНОГО ИНВЕРТОРА НАПРЯЖЕНИЯ С СИНУСОИДАЛЬНОЙ ШИРОТНО-ИМПУЛЬСНОЙ МОДУЛЯЦИЕЙ НА УСТОЙЧИВОСТЬ СИСТЕМЫ ЭЛЕКТРОПРИВОДА
за авторством: Денисов, Ю.А.
Опубліковано: (2012)

Новые волоконно-оптические зонды для абсорбционного анализа
за авторством: Денисов, Н.А.
Опубліковано: (2006)

Влияние автономного инвертора напряжения с синусоидальной широтно-импульсной модуляцией на устойчивость системы электропривода
за авторством: Денисов, Ю.А.
Опубліковано: (2012)

Self-improvement of summability factors of functions satisfying the reverse Hölder inequality in limit cases
за авторством: Korenovskii, A. A., та інші
Опубліковано: (2010)

Possibilities of improving paraxial brightness in rf ion sources
за авторством: Mordyk, S.M., та інші
Опубліковано: (2005)

Determination of the electronic concentration in a bright solar prominence
за авторством: Venglinsky, E.R., та інші
Опубліковано: (2005)