Buchumschlag

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.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2007
Hauptverfasser:	Denisov, A. S., Денисов, А. С.
Format:	Artikel
Sprache:	Russisch Englisch
Veröffentlicht:	Institute of Mathematics, NAS of Ukraine 2007
Online Zugang:	https://umj.imath.kiev.ua/index.php/umj/article/view/3401
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл:

Institution

Ukrains’kyi Matematychnyi Zhurnal

Ähnliche Einträge

On harmonic functions satisfying nonlocal boundary conditions
von: Eydelman, S. D., et al.
Veröffentlicht: (1994)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

On Artinian rings satisfying the Engel condition
von: Evstaf’ev, R. Yu., et al.
Veröffentlicht: (2006)

Groups satisfying certain rank conditions
von: M. R. Dixon, et al.
Veröffentlicht: (2016)

Groups satisfying certain rank conditions
von: Dixon, M.R., et al.
Veröffentlicht: (2016)

Groups satisfying certain rank conditions
von: Dixon, Martyn R., et al.
Veröffentlicht: (2016)

Reoptimization of 2-criteria satisfiability problem
von: V. O. Mykhailiuk, et al.
Veröffentlicht: (2018)

Bright features in the solar photosphere
von: Kostik, R.I., et al.
Veröffentlicht: (2005)

The bright memory of Polina Kuprienko
von: Makarenko, I.B.
Veröffentlicht: (2020)

On generalized derivations satisfying certain identities
von: Albaş, E., et al.
Veröffentlicht: (2011)

Метаногидраты морских акваторий
von: Денисов, А.А., et al.
Veröffentlicht: (2014)

On pairs of unbounded self-adjoint operators satisfying an algebraic relation
von: Ostrovskii, V. L., et al.
Veröffentlicht: (1993)

A bright star of Ukrainian poetry
von: M. Nevrlyi
Veröffentlicht: (2014)

Bright memory to German Ivanovich Karatayev
Veröffentlicht: (2021)

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
von: Korenovskii, A. A., et al.
Veröffentlicht: (2005)

On associative algebras satisfying the identity x⁵=0
von: Shestakov, I., et al.
Veröffentlicht: (2004)

On the massive disks in low surface brightness galaxies
von: Saburova, A.S.
Veröffentlicht: (2011)

Bright X-ray galaxies in SDSS filaments
von: Tugay, A.V.
Veröffentlicht: (2013)

Bright X-ray galaxies in SDSS filaments
von: A. V. Tugay
Veröffentlicht: (2013)

Heuristic criterion for class recognition by spectral brightness
von: A. I. Arkhipov, et al.
Veröffentlicht: (2018)

On the convergence of functions from a Sobolev space satisfying special integral estimates
von: Kovalevskii, A. A., et al.
Veröffentlicht: (2006)

Выполнимость ярких формул
von: Денисов, А.С.
Veröffentlicht: (2007)

On associative algebras satisfying the identity \(x^5 = 0\)
von: Shestakov, Ivan, et al.
Veröffentlicht: (2018)

Objects Detections Using the Relative Brightness of Individual Areas
von: A. V. Agarkov, et al.
Veröffentlicht: (2014)

Random Error of Surface Relief Reconstruction by Radio Brightness
von: Dulova, I. A., et al.
Veröffentlicht: (2013)

Groups satisfying the condition of weak minimality for subgroups of derived length two
von: Onishchuk, V. A., et al.
Veröffentlicht: (1994)

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

Мои бельгийские литературные встречи
von: Денисов, Ю.С.
Veröffentlicht: (2014)

Mои бельгийские литературные встречи
von: Денисов, Ю.С.
Veröffentlicht: (2013)

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

Self-improvement of summability factors of functions satisfying the reverse Hölder inequality in limit cases
von: Korenovskii, A. A., et al.
Veröffentlicht: (2010)

Possibilities of improving paraxial brightness in rf ion sources
von: Mordyk, S.M., et al.
Veröffentlicht: (2005)

Determination of the electronic concentration in a bright solar prominence
von: Venglinsky, E.R., et al.
Veröffentlicht: (2005)

Bright biographical touch to the history of book collections and libraries
von: N. I. Liubovets
Veröffentlicht: (2019)

Groups satisfying a weak minimum condition for non-Abelian subgroups
von: Zaitsev, D. I., et al.
Veröffentlicht: (1971)

The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
von: V. L. Makarov
Veröffentlicht: (2020)

On linear homogeneous almost periodic systems that satisfy the Favard condition
von: Tkachenko, V. I., et al.
Veröffentlicht: (1998)

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

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