{"entities":{"Q2957961":{"pageid":2968680,"ns":120,"title":"Item:Q2957961","lastrevid":79775111,"modified":"2026-05-06T14:40:58Z","type":"item","id":"Q2957961","labels":{"en":{"language":"en","value":"Relentful strategic reasoning in alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679288"}},"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":"Q2957961$DADAE6D3-934E-420E-9316-53658E5DF0B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"142eb118fae66cb9f213b3571f0eb1e8b3703646","datavalue":{"value":{"text":"Relentful strategic reasoning in alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957961$61DE3D21-7EC3-4373-90AE-B03D916FC103","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f7c7c2da89c56adc30f133e69ebaf2531eaa48","datavalue":{"value":"1354.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$63B636EC-0BC9-4422-93C0-649B7AC9E21A","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":"Q2957961$E82C8050-C5DA-4AE7-88C0-F23CFD081824","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":"Q2957961$E12FFDA9-6DF7-47FF-9BE8-03271497275F","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":"Q2957961$D58121F3-2EB8-42D0-8DC1-A6CFD8F233A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957961$7AD9C8ED-F446-4CBB-AA65-7523A318A10B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$6B5C4058-D47F-4D4D-AAEF-24045856F883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$3C8BE95A-A2E2-4D17-8597-D07B0D9F94BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$FF2701DB-CAAD-46F1-8F79-C181391705C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca453f4fb4e9377be214d1128134efa6b4ad2fc0","datavalue":{"value":"6679288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$6178D0BA-5584-4257-B09F-25D185774794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bebc348ee27159ca71308a4f6ab6999577d7bbf","datavalue":{"value":"alternating-time temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957961$E615D490-347E-411B-B820-6320F245CBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3797e730c2799dedb3999f0e4fbd6a236cab776","datavalue":{"value":"backward modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957961$83D1CD45-3A93-4229-8D2D-D12E8E1B51C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ef2de3ae0d2a47a34c7430e493629deb6acdde","datavalue":{"value":"strategic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957961$6C09229B-6C61-4B4A-9FC3-BC33E9B13EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb7202612df83451fb1633fd7879c8589baacbb0","datavalue":{"value":"game logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957961$EEFE7F2C-849F-4653-A0D5-B28E7E3BDAE3","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":"Q2957961$B59F6827-55CE-44D0-AF68-8F5CD733D41C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"463ba4a22ee41deef8c0a8e7a6ec6947b81f19a0","datavalue":{"value":"https://doi.org/10.1093/logcom/exu052","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957961$16DED058-5A33-49BB-AFEC-020D9F31AADB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b73438bd09d65a544b727c08bd0063e7f1a4a23b","datavalue":{"value":"W2313036412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$304FB3BB-BB25-458A-9624-3F803F77333B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbc26df1bec6cc606531e00db197c2d0e3bc4ae8","datavalue":{"value":"10.1093/LOGCOM/EXU052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957961$D0BFC755-E7A7-44A9-B6E6-448CCA4B8953","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957961$1B9FC0B6-2456-4AE0-9FB5-95B0B50886E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387a9b8e2931b67c9dce58795037d6ec38f41ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3066109,"id":"Q3066109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca206bf5bd2bdd84f3aa64f6124c776412220e72","datavalue":{"value":{"amount":"+0.975437879562378","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":"Q2957961$C54D9A22-0707-4902-AF3D-4D2674F0F023","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":"b0f920ebd2c98522cccaa83c83ecc48d54856065","datavalue":{"value":{"amount":"+0.8256241083145142","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":"Q2957961$A3520034-3E58-479F-AD15-DF747A65FABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9335eb23f7131179089b0d9b8df6b26603ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1989330,"id":"Q1989330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23d1d048efc777a9f58a7cbd427b806e541199f","datavalue":{"value":{"amount":"+0.824988067150116","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":"Q2957961$D83FB659-498A-4D17-B972-FC949D21F10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1757275b6837c56cd25566854a6ac73fce2ac1","datavalue":{"value":{"entity-type":"item","numeric-id":5079770,"id":"Q5079770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b04757b98ac95fd66fb442565a0e5bcf3be40a","datavalue":{"value":{"amount":"+0.8183949589729309","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":"Q2957961$FEAC88B7-DAEC-4FDE-B59A-1442A049702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1327c7f901225fed02a6ee37c66520d136b99443","datavalue":{"value":{"entity-type":"item","numeric-id":5235469,"id":"Q5235469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b1abde41d7dc70164300b2e6c1e7a2782bf921","datavalue":{"value":{"amount":"+0.8102329969406128","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":"Q2957961$11234EDB-222D-4AF9-BECA-F784D00494D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relentful strategic reasoning in alternating-time temporal logic","badges":[]}}}}}