{"entities":{"Q3431962":{"pageid":3442665,"ns":120,"title":"Item:Q3431962","lastrevid":46252825,"modified":"2025-12-24T10:04:52Z","type":"item","id":"Q3431962","labels":{"en":{"language":"en","value":"Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5142577"}},"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":"Q3431962$9020B10A-1EBE-4BF7-AD7F-FB851A21EFBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec63d03187efa4744007a18f477839718cafdedb","datavalue":{"value":{"text":"Embedding Alternating-time Temporal Logic in Strategic  Logic of Agency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3431962$BE668F30-D967-4DBA-AB5D-33A85274CC82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"486b3e0a588c8f4870a1559bc7ea93dfa5abf20e","datavalue":{"value":"1120.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$6A887F48-F019-4569-AA46-70EF98536FE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431962$8E7DFC46-6778-4CB5-A42A-3DFD20937DDD","rank":"normal"},{"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":"Q3431962$ECB6879B-1DE3-4A3E-AD14-D3ADAB32AC9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca5085baee50f92cf409f1fa43890ee32dd0e767","datavalue":{"value":{"entity-type":"item","numeric-id":652740,"id":"Q652740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3431962$7D91E1F6-2EA5-46BA-AAAE-F12A1A9B5627","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e086009e2064e6604f7111e0363ab46c19c8ced","datavalue":{"value":{"time":"+2007-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3431962$E460308D-B503-4CB3-84FE-6FAB827A1EA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$249E2BA8-F026-411C-A717-3766CA84786F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$B7D9C792-33A4-4E22-80F1-DEBE876F39D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$B7DCA301-6D67-441B-BCB3-6563E82D9629","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8da3e0bc95c5dd0bd5183fe372f6d08fb0f23830","datavalue":{"value":"5142577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$D97C64C6-170A-4BBD-9030-13956D970141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431962$48F9B381-84EA-49F7-9557-7D0B2A2A15D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431962$B85A0BE0-57D4-4422-AFFB-9EA0E5CFDB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8933255ee48b344b4b9113e89fbf6cba4c3ab27","datavalue":{"value":"STIT theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431962$B45059B6-A032-426C-A425-6FC433932B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c3b98487eb404131cfd6dc457f97f412fed996","datavalue":{"value":"multi-agent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3431962$8A2770DD-E21E-4016-96BC-34666C66E0DC","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":"Q3431962$2C9A5932-0940-4347-A620-2ECC91AFC614","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d83d08783644024b0cdbcc182243b9929fbc5d7","datavalue":{"value":"https://doi.org/10.1093/logcom/exl025","type":"string"},"datatype":"url"},"type":"statement","id":"Q3431962$AB78A11A-1039-4E96-B64D-75D26B42C6A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3116d80df72565f3425760118c7342415e94cf88","datavalue":{"value":"W2105533871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$621F7D36-8CFD-4465-A85A-8C1C9E3EEF75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d9c2f764f051c696ea70c225a5b6b5ecaca8f88","datavalue":{"value":"10.1093/LOGCOM/EXL025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3431962$0ADDCCEF-FAAE-4BD8-901B-E64A8815D4B3","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":"Q3431962$82E03196-4266-45DE-8594-921788A8A4BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45873f3a835dfaa855481d440771f36b9d582837","datavalue":{"value":{"entity-type":"item","numeric-id":528195,"id":"Q528195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec9fca834c994decec52e74cdbd5d606f75e8be4","datavalue":{"value":{"amount":"+0.9103126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$8A9EF71D-5041-4E0F-B0A0-6EA929E38BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dd3c100f53416ead29969e28e6e375335bbc27","datavalue":{"value":{"entity-type":"item","numeric-id":2957961,"id":"Q2957961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdee24d02b1c1c8ea3660cedd3159d843ce8802","datavalue":{"value":{"amount":"+0.9070844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$D752E1F4-2ED0-4B56-A1CE-8709D664CED3","rank":"normal"},{"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":"5bdee24d02b1c1c8ea3660cedd3159d843ce8802","datavalue":{"value":{"amount":"+0.9070844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$7F093247-29FF-4B26-9507-DCA4F9BE4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed5491827121241df7386b3d33755330e251344","datavalue":{"value":{"entity-type":"item","numeric-id":3090849,"id":"Q3090849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb563cf71028b24a753c1928300c089c07359719","datavalue":{"value":{"amount":"+0.90516376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$2DF60E65-2F26-41E8-B420-95012D6745A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61d5ae02988cf89fafa847e035f6b40a766c3456","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb5e8f33c980983dc70525c23f954dbb2813061","datavalue":{"value":{"amount":"+0.8879179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$7899BCF9-D3F2-4667-89A1-EB162D1EF3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c230922af05a725e0ff1b7a4f6ef0b094006ae10","datavalue":{"value":{"entity-type":"item","numeric-id":4739288,"id":"Q4739288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db76bbee7c33606b89ea4bf028853a4ba25e5b33","datavalue":{"value":{"amount":"+0.8855436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$8F123747-4695-46AB-B089-5709B13BABBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475645f2b3ef969c2255c4dc53f1e801403e9daa","datavalue":{"value":{"entity-type":"item","numeric-id":2848071,"id":"Q2848071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff80187476fcbc68b53f933ba95dca6aaced263","datavalue":{"value":{"amount":"+0.88536364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$03C4333D-495A-4D59-A1E0-0C784246DF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cd8647e3e59381335600cf84a95cb4171dc050","datavalue":{"value":{"entity-type":"item","numeric-id":3098057,"id":"Q3098057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efeed17e7384413f90fbafae38dd08c2b1f96bca","datavalue":{"value":{"amount":"+0.88466406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$346CC7EB-8E7A-472E-8F4C-23F898DBDBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b9d5b6f907a9a75daad09cb4ac0dd2d09ea478","datavalue":{"value":{"entity-type":"item","numeric-id":6072992,"id":"Q6072992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1034e6b646f4246daae3109ad041703485767443","datavalue":{"value":{"amount":"+0.87884843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$C7A254F1-DD7B-4064-ACF5-82B358ED7335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6f1150041b24f8bc7d35bddae3c89e4d0b143f1","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa34c231f52cf4c8ba34e4f15dd3764397925623","datavalue":{"value":{"amount":"+0.8781164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3431962$1FFF155F-5071-44C2-A591-6FA3AA725A4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3431962","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3431962"}}}}}