{"entities":{"Q3455546":{"pageid":5234946,"ns":120,"title":"Item:Q3455546","lastrevid":46500285,"modified":"2025-12-24T22:22:29Z","type":"item","id":"Q3455546","labels":{"en":{"language":"en","value":"Alternating-time temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516596"}},"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":"Q3455546$BAA78C7F-8BC4-41F6-9256-DAB4E3D8985D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c245ad1d26c99885d37ac63e1ec4cab330040b2","datavalue":{"value":{"text":"Alternating-time temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455546$30CC7770-4685-4945-998B-3CAA1D92815E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8b3606cdbaf69fb5f07df4718660be6538de3e4","datavalue":{"value":"1326.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$EDB3D043-B3F4-41D4-9A10-833325465D6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58c92a3c013e56dcd6b15aa9c64182b1f1ee0e04","datavalue":{"value":"10.1145/585265.585270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$DBB9E75B-8075-423D-B80B-BF7A53D0DF8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455546$004077B5-9674-470C-9EC1-BA4A68531B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e23e254236a8294ef997c8803c32040e3643f2b","datavalue":{"value":{"entity-type":"item","numeric-id":294639,"id":"Q294639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455546$D45C785A-1637-4C2D-8977-CBE01C38DFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455546$165937CD-26B2-49CF-AEF4-8C4ADC065C40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455546$BAE4708D-293E-4E96-AB3B-C584A0CCEA39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455546$FBEA2EC3-70B0-4C0B-AEA0-4E71ABDEC92B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd089816030a3e14b9a3e4dbf3d0412cfccbcf77","datavalue":{"value":"https://repository.upenn.edu/cis_reports/102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455546$E680E89C-19F9-451F-8761-1DDABEA23A8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$C26EC808-9BE9-4598-AC66-5E6F9472BD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$ACBEBD1B-A2B3-4994-9C0A-89A3C1D6FB87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2bacdace6102d3982419af0fcf847b5255209b13","datavalue":{"value":"6516596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$5A43BB29-CE74-4091-A4FF-3E9EC6E617F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455546$8F8AD5AD-029B-406D-980E-619A5B4FB502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455546$EE52D99C-73C3-4BB2-B549-6BE745B3F1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455546$6373F3E6-C907-454F-A8F4-8ADC584E8684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f70dae69810a661b4e9a75e66a6e07f29b0e6713","datavalue":{"value":"temporaxl logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3455546$C6B17A99-0AE4-439D-96E2-170D5764D349","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ebbc7b14e4c08be0e1148e19afccc9ad28f6748","datavalue":{"value":"Q64059056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$68D9E2F7-D3F6-4F1F-8D1D-2BA2BDBB16CA","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":"Q3455546$C23908B9-E6E5-4FF3-A6C5-247629AD90A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2441f4f998e534df779a7b28cffbb17fa2ca8f16","datavalue":{"value":"W2048905609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455546$F5202271-5EFF-4A36-821E-0B22659A4C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5114b18be2e34a54848ca96aabb0163907063251","datavalue":{"value":{"entity-type":"item","numeric-id":3511218,"id":"Q3511218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"694d8d3f7c0ed2023d01f293475f75754aa48b6e","datavalue":{"value":{"amount":"+0.98475534","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":"Q3455546$C78C2B4A-CD5A-414F-B781-0DC499A5398E","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":"316083ff629abf019bfe024acf43a183fc814410","datavalue":{"value":{"amount":"+0.94594103","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":"Q3455546$9C61BE8E-BDF0-4751-B850-A38C5CE22E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e207c6ff9814a6fefac4833831975dc3e82eb3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5894193,"id":"Q5894193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53e32f2e1022a8af991fce91b9c54ea2d8000c2","datavalue":{"value":{"amount":"+0.9453311","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":"Q3455546$6F5D8DD0-2ACB-4014-9800-EEB8DD17A887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6366cf7d573d894b0dafdaae78bdaa4d60cbed","datavalue":{"value":{"entity-type":"item","numeric-id":5894019,"id":"Q5894019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53e32f2e1022a8af991fce91b9c54ea2d8000c2","datavalue":{"value":{"amount":"+0.9453311","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":"Q3455546$5B51AB4B-3ED5-4019-A27E-5825E81A292E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6932e88451e757ee35db2967e8f7727b2c025b24","datavalue":{"value":{"entity-type":"item","numeric-id":4612421,"id":"Q4612421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3e36b29db09dfc51008a97eeb89ec60001df1f","datavalue":{"value":{"amount":"+0.9430125","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":"Q3455546$E44F54B7-14A6-4BF3-8C61-AB64886F0C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0888f8fa42d1ad71ea9cc7932a99c7e0d17c36","datavalue":{"value":{"entity-type":"item","numeric-id":3399672,"id":"Q3399672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0bc02380e3a876f166999dda8d2061b6dd39e0","datavalue":{"value":{"amount":"+0.9383661","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":"Q3455546$95EC91D1-6D4F-4B4E-AB49-8F0DA604CF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23312b3df4c8d7a2637a558ad5ee4d2c4d70480","datavalue":{"value":{"entity-type":"item","numeric-id":3092297,"id":"Q3092297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13564e4819289dee648dc1de068f28a3d575b5d5","datavalue":{"value":{"amount":"+0.93643165","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":"Q3455546$DD644AB1-9D21-4219-BABC-6926AC1B3A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2782ca6af719f90715187e70afe4c9afb53ea26","datavalue":{"value":{"entity-type":"item","numeric-id":5217304,"id":"Q5217304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2af6ee4e673c1375de5d71439f3dfe6f43ddfa0f","datavalue":{"value":{"amount":"+0.9361098","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":"Q3455546$1084E616-5D1A-478D-B7C7-7A196750FA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a27c9282cdb7f95060d521cff55d479df4cce8a","datavalue":{"value":{"entity-type":"item","numeric-id":2265815,"id":"Q2265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3973a64ef24ea08d1efe4cb1b64021fdd19b180","datavalue":{"value":{"amount":"+0.93474126","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":"Q3455546$2596832A-FE9E-4F7C-8419-F6D9643487EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455546"}}}}}