{"entities":{"Q2071573":{"pageid":2082315,"ns":120,"title":"Item:Q2071573","lastrevid":57552861,"modified":"2026-03-31T09:15:28Z","type":"item","id":"Q2071573","labels":{"en":{"language":"en","value":"Verification and strategy synthesis for coalition announcement logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7465844"}},"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":"Q2071573$1DD3C75D-061C-4C8F-8ABC-19457D07706B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdb3a753d1f33e9081119761d09ef3b81a33d2cb","datavalue":{"value":{"text":"Verification and strategy synthesis for coalition announcement logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2071573$27A236D6-C24B-4939-9418-3291021EC3CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fd936a03aa1d23748e5a08097585b387fa570d7","datavalue":{"value":"1496.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$B66E96F3-60DD-42B3-B8A4-5368F2768040","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$DFF6E721-5DD6-4CB1-AA16-3A54CFA54896","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$E4A1DAC6-A146-4A77-BD46-BA5A49F6FC38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9980fd6e4d478e20494922842349614ee11e04d0","datavalue":{"value":{"time":"+2022-01-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":"Q2071573$E5C2467E-C081-403C-9A75-A3D8A6254067","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$24C5AAA6-079E-4A09-8BA2-A458C1C3C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$E26F98D7-5D88-49BA-A911-ABA2E800148B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93f1826fead8ef72be4a7121591cae039168531f","datavalue":{"value":"7465844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$9D48CC82-C526-4080-A421-FD24D4FEB61D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1be4f93414403af3291293c7853ac8a823634508","datavalue":{"value":"coalition announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2071573$799D3704-CF06-453B-AFAE-B630277123C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c9da0b63821628ed6d8abb67dda7a176b475ff6","datavalue":{"value":"group announcement logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2071573$F4063BD1-372D-4820-8A9C-2072E6F795A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2071573$871D5DF2-7ED2-47FA-BBAB-638FCAA72A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2071573$3BCC9FED-516E-4EA3-9ED5-242586BDC23F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$BFE32A31-41C3-455F-B50F-C7EC3F759FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b792ce763f8f58c8ec463fa21b4c599eb550b3c5","datavalue":{"value":{"entity-type":"item","numeric-id":21448,"id":"Q21448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$B11F6C93-8AD2-440E-B3DD-AE304C90F180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9cc6a2a4f62059bde102fa3ed56dc92edc69a1a2","datavalue":{"value":{"entity-type":"item","numeric-id":40791,"id":"Q40791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$74949FED-093C-494D-84CA-D6D8B360B6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ccc4c5b1aa9c6d0ca9a7cf7a2af616ce1f62be5","datavalue":{"value":{"entity-type":"item","numeric-id":40793,"id":"Q40793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$2C3609B6-6DE9-4D42-95A4-142B84A4DFD3","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":"Q2071573$E3B3292D-4291-484B-99B5-41D56F2008A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4da8ff7aea506e24d9576a84424a892fa375b16a","datavalue":{"value":"https://doi.org/10.1007/s10849-021-09339-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2071573$60D77F0F-6E24-4D40-856C-AE8B3378EC2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5511503c84e989cb6c2713bec03e5eada4bb07fd","datavalue":{"value":"W3182023080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$3B7D9BBD-1E4D-4435-9322-BCCD474334E5","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":"Q2071573$D3194368-4335-4C37-9530-FBD438498944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5dd72bd4992a34b12c2fb5e401580a755422271","datavalue":{"value":{"entity-type":"item","numeric-id":542137,"id":"Q542137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$621AB40F-2B3D-4568-A875-AEFCB1460DF8","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":"Q2071573$E5EBFAFF-09A9-4BD3-908E-70FB71F550DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f530e81e8a9a67413d21cc8d346d92affed25e","datavalue":{"value":{"entity-type":"item","numeric-id":1677430,"id":"Q1677430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$AF0F7885-FF0B-46BF-9D70-99F4CF4F5A43","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":"Q2071573$4760627E-31D8-40C0-BAD9-F66C7C57DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a612821d93fa4cc4378f7369101a8f40764e1","datavalue":{"value":{"entity-type":"item","numeric-id":5494230,"id":"Q5494230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$743ECA6C-CFF1-4CD6-B115-4A384B5B1CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b856ed96101374b945f652c74d825f885b954c59","datavalue":{"value":{"entity-type":"item","numeric-id":5404483,"id":"Q5404483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$361936E8-74B1-4A9B-8411-B2807CE75F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107c5d88e77357030a267fdbe2b4c9942fec330","datavalue":{"value":{"entity-type":"item","numeric-id":4612409,"id":"Q4612409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$C498C34B-11E2-469B-BD60-7C76B93B7557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$758B85CF-DD7A-4B4B-8399-2EDC7E1222D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ea0c6cee5ff3cb18604fb5b8a71c711e3684b3","datavalue":{"value":{"entity-type":"item","numeric-id":1420803,"id":"Q1420803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$68A2294B-0C1C-42E2-A8FB-9B31237DD269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024df79a9795de17ec7e156f39c553e9e8beda0a","datavalue":{"value":{"entity-type":"item","numeric-id":2939298,"id":"Q2939298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$800C50C3-31FD-40BF-B005-F1EB5B556318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480e9bc2378e5074b667021143707bc1a8514cb5","datavalue":{"value":{"entity-type":"item","numeric-id":2046881,"id":"Q2046881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$EC00457A-4C09-4ADA-A28E-CDF05E62CE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965dc62675dd4d59ba6269a9b5271fedaaad31ec","datavalue":{"value":{"entity-type":"item","numeric-id":857682,"id":"Q857682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$70B56601-CBE6-4018-B7CC-6BFC20148379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41d93531fa325bdb8d2247bc6edcf55c388c15","datavalue":{"value":{"entity-type":"item","numeric-id":3574475,"id":"Q3574475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$92F786AC-9C4E-4F18-BD4B-36C9AE1EEF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5d4373326ddacd5ad0928810272cc7a23b3585","datavalue":{"value":{"entity-type":"item","numeric-id":5312933,"id":"Q5312933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$87C4CD3A-F94C-4A1D-B551-EB1A732A0667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$CAB0BE7C-58EA-46BB-8246-E1CC80A67EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$E1395A98-7AD1-4467-AE1E-FE4D09B7BAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3f4b2eac24d9f89be1c7513caeb7568abecc973","datavalue":{"value":{"entity-type":"item","numeric-id":3346126,"id":"Q3346126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$2BA6A52E-7258-446A-A734-D90642064463","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":"Q2071573$BA863FDE-A988-42DD-9AFC-E8C7D8CC3A87","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":"Q2071573$87E2F249-0D6F-47E0-AB43-5D07F0669C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55659974d28a49df3f9b2c7f6bd66e62c4eda520","datavalue":{"value":{"entity-type":"item","numeric-id":6488076,"id":"Q6488076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$E5CB2E22-37B4-4CDC-A353-B7D44F614E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981ae90312a8f354b04270911c46f6f578f1f7d6","datavalue":{"value":"10.1007/S10849-021-09339-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2071573$B17F655E-5EA7-4A11-ABDD-D79E93F84176","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d46e0f5b5cbfa703ce500b7cf0d9f5d9ef2b09","datavalue":{"value":{"entity-type":"item","numeric-id":6488076,"id":"Q6488076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7df0343a2f3c8f2c0812fc96189fb5ac004aead","datavalue":{"value":{"amount":"+0.8777954578399658","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":"Q2071573$B4CC9433-9807-44AE-BB51-D29811930905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f7f1e0078a2f786790b9f8686f517cbe0368bd","datavalue":{"value":{"entity-type":"item","numeric-id":3119277,"id":"Q3119277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3a3bdc6c1f187b3991861d79123690560533b4","datavalue":{"value":{"amount":"+0.8647005558013916","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":"Q2071573$C24E47FA-AC22-4961-A3B9-8655D51A0BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4933b8619f17ad97b3374f1e17d4fe544488f6f","datavalue":{"value":{"entity-type":"item","numeric-id":2236503,"id":"Q2236503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5742d4c292d7c6541c0decc40780f61903b9347","datavalue":{"value":{"amount":"+0.7902329564094543","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":"Q2071573$D049E9FA-13CA-49BF-A536-CF125146FA2D","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":"3a33b50e5ec2b23f33d7033af19645f0a5e81375","datavalue":{"value":{"amount":"+0.7693885564804077","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":"Q2071573$1BA22096-FF05-471F-BFAF-235BB2A6335D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23312b3df4c8d7a2637a558ad5ee4d2c4d70480","datavalue":{"value":{"entity-type":"item","numeric-id":3092297,"id":"Q3092297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40ed7a5237bc8fbc51cef598d34bd52c0716f5cd","datavalue":{"value":{"amount":"+0.7668374180793762","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":"Q2071573$19F95760-D9CD-4AE8-9ACC-C1B18D081F16","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2071573$BD480643-4AF5-4283-991C-890A8E3E6469","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2071573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2071573"}}}}}