Matches in SemOpenAlex for { <https://semopenalex.org/work/W4378575317> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4378575317 endingPage "146" @default.
- W4378575317 startingPage "114" @default.
- W4378575317 abstract "Проблемы укладки домино являются удобным инструментом оценки алгоритмической сложности задач, возникающих в различных разделах математики, в том числе в логике. В работе описывается моделирование проблем домино с помощью средств языка логики предикатов, а также с помощью некоторых дополнительных средств, в том числе не выразимых элементарно. Это дает возможность получить как простые доказательства уже известных фактов о неразрешимости проблемы выполнимости формул различных фрагментов логики предикатов, так и некоторые новые результаты. Так, известно, что проблема выполнимости формул логики предикатов, содержащих не более двух предметных переменных, алгоритмически разрешима; известно также, что свойство транзитивности бинарного отношения и операция композиции двух бинарных отношений могут быть выражены в языке первого порядка с использованием трех переменных. В работе показано, что если добавить к языку первого порядка оператор проверки транзитивности бинарного отношения (или более сильное средство – оператор транзитивного замыкания) и оператор композиции, то получим язык с сильно неразрешимой проблемой выполнимости формул от двух переменных, построенных в сигнатуре с одной бинарной предикатной буквой и равенством." @default.
- W4378575317 created "2023-05-28" @default.
- W4378575317 creator A5028473449 @default.
- W4378575317 date "2023-05-27" @default.
- W4378575317 modified "2023-09-25" @default.
- W4378575317 title "Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?" @default.
- W4378575317 cites W1483892218 @default.
- W4378575317 cites W1489060978 @default.
- W4378575317 cites W1489366126 @default.
- W4378575317 cites W1489614395 @default.
- W4378575317 cites W1535630413 @default.
- W4378575317 cites W1549008998 @default.
- W4378575317 cites W1606555018 @default.
- W4378575317 cites W1954631507 @default.
- W4378575317 cites W1974621699 @default.
- W4378575317 cites W1978292968 @default.
- W4378575317 cites W2008892119 @default.
- W4378575317 cites W2009732936 @default.
- W4378575317 cites W2017025480 @default.
- W4378575317 cites W2018944629 @default.
- W4378575317 cites W2040575807 @default.
- W4378575317 cites W2045554431 @default.
- W4378575317 cites W2047674711 @default.
- W4378575317 cites W2053772225 @default.
- W4378575317 cites W2057232741 @default.
- W4378575317 cites W2064811181 @default.
- W4378575317 cites W2074507365 @default.
- W4378575317 cites W2079842345 @default.
- W4378575317 cites W2085533703 @default.
- W4378575317 cites W2086470346 @default.
- W4378575317 cites W2124576280 @default.
- W4378575317 cites W2124580444 @default.
- W4378575317 cites W2126160338 @default.
- W4378575317 cites W2138126349 @default.
- W4378575317 cites W2160811334 @default.
- W4378575317 cites W2163197731 @default.
- W4378575317 cites W2165407280 @default.
- W4378575317 cites W2625204098 @default.
- W4378575317 cites W2950126052 @default.
- W4378575317 cites W2964933744 @default.
- W4378575317 cites W2972235870 @default.
- W4378575317 cites W2979726923 @default.
- W4378575317 cites W3080946754 @default.
- W4378575317 cites W3093927345 @default.
- W4378575317 cites W3121437634 @default.
- W4378575317 cites W3165422239 @default.
- W4378575317 cites W4200099530 @default.
- W4378575317 cites W4200434472 @default.
- W4378575317 cites W4205130267 @default.
- W4378575317 cites W4256034450 @default.
- W4378575317 cites W4322754594 @default.
- W4378575317 cites W4366768257 @default.
- W4378575317 doi "https://doi.org/10.21146/2074-1472-2023-29-1-114-146" @default.
- W4378575317 hasPublicationYear "2023" @default.
- W4378575317 type Work @default.
- W4378575317 citedByCount "0" @default.
- W4378575317 crossrefType "journal-article" @default.
- W4378575317 hasAuthorship W4378575317A5028473449 @default.
- W4378575317 hasBestOaLocation W43785753171 @default.
- W4378575317 hasConcept C41008148 @default.
- W4378575317 hasConceptScore W4378575317C41008148 @default.
- W4378575317 hasFunder F4320324099 @default.
- W4378575317 hasIssue "1" @default.
- W4378575317 hasLocation W43785753171 @default.
- W4378575317 hasOpenAccess W4378575317 @default.
- W4378575317 hasPrimaryLocation W43785753171 @default.
- W4378575317 hasRelatedWork W2096946506 @default.
- W4378575317 hasRelatedWork W2130043461 @default.
- W4378575317 hasRelatedWork W2350741829 @default.
- W4378575317 hasRelatedWork W2358668433 @default.
- W4378575317 hasRelatedWork W2376932109 @default.
- W4378575317 hasRelatedWork W2382290278 @default.
- W4378575317 hasRelatedWork W2390279801 @default.
- W4378575317 hasRelatedWork W2748952813 @default.
- W4378575317 hasRelatedWork W2899084033 @default.
- W4378575317 hasRelatedWork W3004735627 @default.
- W4378575317 hasVolume "29" @default.
- W4378575317 isParatext "false" @default.
- W4378575317 isRetracted "false" @default.
- W4378575317 workType "article" @default.