{"entities":{"Q2404071":{"pageid":2414814,"ns":120,"title":"Item:Q2404071","lastrevid":57894321,"modified":"2026-04-02T23:55:34Z","type":"item","id":"Q2404071","labels":{"en":{"language":"en","value":"The undecidability of arbitrary arrow update logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774149"}},"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":"Q2404071$8FAAAB56-BCA2-4A5B-9E15-0E7E1E2D34C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff4a8cbf06f49629faa19b27e69c0d6ab713e02c","datavalue":{"value":{"text":"The undecidability of arbitrary arrow update logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2404071$50B73600-C31A-4F09-962E-7BF22CA3C122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425c4923e9b9c71b0edce6c829f6606641a2fb94","datavalue":{"value":"1385.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$897E150B-D317-40B0-9E2E-CC60210639E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$0E5C69D6-2F55-4AFA-A74B-5E9260009C23","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":"Q2404071$A1812D2E-41DA-4A4C-937E-087F96CF0C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$50EED9FF-9320-43F9-9155-442EF4AF3547","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$4FEFFC17-AE64-4A82-84E1-2C62FEEC11B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2404071$D7B82C9C-1DFA-4F37-8D30-2C4FD85566F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ded436b94c6663c977778061d23e65efeb76b3a","datavalue":{"value":"https://arxiv.org/abs/1609.05686","type":"string"},"datatype":"url"},"type":"statement","id":"Q2404071$A146269F-6709-461C-A2F3-5B8FC7BA9D9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ee1e38e8c7727317968f9638ca64e718fba294d","datavalue":{"value":"Arbitrary arrow update logic (AAUL) [\\textit{H. van Ditmarsch} et al., Artif. Intell. 242, 80--106 (2017; Zbl 1392.68396)] can be considered a dynamic modal logic with a modality to quantify over arrow updates. The authors introduce and develop the syntax and semantics of AAUL, provide a brief definition of the tiling problem and show that it can be encoded in the corresponding satisfiability problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404071$CFB4DD93-B051-4688-A07B-346CC8DBE177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$60D35262-D0C4-4AFA-9152-C6A19EF6C0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$45A96E97-E260-4C98-B427-3ED3EB5FCC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$19A1B589-45C1-47E6-97DC-44436DF22063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9f09192523eb564d4b5f3b082e1c5b730194659","datavalue":{"value":"6774149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$DCEC9464-2DB2-49D9-B593-025D955020F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404071$477F8F1A-6006-4872-86FB-B5438374F29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2b95044c9909fe2b0e2d9e934997c6d4b5fe23","datavalue":{"value":"update logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404071$548DE179-1762-48AB-87AC-76943F82343D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404071$894680EF-15D0-4496-9369-741DB544214A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2404071$E213B6DD-D987-4D78-9C6B-7BAD44AF2897","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$C9264B9F-31AA-48BA-9CB2-5FCE548672E8","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":"Q2404071$BB23FFBC-EA58-4C98-8C56-CC6FC36370A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f3a4aa294b9f1af5a1e3cb7aec3b2ed88a4860f","datavalue":{"value":"W2521480233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$445999BC-A20C-4E9B-BED1-596D6CA6466E","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":"Q2404071$73BDA1E0-9409-4E79-B2DC-B2005608D457","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":"Q2404071$E3372FA7-6478-4DA6-9BB2-D4CA97927B01","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":"Q2404071$AF8C9456-8ED9-48D9-8AB2-BE698D790020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b6a9ea45ca3a49789d1a37c0a2631d2309a08d","datavalue":{"value":{"entity-type":"item","numeric-id":2971701,"id":"Q2971701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$96CF53F0-4D2C-476A-B1A7-D08A0DA02F0E","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":"Q2404071$2ECCB5C0-4A69-4F3A-A4C7-A63067F20646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280c8dab9cc56e75b8f40b5263dcef088143453","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$1BF36424-6ED4-4A27-9BF3-2658C0578FA8","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":"Q2404071$3B1E329C-F2C6-4A26-8C6C-BCFA46E9FA19","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":"Q2404071$1822DAD5-C37A-4164-BEC6-003F0D33845C","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":"Q2404071$F668FE8B-1875-459B-99CE-6B00E3DCC9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4abbb93c0b36e9a75c9d09b86b1b62e3efa724","datavalue":{"value":{"entity-type":"item","numeric-id":5271062,"id":"Q5271062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$218AAFD0-0865-4FCB-B158-27B437918645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34689292e5bd7eb31eccafd276a7cc2b9d5e8161","datavalue":{"value":{"entity-type":"item","numeric-id":3224046,"id":"Q3224046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$B0885D25-849E-4C77-BEA9-B82950D0863D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a049e6f6cf9937dccfc8ceb8b98d752887d25db","datavalue":{"value":{"entity-type":"item","numeric-id":2460188,"id":"Q2460188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2404071$262307D2-1816-4EBD-A03E-4858080E3FE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1883b07493cd772315512223eb845a749c217bcb","datavalue":{"value":"10.1016/J.TCS.2017.07.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2404071$47DBB937-BE43-43BD-948F-EDF0E3223855","rank":"normal"}],"P1643":[{"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":"0080d612d713e85216bdf3e85c06d7c22f49bb1d","datavalue":{"value":{"amount":"+0.8012999296188354","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":"Q2404071$145FF0C7-A197-4937-967D-10465DAC5EA8","rank":"normal"},{"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":"708255cb1f0b460d74b9dc99807966a95a6ea319","datavalue":{"value":{"amount":"+0.7763573527336121","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":"Q2404071$A5DF3947-FD06-4072-AE2B-E945670371C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb80541f219e97183765904fe2539509866c4de","datavalue":{"value":{"amount":"+0.7752838134765625","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":"Q2404071$7CE9948F-9925-47F5-A5BC-FF425F25F801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0dbf8f671ec88b1225f862d24710e0060aac5d","datavalue":{"value":{"entity-type":"item","numeric-id":343913,"id":"Q343913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d046f9c64c3a212026cdc00b08f4d51b024f2f","datavalue":{"value":{"amount":"+0.7641486525535583","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":"Q2404071$6BCAFDA4-BF75-412A-97EB-BC8C6D2068BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47f04b5f777b57b38b77e17b3476ab90f4dec21a","datavalue":{"value":{"entity-type":"item","numeric-id":4349281,"id":"Q4349281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f71165a37ac5fa6366fdbbd12161734aa7d35b7","datavalue":{"value":{"amount":"+0.7606886029243469","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":"Q2404071$B5609122-4D53-4338-B665-3820D2C6BD65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2404071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2404071"}}}}}