Выполнимость ярких формул
Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. We investigate one solvable subclass of quantified formulas in pure predicate calculus and obtain a necessary and suffi...
Saved in:
| Published in: | Український математичний журнал |
|---|---|
| Date: | 2007 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут математики НАН України
2007
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/172501 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862536676205658112 |
|---|---|
| author | Денисов, А.С. |
| author_facet | Денисов, А.С. |
| citation_txt | Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Український математичний журнал |
| description | Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього.
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.
|
| first_indexed | 2025-11-24T11:39:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-172501 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1027-3190 |
| language | Russian |
| last_indexed | 2025-11-24T11:39:54Z |
| publishDate | 2007 |
| publisher | Інститут математики НАН України |
| record_format | dspace |
| spelling | Денисов, А.С. 2020-11-02T16:53:29Z 2020-11-02T16:53:29Z 2007 Выполнимость ярких формул / А.С. Денисов // Український математичний журнал. — 2007. — Т. 59, № 10. — С. 1432–1435. — Бібліогр.: 4 назв. — рос. 1027-3190 https://nasplib.isofts.kiev.ua/handle/123456789/172501 510.51 Досліджується один із розв'язних підкласів кванторних формул у чистому численні предикатів. Отримано необхідну та достатню умову здійсненності для формул, що входять до нього. 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. ru Інститут математики НАН України Український математичний журнал Короткі повідомлення Выполнимость ярких формул Satisfiability of bright formulas Article published earlier |
| spellingShingle | Выполнимость ярких формул Денисов, А.С. Короткі повідомлення |
| title | Выполнимость ярких формул |
| title_alt | Satisfiability of bright formulas |
| title_full | Выполнимость ярких формул |
| title_fullStr | Выполнимость ярких формул |
| title_full_unstemmed | Выполнимость ярких формул |
| title_short | Выполнимость ярких формул |
| title_sort | выполнимость ярких формул |
| topic | Короткі повідомлення |
| topic_facet | Короткі повідомлення |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/172501 |
| work_keys_str_mv | AT denisovas vypolnimostʹârkihformul AT denisovas satisfiabilityofbrightformulas |