{"entities":{"Q630293":{"pageid":632141,"ns":120,"title":"Item:Q630293","lastrevid":51209834,"modified":"2026-01-17T06:23:14Z","type":"item","id":"Q630293","labels":{"en":{"language":"en","value":"On decidability of the decomposability problem for finite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5867023"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$A4E405AF-08E2-4A33-B76D-8C591F6AB6A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b7192077be1d11d97ab400347b9baf0110bbcf5","datavalue":{"value":{"text":"On decidability of the decomposability problem for finite theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q630293$45B76C29-AD56-4B13-947D-10B346C4AC8B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd2650f55857ff9ef8ac50d1a941768106852964","datavalue":{"value":"1226.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$0AFCEBC5-C22A-42D3-9F92-23E537B228AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$AB9522A1-5CF8-431E-8E66-957D09A9B61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48b4a52e97af4c5ecdc2ea929eb2720c6bbbe37","datavalue":{"value":{"entity-type":"item","numeric-id":630292,"id":"Q630292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$30936445-079C-417C-86FE-745FF0EC1D11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$A91B247A-7641-4DB9-9694-025F1D9F6409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc96d464fd3b653ae2fb3441d275d73ee34e6f6","datavalue":{"value":{"time":"+2011-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q630293$002C5530-DFD2-4E02-B246-61557411ABC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b1ae31012d1bf2649f4c0b1d67275d4e340fb8e","datavalue":{"value":"The authors consider the problem of nontrivial representation of a theory as a union of two (or several) theories in disjoint signatures. They prove that for a number of finite signatures this problem is \\(\\Sigma_1^0\\)-complete and, thus, undecidable. This is true already for finite universal Horn theories (theories axiomatized by a finite set of quasi-identities). These theories correspond to the class of logic programs. But if the signature consists only of monadic predicates and constants, the decomposability problem is decidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$9E70887C-9FA1-4637-A6AA-D7BDE0C08D82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$672DB382-7EBD-4129-844C-9996AAE7BF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$8CFF574D-6011-433D-B555-4D947BC3CA06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29c2e6ce25938fba21fa8beaa2bff0a5ff29f3ea","datavalue":{"value":"5867023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$4C474E8B-CBF8-4A1B-8B73-CB84518DA432","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdaf43d82c60cba677e8d516fc9e2934d41a6a67","datavalue":{"value":"decomposition of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$EC55525F-1C8E-4A2E-9D42-94F576C7ADF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb131991ac61df937a24e35f9a843efb72ca0ee2","datavalue":{"value":"Horn theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$0CE2B573-3DDC-4693-8308-04E0BA4A28E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$DAA744AD-2EA8-443C-8B4D-5C729621C455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f591e7901d71d63554e1c7a51f0fc132693e5a","datavalue":{"value":"decomposable theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$BDB9725C-B288-4882-A704-AE03BBF7AD7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ef580dc6ba1451aeadb852ac0dd131e497dec33","datavalue":{"value":"monadic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q630293$BE3082E1-D2F4-4B4A-8600-DEDD7F861B64","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"05f3dff3edc7d97b14af7ecb326f488fb3fee31b","datavalue":{"value":{"entity-type":"item","numeric-id":583186,"id":"Q583186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$AFA848E6-78E9-45AE-9EDA-BC109C79D891","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$034AA612-86BF-4805-8BD1-4F2BC4459B23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f82f87c00989e034385c672556e527cb8133ca9","datavalue":{"value":"https://doi.org/10.1007/s11202-010-0068-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q630293$79C7B0EB-FD27-4B7D-9DF8-1285F573AEE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2af1054f1cfb5aa3f8964ee642a4930df81d7f1c","datavalue":{"value":"W2011298343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$872EE36D-1C64-4E81-8006-7FE4414A8F0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbf2356c33da6949992e76652d09afb44a132cf","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$E0AF0E55-D94E-4624-BC2F-CB4784D24DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99fba922f972d1970b2e4a607a79249d36e52342","datavalue":{"value":{"entity-type":"item","numeric-id":3624118,"id":"Q3624118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$1BA0FFDA-931A-40A7-AF59-065FA28036A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15172b29db6f9f200669445c315a1272ffc02aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3631357,"id":"Q3631357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$0FB5C6E6-D32A-4619-B5A2-EBE6FD012BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e78e3b0857010b3e20f322cd0283d40699cf3f6","datavalue":{"value":{"entity-type":"item","numeric-id":3631354,"id":"Q3631354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$89483033-DBCC-4934-928E-2B7A91B8BF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f6dc7f89de51d04cc15a3fd03a09e96e064c87","datavalue":{"value":{"entity-type":"item","numeric-id":2882946,"id":"Q2882946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$BBD15B5D-88A0-48BD-BA84-AAAC43E8B4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd71914207d86d4b9bf7859a56f44e018943c2e6","datavalue":{"value":{"entity-type":"item","numeric-id":5670613,"id":"Q5670613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$A1F11979-EA92-4ACE-8125-0135A8DD6464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$C56C6A8C-E4D4-4AF5-A040-2C628457ED36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ced1b983c15f01d433ee2a3871319cecda4b56","datavalue":{"value":{"entity-type":"item","numeric-id":3767319,"id":"Q3767319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q630293$50FC2CA7-EE10-4A9C-91C4-322700E6CD2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"260761d87d6bb3b4b9b1cbd6fccdf7296881ff9b","datavalue":{"value":"10.1007/S11202-010-0068-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q630293$42C46077-7A01-4845-9E7C-48704DD96552","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeae03ff32cacaac33051eac6c980f92c1718397","datavalue":{"value":{"entity-type":"item","numeric-id":5393783,"id":"Q5393783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9d0d5ff36be6086e09181b4105fce9a19715c4","datavalue":{"value":{"amount":"+0.8295143842697144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q630293$2AE1EBA9-8FF7-46D6-B2E3-E4DB620D6949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9360ba89d17bc5f79bbc6f6b1e1f0c1b8bde","datavalue":{"value":{"entity-type":"item","numeric-id":2882989,"id":"Q2882989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f590a3e9bd286ddd4e51f71dbb64312486cd0512","datavalue":{"value":{"amount":"+0.768463134765625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q630293$BC0E8348-22C4-4216-8A6A-239BFC7E8F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83190da104e96735729f232d778a32039b51962f","datavalue":{"value":{"entity-type":"item","numeric-id":5309080,"id":"Q5309080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3383462a6988236678f798e5fd761e4053718b3d","datavalue":{"value":{"amount":"+0.7537375092506409","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q630293$F8338731-A1AE-4D20-99CC-6148C8E64156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850bd61f63e036f647d8a7802d5b200422c24688","datavalue":{"value":{"entity-type":"item","numeric-id":4262575,"id":"Q4262575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77cd07a2b1415355098fb79d1fe9266e6fdaa891","datavalue":{"value":{"amount":"+0.7469699382781982","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q630293$918A411B-B5BB-4DE4-91FB-767736BE9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"823f1c4c692ecb3a76a9c39db3da87f41947e231","datavalue":{"value":{"entity-type":"item","numeric-id":1906521,"id":"Q1906521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968b41cefa9f6f37b02dd6e6536d8538894058af","datavalue":{"value":{"amount":"+0.7316527962684631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q630293$30843B30-E995-46E4-A1D3-5C120844B838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:630293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:630293"}}}}}