{"entities":{"Q2915087":{"pageid":2925807,"ns":120,"title":"Item:Q2915087","lastrevid":51558578,"modified":"2026-01-18T18:58:15Z","type":"item","id":"Q2915087","labels":{"en":{"language":"en","value":"On satisfiability in ATL with strategy contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084958"}},"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":"Q2915087$10723978-6072-4595-9942-3D2F2F2A161D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5311949f36faf543b1a75c0d5c574f6da231687","datavalue":{"value":{"text":"On Satisfiability in ATL with Strategy Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915087$7144BCC5-3FC5-4DDD-B205-A7FDDFD7DD97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea90809ec27d1a5d2de7d519f7d05f5b7c6fa30c","datavalue":{"value":"1362.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$CCE4E72A-CEC1-4AA2-B413-13AC339677CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e4808f8fbb1c02bdf1088c8b76fcc7d910de389","datavalue":{"value":"10.1007/978-3-642-33353-8_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$E515876E-31EB-4213-A075-8A9847605C45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02bd7f35312538179a3295a4fae146a1e6bbdc83","datavalue":{"value":{"entity-type":"item","numeric-id":652735,"id":"Q652735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$1BF13FB6-2103-44D5-A74E-861EBB9B50AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd5fda30e97b95ac04e7ba16505b8fcc3a4cafc","datavalue":{"value":{"entity-type":"item","numeric-id":868029,"id":"Q868029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$05C50157-899C-4A8A-B055-B4863DBC92A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$C8058D5E-ECFE-4280-9969-E3143820FBF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9be54b5bf8411b172b987b968e66cf4985f4b2f8","datavalue":{"value":{"time":"+2012-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915087$08A9BC6C-2E6D-4BA6-87B9-BC7E26F11CAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$E2FA2BD4-8CA9-44CF-99CA-94FEBB8392F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$F609A0D5-8C95-417A-A34A-C880867B7C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$86CD9008-32C7-4889-8213-D5616EB2B77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$134B868A-03F7-4BB3-AE9C-53DCD905A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e7821ac546420ffac288c241a881e247a33d0c98","datavalue":{"value":"91A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$8F0F5DBB-30AC-4AB9-BF54-9524F53AD68B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"985feb9f1ea8034b60348a34c9507d73b035d858","datavalue":{"value":"6084958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$6DA439A8-6C73-4826-B8F7-DE26A130AA8F","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":"Q2915087$1CCB50DC-99FD-4787-946A-072830EA055B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc26f6e797c0f7aec10b7d0ad752ac8f5e20b347","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33353-8_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915087$CE179944-2FE8-4EC5-B161-2D8EBF01A2A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"542258749055171b203221e9d6f4243086fbea16","datavalue":{"value":"W196035745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915087$ADAD341F-C71B-4408-9441-5F9BAEBF98ED","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":"Q2915087$3360EADD-CDDA-43E7-9635-7021C73591B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$50C4B2B0-55C3-4235-98C7-80E4D4B696F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f427c7c6bd6ad411bf67bda5f7112f753e0ab73","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$D14971C3-1559-4EA3-9D5C-7DC31555911E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39972361b5b7eac14f7d1e533fa65f6e4359be22","datavalue":{"value":{"entity-type":"item","numeric-id":3533122,"id":"Q3533122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$FC4061BD-1148-41BF-AFD5-023656BA750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0ff171afd6ac8bc73847ff588b790c3abdbbf5","datavalue":{"value":{"entity-type":"item","numeric-id":2908843,"id":"Q2908843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$761E362F-88DE-443B-B95D-9498C042FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$F65B7047-8B64-4D5B-A7C0-1CA2E68C63A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8153c27c4f7c7a7fc32f11d7da801a237f27b619","datavalue":{"value":{"entity-type":"item","numeric-id":3712329,"id":"Q3712329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$91F27E8F-5F60-4B05-AE65-2F5CE269FC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dec8ab3ca76ac6156d8e5fcbd45a30c92a670f2","datavalue":{"value":{"entity-type":"item","numeric-id":3086943,"id":"Q3086943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$26DE5DA3-63C5-4E6B-AC34-18ECECFEB5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8394779242df5e11b4f2bb1a6e8c0760b8d9f561","datavalue":{"value":{"entity-type":"item","numeric-id":5422030,"id":"Q5422030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$29BC1041-70A7-4399-83F5-DC20349CAF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e38016609e661e0945a30e5f58a9984c36801","datavalue":{"value":{"entity-type":"item","numeric-id":5571689,"id":"Q5571689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$254EF3D0-4C15-48B6-BA09-C013DD25D5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4648fc61d389b6298d43733657642e23e7401896","datavalue":{"value":{"entity-type":"item","numeric-id":4430406,"id":"Q4430406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$C6A3399E-D7D9-4970-8C00-EA09FA59C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe220f1969d9bf01f2c8017d70da7e698a25af2","datavalue":{"value":{"entity-type":"item","numeric-id":3518283,"id":"Q3518283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$4807E61E-7725-4D47-B9B4-0B13DE09C95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86b6bf54187ccefe80c38fcbe6ecc8cd3a10b27e","datavalue":{"value":{"entity-type":"item","numeric-id":3874171,"id":"Q3874171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$E3018203-001E-4EB1-A680-BFD75776292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b075c925610a1136f6897af3c23ae2fda0cd16","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$8B988EEC-C2AB-4B55-8709-9C69B6A22999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$F9A52118-51B7-450E-9DED-02B86E6FC576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbf345cbcdb472d220eb1f41d912164fb3d3e5b5","datavalue":{"value":{"entity-type":"item","numeric-id":2915087,"id":"Q2915087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915087$74CA851F-D89A-48D0-8CFB-5F55342C0D5F","rank":"normal"}],"P1643":[{"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":"a6796cf2ac2118d393c760767441f18a58ec8a89","datavalue":{"value":{"amount":"+0.9125447869300842","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":"Q2915087$92BE42FC-37E4-45C6-918B-E95BB58C46E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4d22c7202ac028b3b5b3beceab660fe0382a75c","datavalue":{"value":{"entity-type":"item","numeric-id":897650,"id":"Q897650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fc37ef2d5566effcb4d549e9de356ccadbde28","datavalue":{"value":{"amount":"+0.8844081163406372","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":"Q2915087$373A05B7-B9F2-4225-A1B6-6DBC2E387FBF","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":"08462fecc601c79e46347bcde92d7b311e9f7c97","datavalue":{"value":{"amount":"+0.8831238746643066","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":"Q2915087$F6F35EF7-2FB2-4269-A599-1B2FEE2322F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b27f49d6eececad98023bf7bc598e72ddfe6053","datavalue":{"value":{"entity-type":"item","numeric-id":3605522,"id":"Q3605522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2105c0c3cdbe6f49c739ab0e7028513b8b0ef2d2","datavalue":{"value":{"amount":"+0.8620970249176025","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":"Q2915087$60F2BA75-4F3B-43FE-AFF3-B52AD0F853BB","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":"9782bc80f3f43f125e68de5ccaa929da3b74c975","datavalue":{"value":{"amount":"+0.8524016737937927","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":"Q2915087$89EE38F6-AA4B-4C6A-B7E0-0AE45B232D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2915087","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2915087"}}}}}