{"entities":{"Q6199614":{"pageid":13334502,"ns":120,"title":"Item:Q6199614","lastrevid":58762140,"modified":"2026-04-06T15:22:41Z","type":"item","id":"Q6199614","labels":{"en":{"language":"en","value":"Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is \u03a3^1_1-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810619"}},"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":"Q6199614$F16AB33D-D473-47D2-91D3-C53E8940B7B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88334e6260e4d12e541f298262eedb358fff7895","datavalue":{"value":{"text":"Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is \u03a3^1_1-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6199614$34256FEA-AB09-4A99-B506-B940FC226260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3af07371757491400fc454564bcd894e5a9d839","datavalue":{"value":{"entity-type":"item","numeric-id":2148818,"id":"Q2148818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$E177F23D-383F-401D-949A-44AD983513F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"acbb5d074cc37bc4dd852800ec4ca1c72f5d2102","datavalue":{"value":{"entity-type":"item","numeric-id":343912,"id":"Q343912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$88EE65D0-A79B-4CAA-BA29-F8B4805EC132","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$7650BA03-CEAE-4F34-BBD5-4ACB8A6C56B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6199614$BABFCCC0-52C3-409B-971E-2A86AE854648","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3278a9c8ac9fb87f3e39b81b5679f8f0e26781fd","datavalue":{"value":"https://arxiv.org/abs/2307.05060","type":"string"},"datatype":"url"},"type":"statement","id":"Q6199614$4A98C13B-ED20-473B-806D-C3CD36CF8411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199614$B5BF7A31-A8C1-433E-9D3B-AC441F6A41F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10d9ecc3100be98022e308ad38a8555faf320a9b","datavalue":{"value":"7810619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199614$906BE16D-E6F9-4930-BD05-A8F90DF30FF0","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":"Q6199614$6F8247C5-6B07-437F-8370-277EF5F575CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1b071c4f520d054adf9e41b8d0810c9e79bf283","datavalue":{"value":"W4383645785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199614$35EF35D7-3347-4073-AED4-F9B5A183C9A2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ce7fc6fd0d266ea8bb5a566a7fafa2325cc166","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$3E219208-8345-49C5-9A8F-AFB1AF405EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3734f44a2d2ddbe0a3440b21108a8966dc40772","datavalue":{"value":{"entity-type":"item","numeric-id":310079,"id":"Q310079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$F3A05F6D-FF61-4B73-A506-F0F0EE61D8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4c8a0892fcda7ce25db0805019e4221863c6db","datavalue":{"value":{"entity-type":"item","numeric-id":3280567,"id":"Q3280567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$43D89308-1CF7-42E7-AC35-CDE7B87872BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$49A553D8-D0D0-4D73-88B5-DD9D27895D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3e0bf6d66ae7c4b6b46e88d6d5b96072d8e8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5597521,"id":"Q5597521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$2623F2DA-0E28-4D29-B94C-F99F79ECE91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c582c8028ab33047693fc7c8f8ad3202f365bc85","datavalue":{"value":{"entity-type":"item","numeric-id":6040661,"id":"Q6040661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$696DF511-7ADC-4577-AA1E-A3F8B36570A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff414244bf758d79edc5524153ce36d943ea298","datavalue":{"value":{"entity-type":"item","numeric-id":953926,"id":"Q953926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$2A92EB77-74F1-4284-A9F8-C42037CBD078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b720e9eca27463dedd6e8df3fe29ac7bc976eb","datavalue":{"value":{"entity-type":"item","numeric-id":343913,"id":"Q343913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$DEF82423-AB2C-4CA0-A5BA-BC49B59C817E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$22BFF150-C2F6-4DD9-A837-57723653789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4cb03cdd580b04360180c3b995b714114438e","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$1BA250D5-5D22-4994-B4ED-D4CA4B269084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8946e9bb9fb82de8cc8d3efd27b64fd7b2fa9b","datavalue":{"value":{"entity-type":"item","numeric-id":2236503,"id":"Q2236503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$27F7B46C-3C60-45BF-AF4B-975AA8444562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8348c96e4d335402fbd550ffe9a5e2388b698e2","datavalue":{"value":{"entity-type":"item","numeric-id":3313255,"id":"Q3313255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$CF95CA84-BF87-477B-A71D-D79097C69D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0b66638542857cd68e16dc4c1571be6b3a05d4","datavalue":{"value":{"entity-type":"item","numeric-id":3384080,"id":"Q3384080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$79188DDA-CD99-4A75-8ACF-709EF0497520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$8824363E-9E1F-4E05-A316-A3489E5285C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f695eea8fe808f6184de18b043277613aef09c07","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$D8C4FB6A-F586-479F-B9EA-DC7F32E15FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$CF31BF48-1D01-43D6-BBD5-E0DE14424B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6199614$3D2ECC90-5753-4791-A613-F226A20C01D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c8f057c5f69460f8ab63f376bdf2a1e053554a","datavalue":{"value":"10.4204/EPTCS.379.21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6199614$9E1572C3-0590-4896-8D15-03F4656C2338","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a491f9753887083d8ca5062b61b688dcb35f785","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2aa69cad19e99de2b9f459137cd2db7ccfafba8","datavalue":{"value":{"amount":"+0.864987313747406","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":"Q6199614$ABC311F4-D016-4AE6-BF54-6755C7B5E282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1498380d91665abc8074bcecbee6338cdf9c13c","datavalue":{"value":{"entity-type":"item","numeric-id":310079,"id":"Q310079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12805659bbb83686fed09095b77b2280e87fea98","datavalue":{"value":{"amount":"+0.8077133297920227","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":"Q6199614$7484743B-DC31-4503-8A1E-C535E7AB2097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35d7a1b7c6927930ad6a7d745a48751af724759","datavalue":{"value":{"entity-type":"item","numeric-id":3384080,"id":"Q3384080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03728f44d99c6a8f6dc28da5e5a11ccf4323abc4","datavalue":{"value":{"amount":"+0.798272430896759","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":"Q6199614$F9BBD5FC-621D-4733-BDE1-2C2D1F24C965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488b2402f40791c15f0218098328eb32bfee0042","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23091cfac7dfc167db2e64bafa9d554fd5ead8a3","datavalue":{"value":{"amount":"+0.7842200994491577","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":"Q6199614$AAF2C79F-5AFE-48DE-8B11-BB7E32BF70FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d5192a0fba8e7afccdf0da4e0a6b91d112c383","datavalue":{"value":{"entity-type":"item","numeric-id":5224562,"id":"Q5224562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2070b07e25366abd679cb11c6199ccdd4a678a6","datavalue":{"value":{"amount":"+0.7799665927886963","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":"Q6199614$309CC713-CE81-4D3E-9B00-D6C57E41834A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6199614","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6199614"}}}}}