{"entities":{"Q3384177":{"pageid":3394880,"ns":120,"title":"Item:Q3384177","lastrevid":58148892,"modified":"2026-04-04T00:23:52Z","type":"item","id":"Q3384177","labels":{"en":{"language":"en","value":"On the complexity of \\(\\mathsf{ATL}\\) and \\(\\mathsf{ATL}^*\\) module checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445172"}},"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":"Q3384177$DB5CD296-FCB7-45E5-8C5A-7D0248D1D096","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0509ab2aa2b4a448616aac8ba882baeeb1709bff","datavalue":{"value":"1483.68187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384177$926E4EFA-61DF-403B-ACD8-3C95009F25E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$8CE22BE6-E3A1-48A2-9556-970DE8DEDCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$DCBE068B-D7CC-42C7-BF07-F87798D44C98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384177$CE0A473E-FEFA-4A07-9D5B-6670A24CA349","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9d7961c58a90590b9aac2ea2ed8e4d89aa8326c","datavalue":{"value":"https://arxiv.org/abs/1709.02107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384177$76948113-779D-4F25-9CA7-9B42CA41AC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7030259fdc28527045186ceb2c0d052d1c598c17","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.19","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384177$1EF0E8D6-7305-42B9-B2E4-29514226D083","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384177$C6A0A076-5BA9-493D-A26D-70BE5F307037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384177$56DB9E24-C67B-4DEE-9C92-EB91345659E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6fbe31db65b7e0c00920bbdf1892401216aaaf0","datavalue":{"value":"7445172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384177$21C1B0CD-7657-4A0D-BF69-80404F964EBC","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":"Q3384177$49D8668A-08A1-4A9A-95AF-271690A9B8A6","rank":"normal"}],"P223":[{"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":"Q3384177$63452CC6-027C-4FE9-88BA-E750465BE288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db169c0702923a9044a5e73e76d9e4cdb83839db","datavalue":{"value":{"entity-type":"item","numeric-id":1951589,"id":"Q1951589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$D1392C76-CAEB-4C3D-9B8F-77AABBAB2597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01da3e9a7c53035411f89281c0351769d4233369","datavalue":{"value":{"entity-type":"item","numeric-id":4964726,"id":"Q4964726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$2F3649A9-5665-4011-AEEE-BF3108AC379A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6eb349a791ef34219aa97210664902e99ca1cb","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$7DCF2CF5-86D5-4BE8-B4D7-6BDF534F0B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$5AC050E6-C302-43D9-B465-EB38B67EE22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$733E4EEE-5D1E-4128-9FBA-040F27938745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$14FFD48D-9928-4E7D-ACE8-BA4128E043B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$06C9CB78-3C3A-484A-A379-7025DAF0A829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a68c9c5e6dc8c820f13872cc0a21e816d437222","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$A969C014-C4F1-4F54-961C-FCBA95A2091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f6f38a8c673fecf058f83d55e69e4ffaadc432","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$BFF25887-94DE-4BBA-88F6-F5E42BBDB45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$6CF3F2E6-88EE-4162-9C5A-96B153BECF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc41a6f4c3f61c1a908b43eb0a51dd26fd864ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2938770,"id":"Q2938770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$C5B760EE-7C07-4A31-BD5F-70F2DB063A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce82463a320934d60eb5abcffdec11cef4df59aa","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$02BF0A17-539D-4173-B0B6-81C1A211227A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$D0D449CD-97FF-4D28-849E-FBE437063795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fef18e1cfe012362d428323226ebd3a9db1f5e8","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$FE6B7E67-CBE0-4A81-AAD0-D89F624B27C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$796600C8-27C1-44A7-8072-34086AFFBCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f790ef2f580ed796607afddaa2f4f77f9cb97d","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$91CC6B72-809D-4D3E-8844-C0B724F4167E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8814e401298d90eaa4e3c5f6c754e58784824de4","datavalue":{"value":{"entity-type":"item","numeric-id":3613365,"id":"Q3613365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$293B8A7F-CFA8-41BA-9D36-4166034561CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$07685409-3202-4C38-8967-37806292502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384177$CA99AF65-72ED-41BC-B99F-0D4902A16E84","rank":"normal"}],"P1643":[{"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":"b51563ffa5b9722b66b299eea61f754dc26e1409","datavalue":{"value":{"amount":"+0.8382893800735474","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":"Q3384177$72330D91-47AC-4C89-B9A6-D1141DBE5BF2","rank":"normal"},{"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":"0045739911f958549b7e2371d079f78374938d38","datavalue":{"value":{"amount":"+0.8306130170822144","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":"Q3384177$F108D606-86F7-4338-ADD1-0D8A550A2C8B","rank":"normal"},{"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":"a5920be20ab13030161ab83ac8a4e798e9c2cc71","datavalue":{"value":{"amount":"+0.8195592761039734","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":"Q3384177$98FC9DCD-347E-4557-9D82-81D68E1B62F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dcaa61ccfe2fbe8e49c050ac695308cf064130e","datavalue":{"value":{"entity-type":"item","numeric-id":3519515,"id":"Q3519515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"911604a45c2b0d682fa4e0cf40c0c90dfee0cc8a","datavalue":{"value":{"amount":"+0.8039743900299072","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":"Q3384177$7FCA81EA-10D7-4255-840B-D7F76172091D","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":"c8025e7c31d2c6ab0934ef527cc16bd8aae88add","datavalue":{"value":{"amount":"+0.7975797653198242","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":"Q3384177$3AFB98D9-99FF-49F4-AD09-341FA3E49C49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384177","badges":[]}}}}}