{"entities":{"Q2914371":{"pageid":2925091,"ns":120,"title":"Item:Q2914371","lastrevid":58056288,"modified":"2026-04-03T15:24:47Z","type":"item","id":"Q2914371","labels":{"en":{"language":"en","value":"What makes \\textsc{Atl}* decidable? A decidable fragment of strategy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086178"}},"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":"Q2914371$196D728F-EBDB-4BBD-9CD8-B15E0C63F845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49e59d1db46fdaf94a032ac8aaa72c07429671fd","datavalue":{"value":{"text":"What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914371$4BFF088C-C796-4B14-9FF4-33FE92A88FFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c34ce2863b57247cb24b055fb7ad37c9e6c3727f","datavalue":{"value":"1365.68329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$B77DEFBF-985C-4639-84AA-D29BEA2A0848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f68548b459541604785fd465fc19ab12f6c41973","datavalue":{"value":"10.1007/978-3-642-32940-1_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$F3E77BCA-1E58-4316-BCC3-12EEE0DA6FD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b79e7dfe19010a2a7fb9a4094963f88655e7110","datavalue":{"value":{"entity-type":"item","numeric-id":357124,"id":"Q357124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914371$53D86CF1-DD89-41FA-9D83-A4515689AB8C","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":"Q2914371$62105BFD-89B8-4716-A4FC-4691E4B564F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752e5be1447898a2ac61f3a9737d4a015411a19d","datavalue":{"value":{"entity-type":"item","numeric-id":314470,"id":"Q314470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914371$EAA50DD0-CE9C-4566-9C47-EAD7D08CB92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914371$1624175C-E8F1-4BE5-9C00-6B3820D1F5C6","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":"Q2914371$1376E1ED-E14A-41C9-AA99-A3E2E288CE15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6b00aac43a8308ba24a0697ff1b19387c2c0656","datavalue":{"value":{"time":"+2012-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2914371$8F44F8D7-52A3-4BF4-8215-DBD70D960D2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75dffb189f1a01fda979b24ebe291f388e12f396","datavalue":{"value":"https://arxiv.org/abs/1202.1309","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914371$7F6ADD89-4548-418F-AA8A-F98CBE7047B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$FDB1B5EE-7F88-42AE-BE9A-F1028B922E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$8FEE2FB9-B3ED-4605-927A-10C7050B2CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$708DF109-033E-4739-B2B7-1E59D87E6672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$09265F54-4D30-4045-A342-3910B0BC852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$BC979915-BEC3-4EC1-8086-AA3A87771E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$10A8972B-1C15-4DE0-8D27-B9BD45103500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$5EC87FBE-3444-4CCD-BD40-D179F6B3C6AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db7704beb8edbb79672a0bf7cf40717bad56a18a","datavalue":{"value":"6086178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$91949CB3-DBA3-4128-8703-2C92A9902B69","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":"Q2914371$A397D34E-895A-492D-8D74-50E323D76283","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"603142c4cb9a21cad29993ac587136321211133a","datavalue":{"value":"W97887531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914371$57821FC2-C4E9-416B-BEA2-648B29AFCC0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c340356f3611d4c044f8e96194e7fb4fb69c3efe","datavalue":{"value":{"entity-type":"item","numeric-id":2980973,"id":"Q2980973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c2c04f54cc36fecca95f21d875267ca30f85ba","datavalue":{"value":{"amount":"+0.941788136959076","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":"Q2914371$9CFAAD5C-E6A1-4A20-8E5B-1E4DA945DCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f05cdfab5a2afbb2cd98a883a53c35274683b69","datavalue":{"value":{"amount":"+0.8519042730331421","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":"Q2914371$FBBB7E06-8FA8-449F-8E24-835206218C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37b9e52b663cf9e4ecc47142ed2c54d8a30601fb","datavalue":{"value":{"entity-type":"item","numeric-id":4992517,"id":"Q4992517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcdb0dac1fdead34a5f0c3c4c3bcadb7620bbe4","datavalue":{"value":{"amount":"+0.8482414484024048","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":"Q2914371$0957D9CD-AF5B-41FF-A9F9-C1F3BE329A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b949470afffa0b473a95a532083c24cf4c8d7a","datavalue":{"value":{"entity-type":"item","numeric-id":5271063,"id":"Q5271063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc0cc22c497d6adcbb2ef6ace4ab780bcc32efb9","datavalue":{"value":{"amount":"+0.8403337597846985","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":"Q2914371$979D6C3F-F0E4-41FF-87A4-A2734C040669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7816ddc9c725666c97332f0c2a48e9332fef03","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1ef322aa1a4fdc94991ce660e6ef32ab2aa34b","datavalue":{"value":{"amount":"+0.8370000720024109","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":"Q2914371$DC674D98-E656-4DBC-B6EA-76EE3C97EF39","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2914371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2914371"}}}}}