{"entities":{"Q3092297":{"pageid":3103012,"ns":120,"title":"Item:Q3092297","lastrevid":51329939,"modified":"2026-01-17T19:17:43Z","type":"item","id":"Q3092297","labels":{"en":{"language":"en","value":"Alternating-time temporal announcement logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5948076"}},"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":"Q3092297$67C006FB-75BC-4C07-A101-AEBC318FF344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc0a1a44adef04fee01e696794984ad072e3bf4f","datavalue":{"value":{"text":"Alternating-Time Temporal Announcement Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3092297$78B28A93-5F25-41C5-8AD9-8CC8906B8A23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3750ccee96f6e7e6933568b1146ed78013d0937","datavalue":{"value":"1348.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$0A579EBD-A78E-4541-B443-78823F452636","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d92818007deebc9209351511799503249ebf62a5","datavalue":{"value":"10.1007/978-3-642-22359-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$55B86805-7A1D-43AC-A7F9-6FBBA3C9CCC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d09766d888a0213ca4fbb8f44744783f688574e","datavalue":{"value":{"entity-type":"item","numeric-id":970090,"id":"Q970090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$C1863D20-CFAF-48A0-8B15-AD2E8BAF307E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$31A3463D-8911-4C11-A19D-E4F560D45AFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc45eb63fd270974cc03c12b380a0b0e37f4a488","datavalue":{"value":{"time":"+2011-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3092297$BC626989-5317-4355-881E-BB17F3312FEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$E3CFFD24-414A-4DC8-A293-1E5480F45BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$764C16CA-E95D-4BA6-AF30-09FD13FB0C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$89CDD15E-4F82-4AD0-B9B6-E266C7083279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$940A1D0B-D2F3-4021-8C62-59F2B757B561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5117cf76516941957d30d0348c3592ecad2f8360","datavalue":{"value":"5948076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$BC6C07ED-D3A8-4D6C-80DD-9EE97A9958AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc02d7f0263fc71bd6fed276513131d158e3b52","datavalue":{"value":"logics for coalitional ability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092297$D79A75AD-F22C-4E90-B595-F447AB09915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092297$F453ADD5-A1D4-4214-96D4-05D9D2C5B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4919e95ef0c82333d052568f1fcd2d1a4f350c","datavalue":{"value":"dynamic epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092297$38C17675-7DBD-489F-9E93-C93C0FB55083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a443cbc82c2a0ccf5c92eec579db7975f57921d9","datavalue":{"value":"coalition logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092297$9892F991-3BC7-4B31-8655-8B0AFC4C3802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3092297$0189E911-C61F-4268-827E-CD10BA5233C6","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":"Q3092297$FCF65873-6770-4E39-BC65-61D9B04F8E40","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16651917ca91dd5e8967aab1a6d4f68f286c2b0e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22359-4_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3092297$EFCBDBCC-D1BC-4A3A-B9F2-E0E1EA05CB1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9f6fbd32db32b71f67faf4650caa5562d652f78","datavalue":{"value":"W133182445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3092297$4769C202-154B-4D69-A90F-B68350A57B89","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":"Q3092297$35CC8632-DA0D-4CAB-8ED5-0D9FCE7876A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$646F4A5B-30B2-48D1-9642-5A55BE554583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2f7c85c9158e540c7bf3bd33b6efb83249fde9","datavalue":{"value":{"entity-type":"item","numeric-id":2431873,"id":"Q2431873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$033E2C89-3C36-46C9-9451-92EB898FBA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c58e34593e86e36fe4c7f5774b2cc2c8a27329","datavalue":{"value":{"entity-type":"item","numeric-id":3601785,"id":"Q3601785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$990BDC00-D5DF-47F7-86FA-E26185C3EE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479f327669ffc7c40cbc60cf76fb757b57ef774f","datavalue":{"value":{"entity-type":"item","numeric-id":3647207,"id":"Q3647207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$BD43E9BD-97B6-4597-B2AD-53F795135BEF","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":"Q3092297$39D9427C-AE2E-4A0D-83D3-6B4D67E30D79","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":"Q3092297$56CE51EE-E7F3-465E-8444-34B9EE5E61B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a85d60a2ee6f470b072052d7cd8be0eccee601","datavalue":{"value":{"entity-type":"item","numeric-id":2368988,"id":"Q2368988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$69801F3C-DED1-4C04-87A9-55CAA23A566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$67A4B2FB-0590-4C79-89E2-3323910D4A26","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":"Q3092297$1CDC0FE2-41EB-4E8D-BBF2-C8DE8DA42C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933314f70457348ef2a1f3874cb4187916d6afff","datavalue":{"value":{"entity-type":"item","numeric-id":2268355,"id":"Q2268355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$EB91785E-101F-405C-BA80-DC22AE307ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2807456f0775e5acf452ac835b5fc30350b6d66","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$42F50512-BD29-4DA9-8866-03BD35AEB66F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c7bb9d80a401c3ceca157db1d34b95991de077","datavalue":{"value":{"entity-type":"item","numeric-id":3550954,"id":"Q3550954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$EAC30E76-CB54-478F-8B0F-70D74F1C489F","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":"Q3092297$564A79CF-9B0B-4403-9399-1FA665F391A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d58245da881f3cdb86d99b65a47aa10bf7772d3","datavalue":{"value":{"entity-type":"item","numeric-id":4016561,"id":"Q4016561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3092297$C60328DF-9422-4C06-B04C-AEA48B3F442D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f7d665a37bd8e6af54d249256a89a8bc6e47c0","datavalue":{"value":{"entity-type":"item","numeric-id":2939296,"id":"Q2939296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceddf8afd70407fa2d643e8afc93d013193a8c47","datavalue":{"value":{"amount":"+0.903519570827484","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":"Q3092297$54133BBF-B48D-45A4-A9FB-ADCD53E32A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a13ce4c697b74c5002307d60b107e83750b6f96f","datavalue":{"value":{"entity-type":"item","numeric-id":2500827,"id":"Q2500827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c69c684eee7def4cd842a5b655cdbc433ff23bb","datavalue":{"value":{"amount":"+0.8519577383995056","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":"Q3092297$496555EB-735D-4247-A670-8073F26BAAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd8203d66117790ac8bc47626c34e2daeb576fd7","datavalue":{"value":{"entity-type":"item","numeric-id":975877,"id":"Q975877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ad1a22eae52df33a6b2c8812eb78269ef637f5","datavalue":{"value":{"amount":"+0.8284777402877808","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":"Q3092297$C145045A-DFCC-41C5-B6E3-E8237FFC5626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102745a56774457a53b7f365941838873f14e71","datavalue":{"value":{"entity-type":"item","numeric-id":1420807,"id":"Q1420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b680e8503ef9a63c8f1f0e6934e225ab69931e","datavalue":{"value":{"amount":"+0.8097274303436279","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":"Q3092297$7D17D986-EBFF-4E90-BC64-EEF3CE29C67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e9bf6f9962e78853b4385e85eb0d701c840310","datavalue":{"value":{"entity-type":"item","numeric-id":4412257,"id":"Q4412257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f321f40d311a215d57f2fdf70549c1f98dd53d6","datavalue":{"value":{"amount":"+0.8089950680732727","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":"Q3092297$176F9B3C-072D-4152-8597-619827F657B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3092297","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3092297"}}}}}