{"entities":{"Q6174530":{"pageid":13309418,"ns":120,"title":"Item:Q6174530","lastrevid":55476142,"modified":"2026-02-17T17:17:07Z","type":"item","id":"Q6174530","labels":{"en":{"language":"en","value":"Can we communicate? Using dynamic logic to verify team automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7728840"}},"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":"Q6174530$7344BD1D-FD02-4380-826B-2A01253FDBD2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e426a34700282034512547c3e545bbcf154bb136","datavalue":{"value":{"text":"Can we communicate? Using dynamic logic to verify team automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174530$A2468022-1172-42C8-9004-48BFF30D8E37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79818a33c743d9acc0c4f0d8b61524be669cfa1f","datavalue":{"value":"1529.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$D932B1CC-E680-4DA3-973F-6E6BE4E478D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7d410c7c50dc115ca5139d023ce209c91d0ea4e","datavalue":{"value":"10.1007/978-3-031-27481-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$13CFC523-EE8C-46AF-82FE-50CB442835AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$CDE40610-F46A-4409-827D-AC4F9018558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df5ce7a3961bb0aa365ff6146f2971c49ee43773","datavalue":{"value":{"entity-type":"item","numeric-id":5045464,"id":"Q5045464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$664A5D8F-C17C-4B81-8ED5-B101FA3674D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82d7e2ad3382677d83b89ec58edf18af8299f3c0","datavalue":{"value":{"entity-type":"item","numeric-id":549176,"id":"Q549176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$613FB75A-3E31-4945-AA44-2109795E2C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00313bf97ce0b9a8b79c4aaf9f707f8c4beb97b5","datavalue":{"value":{"entity-type":"item","numeric-id":541680,"id":"Q541680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$B5617628-8F1E-404A-B7A2-7435341C76E8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e94b967ae8cf6f3b704a08992f5caf4130874d09","datavalue":{"value":{"entity-type":"item","numeric-id":5918261,"id":"Q5918261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$E5FB16E6-F206-4A80-92DE-1C5FAD72ED70","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-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":"Q6174530$3B69DF3F-2653-44E3-B553-D1FF6606AD79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$A87C8431-CF03-4406-9E34-FF9DB49117D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$E1CA68AE-189B-4F31-B168-18A0386C63A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$E1BD1EDB-BF5F-48DF-98FB-3DA32F5AF640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$F2F6AE3B-1C5C-4CA6-B463-438E0E075A8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88004440bae74ecec903268bb1fd1a751ce52818","datavalue":{"value":"7728840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174530$A650F96F-78A8-4252-B799-E053FBEABAA3","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":"Q6174530$64D1A347-BAEA-417D-BA28-63408018C118","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16aff4400f66302674f2294e5e08559f4a70d0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3460865,"id":"Q3460865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$328E8D5E-1FB8-4547-8200-53AC62129E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8e15519770ac8b42352df5e6bb9a5bf36a8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2974790,"id":"Q2974790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$DC3E9BB4-92C4-446A-BFA3-8A8219D262DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9025c5e5cd65e45de7ef9a05b354bfa439bf450e","datavalue":{"value":{"entity-type":"item","numeric-id":3557076,"id":"Q3557076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$F23FA4E0-61B8-4CA3-8359-D1E31466477E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710c60341a6675ebbd7e389ed377a89ee8822fe5","datavalue":{"value":{"entity-type":"item","numeric-id":2037944,"id":"Q2037944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$62DE08A1-5E77-469E-AEE3-30F0B05981B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045fe99d89bd18309bad943acf4b713c19d9f9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1041819,"id":"Q1041819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$E65E3A48-1AA3-48C2-B1C8-8A38C2BC9EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469f051ad4fb88c122bccc3d53a42f0eda8ccb","datavalue":{"value":{"entity-type":"item","numeric-id":418753,"id":"Q418753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$6F10E333-F663-42F6-9682-E9DD79819256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$27881387-0C36-48FB-937C-2D6C28FFC8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7a9a4256e60908b98a42ed4139375aa846a1eb","datavalue":{"value":{"entity-type":"item","numeric-id":4427917,"id":"Q4427917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$F7FDC1F7-ED0F-4E40-8813-5A9D63D053E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b6ac7c30b39dc12463a07347bb3c5ee6e2c30e","datavalue":{"value":{"entity-type":"item","numeric-id":383353,"id":"Q383353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$E3FB9E7B-19BA-47DC-9BE9-B021D208C1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e9e96bd4036cb42e3042565477b0ca05e34208","datavalue":{"value":{"entity-type":"item","numeric-id":5900951,"id":"Q5900951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$605979BD-6BEA-4CAB-8EF5-89C8539FA5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b7c6ac7da5de5a5880cecadd1be1f983b7b9a5","datavalue":{"value":{"entity-type":"item","numeric-id":3189845,"id":"Q3189845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$CD86DE43-0BEF-4F07-BC69-162154DB6648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9326764ea01b9424fdd6e3bd21dab0e12eef24","datavalue":{"value":{"entity-type":"item","numeric-id":4804914,"id":"Q4804914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$4C6C5584-553A-4B43-8E03-BEA62EF91BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aa5e6cbdbb0b3bb7d5311f9f94eeaed92897870","datavalue":{"value":{"entity-type":"item","numeric-id":433347,"id":"Q433347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$AF84198F-3859-486B-99E5-6D9A57933728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a266e0e9078f4d9f3bb78cbcbf63c2d0f70b33","datavalue":{"value":{"entity-type":"item","numeric-id":3191614,"id":"Q3191614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$8E5A9E12-7D6C-42B4-BC49-6C1D9C9FE5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$044D5145-DF88-4321-B5EA-63F87C6605F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$CBBD670E-E5CE-4BFA-BB69-8623304A13C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d10e2a6cdf719ff89bd7283ef4eedc72b448a99","datavalue":{"value":{"entity-type":"item","numeric-id":4600773,"id":"Q4600773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$6757FE86-94A6-47BC-982B-399D633A81BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24329879d47f900072a5a6ccb870f649828a0ebf","datavalue":{"value":{"entity-type":"item","numeric-id":2340257,"id":"Q2340257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$421CE8FE-265D-4116-8BD4-FC6059A3CD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$76C3C4C8-1CA7-4F4D-B549-5C3371691F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e20c7e2689e4f3b63711f4c7e65e528931a1603","datavalue":{"value":{"entity-type":"item","numeric-id":2350491,"id":"Q2350491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$166FC50C-7D45-4528-8EF5-3493430B750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$CF7DB174-325C-498E-B7D3-DB6F01ED9A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6543554c06a58f88c7fc1ba87921d30974bb77d1","datavalue":{"value":{"entity-type":"item","numeric-id":6488470,"id":"Q6488470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174530$8362EC9C-4C5D-40BD-BF3F-E953B28DD51A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94e09650811499acfe79a7f8149fdbd78edb3d5","datavalue":{"value":{"entity-type":"item","numeric-id":3515199,"id":"Q3515199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c07207d0d8744a8b00bb72b91912cfb6fda073","datavalue":{"value":{"amount":"+0.7538023591041565","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":"Q6174530$B04A2DBD-5175-41C7-9FD8-789DC8BAA12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b056cd8820b1104ddc09c25748ca4bc59670fbe","datavalue":{"value":{"entity-type":"item","numeric-id":6488470,"id":"Q6488470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03300d6631845e2872b93699e25fece3037103c","datavalue":{"value":{"amount":"+0.7486845254898071","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":"Q6174530$5AB28AC3-9A0A-476C-A8BE-EA990FC1741B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b43cda0d4b33d44ea24766975d3048fbd4eacdf7","datavalue":{"value":{"entity-type":"item","numeric-id":2873606,"id":"Q2873606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6874dc7a714660e2e7328da833cba20fdda1e637","datavalue":{"value":{"amount":"+0.7373200058937073","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":"Q6174530$AF8B8395-54EE-4B27-99EE-0E1F27D5791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd311c94670e8bde26fe0a090a1e6e35f162961","datavalue":{"value":{"entity-type":"item","numeric-id":2244826,"id":"Q2244826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352ff09d4878c95aedf88083d083ae4073c901d4","datavalue":{"value":{"amount":"+0.725467324256897","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":"Q6174530$946522C9-F342-4F12-B5F8-64951C02A0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ce3375a6b3fe4c97ca76ee42a5d3c2ae923836e","datavalue":{"value":{"entity-type":"item","numeric-id":418753,"id":"Q418753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c993a636715cdd578907637716d3686368d2f3a3","datavalue":{"value":{"amount":"+0.7235229015350342","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":"Q6174530$3A1EF9CC-C8F5-48B5-A8C4-0E5134A4B4B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6174530","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6174530"}}}}}