{"entities":{"Q5758039":{"pageid":7787590,"ns":120,"title":"Item:Q5758039","lastrevid":50161190,"modified":"2026-01-13T07:45:28Z","type":"item","id":"Q5758039","labels":{"en":{"language":"en","value":"On the Expressiveness and Complexity of ATL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188972"}},"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":"Q5758039$2530FEAA-97AC-44B8-950E-FCC167A7C4D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ac65c5453888852ec3807cd5649b9f28f2a50e","datavalue":{"value":{"text":"On the Expressiveness and Complexity of ATL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758039$8C977CAE-79CC-4224-8831-AF5BE5F16230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c76bb8afe9503585e6a1cc82418d46e53fcba1ad","datavalue":{"value":"1142.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$981D5B2B-C9DE-41AC-8949-94A1371B7284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"280b4a5a78b69178062e6f9b615a4be0cecad88b","datavalue":{"value":"10.1007/978-3-540-71389-0_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$09AF3ABC-1088-4AED-8503-9D8EAE8476E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758039$3ECEB3D7-C893-4E92-909F-EF3B79C70F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d176340ebed452900237b26a3a70c9dc57af787d","datavalue":{"value":{"entity-type":"item","numeric-id":481096,"id":"Q481096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758039$2E9059A0-C72E-401D-821F-CC172AEB4812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"732ef45d5e52e0ffb73e80b11e889203cdd37670","datavalue":{"value":{"entity-type":"item","numeric-id":3511239,"id":"Q3511239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758039$773CCE9F-6AB8-45A8-96BE-147D5BA7ABEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"24804f4b3014a48e696dd6005da1c061736a75ea","datavalue":{"value":{"entity-type":"item","numeric-id":2892754,"id":"Q2892754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758039$01B986F0-7B6E-48BE-999F-6200BF8EE66B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758039$2730B65E-7B7B-44F3-BB23-307843D5510E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$B1676B51-22F8-4C25-AEF1-9100141DF4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$D66A7097-F107-422F-B404-DE1975F5BAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$3FD01FB8-2135-4F8A-8646-69AA27E1C158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$171FF72C-0878-404F-BD78-BD7592D522C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$CE6DF11B-8134-4A41-81A3-B04F92E064C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"633d62b88f18815d60f297288e6a7d16d47357b5","datavalue":{"value":"5188972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$6F13812B-37C2-41F2-A1B3-63F130F0D09F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$A6EE2189-BD16-4966-BC2C-4B4A7F62F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$B5FD2DCF-C8BE-45CA-96E6-86A67B8B3132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f977d5cdedff14422254f06c7b499e4f27136d","datavalue":{"value":"alternating transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$7AE85548-436D-47ED-A875-597D773D2BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448ffe94b0772b40240f9ee42e8d4fac1837a8e8","datavalue":{"value":"concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$3052BE91-397E-4F2B-880C-1A853BBC0930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a8c9bb20db97a854cf477d178d5718facc99f08","datavalue":{"value":"alternating bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$E1D4D9EE-CAC0-430A-8719-90B7135E8825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5758039$5B27A842-55B6-45E4-8C3D-86BA9C02CB0F","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":"Q5758039$A5B19AA4-08F0-4C47-A6BB-A0836E9C2435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e342f6f2eb18e586310efa1dfa28e19994bc3f1c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71389-0_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758039$57233B70-BF37-443F-8E60-2DE4C99A700D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc1b592b9a5977948ca5144baf501ce6257f0fcf","datavalue":{"value":"W1589868478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758039$2FF2083B-1D4D-4865-80BF-F372A9114A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e587b2b75b9de8c5402f573535c0e2cd217d1b34","datavalue":{"value":{"entity-type":"item","numeric-id":3518283,"id":"Q3518283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3522dfbb3d81b634d14b50d1a0fc63ea430d601","datavalue":{"value":{"amount":"+0.9798501133918762","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":"Q5758039$700F4D2E-CEB6-45A7-8095-F5AC42E591BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1e48f64946d7ee380bdca14973c459b73464e4","datavalue":{"value":{"amount":"+0.8872001767158508","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":"Q5758039$3050720E-7EFC-4F37-A89F-D901A5DC985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534c732d5c617b36b436c4b80cdfdff269a9acc1","datavalue":{"value":{"entity-type":"item","numeric-id":4737004,"id":"Q4737004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b61c2e409849fb5dee69d777244a209b2e7ab65b","datavalue":{"value":{"amount":"+0.8517858386039734","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":"Q5758039$391E8B1C-B5F5-4A6C-B7F3-AF2B133623E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c27ece9c996aa262141897d2b8743c6a8c1b8","datavalue":{"value":{"entity-type":"item","numeric-id":3431973,"id":"Q3431973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73800f242c1619fe776d38d7a302f04f35a7c2ba","datavalue":{"value":{"amount":"+0.8457664847373962","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":"Q5758039$02D81301-3779-4691-9862-B425442619C4","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":"41df32d6c4b6a4f04f86425be5f29029595e5a13","datavalue":{"value":{"amount":"+0.8457173705101013","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":"Q5758039$DFE3DF56-7572-4777-BB21-63D34F3AB507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758039","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758039"}}}}}