{"entities":{"Q3518283":{"pageid":5548187,"ns":120,"title":"Item:Q3518283","lastrevid":50421521,"modified":"2026-01-14T00:38:09Z","type":"item","id":"Q3518283","labels":{"en":{"language":"en","value":"On the Expressiveness and Complexity of ATL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5308845"}},"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":"Q3518283$B617DFA3-BE46-4B41-9D86-2E6AF343AD67","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":"Q3518283$E59DA61D-4BE7-460C-A3E4-F4DCBBC99963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"105ebd666e8cd955112a664a900f849f4c2d63da","datavalue":{"value":"1143.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$8526A1AA-325F-421B-96F7-3412BEDB5BA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"696ef4f840c6e02b42dcf72d1b9415a17c0cc3b9","datavalue":{"value":"10.2168/LMCS-4(2:7)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$14EBED66-2AB6-43B6-9B21-EFB96DEB56F7","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":"Q3518283$628CF5D9-4E7D-482D-92B3-24EC881F6D80","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":"Q3518283$49BF1B56-87F1-48EF-A010-A8FE3E0167A6","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":"Q3518283$3687CFBE-9007-48AC-AE36-5952F8516B00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3518283$37B113A7-A25B-43F0-8A5C-BF37E695E440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd17ce6d2eaad5d06047c5b5d7ca565a3ee94981","datavalue":{"value":{"time":"+2008-08-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":"Q3518283$6832A1B8-CDE6-43F2-BE20-795C98FB28FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$6EB44041-CE3E-4A1A-AA18-8B6FACAEB0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$DA4C390D-65AF-4531-B8BC-6BB9A4D41B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$B94A308F-8B1D-4DBA-9793-8CE952E04A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$5FB946DD-32DC-4B27-A03D-A77D541E209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$D30CABEA-BA34-4E96-83C1-C982CA10CA06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90ed6a627de3ffe395c7e903a5d74c4fea2b58b9","datavalue":{"value":"5308845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3518283$3E463771-521B-487A-96B8-C78535BDFDA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$54AA9AB2-D86D-4FCD-A718-40B2B7761558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$1F1EE5D2-8679-4BFE-9280-915E13BD6637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f977d5cdedff14422254f06c7b499e4f27136d","datavalue":{"value":"alternating transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$40B4D021-2579-444C-9D30-700F3109B59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"448ffe94b0772b40240f9ee42e8d4fac1837a8e8","datavalue":{"value":"concurrent game structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$42F9322D-0CC7-4693-8C6A-437508EF49FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a8c9bb20db97a854cf477d178d5718facc99f08","datavalue":{"value":"alternating bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$E187563D-C8AE-4586-B565-398B67749F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3518283$8E49FA30-C892-4C4D-A230-E0AEE4D489E7","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":"Q3518283$4C946979-C448-41AE-93EF-388768AE4A47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a758e31b118fbf79943aa7ff50361510c2d3f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"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":"Q3518283$9B187E44-A816-4BC7-9C17-7D7670522B8E","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":"c78789ccd2e3a52c1825ec4b4812adb7461bad4d","datavalue":{"value":{"amount":"+0.8812311887741089","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":"Q3518283$A091522F-E5BC-419C-A3ED-DB48565B2D85","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":"2e8a12acfedaf898228d321afca29d97cb6122a7","datavalue":{"value":{"amount":"+0.8511001467704773","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":"Q3518283$0739F886-FC37-4BAE-ABA3-DE6C586250C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ad4da9444b57b46e69699549a3b47a5c07d412","datavalue":{"value":{"entity-type":"item","numeric-id":2908843,"id":"Q2908843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5175ae7beccec6f4c515a490ecd4264e4491a42","datavalue":{"value":{"amount":"+0.8479941487312317","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":"Q3518283$61051472-CCCF-436F-A188-7D90FC00B8B2","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":"900d223588e1b4bf04a6afe52957cd87b954e4e2","datavalue":{"value":{"amount":"+0.8349615335464478","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":"Q3518283$84146904-4AE1-4BF2-8CE9-49D965F4CCF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3518283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3518283"}}}}}