{"entities":{"Q4992516":{"pageid":7022093,"ns":120,"title":"Item:Q4992516","lastrevid":91061627,"modified":"2026-06-04T22:09:34Z","type":"item","id":"Q4992516","labels":{"en":{"language":"en","value":"Alternating-time temporal logic with finite-memory strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356861"}},"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":"Q4992516$20CFFD1C-A4A8-4C02-A2AB-29254C8741FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c85ee0255ce7baee447cc26392f5ddb685f74cbe","datavalue":{"value":"1464.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$506989AD-711A-40EA-8886-60A87CA94626","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5855e6ae1b25b2b15c97661e3de0cff467dfe34","datavalue":{"value":{"entity-type":"item","numeric-id":528189,"id":"Q528189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992516$FDCD6AF3-349D-4C5C-BD26-C8A450507245","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77b5c623a3a71eb9e2cd375aecfe8a36962b32c7","datavalue":{"value":{"time":"+2021-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992516$5117BFA2-748F-425A-AED3-2F489C686147","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2541fe081faa3d4f9b0573a7b297177315a76f32","datavalue":{"value":"https://arxiv.org/abs/1307.4476","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992516$73CBE7E7-0733-424F-9588-2A082A740CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"501ee8bdf9d027149c84b928c1122634c5504d5c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2013.17","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992516$B4102ADB-51D9-4333-A097-C26B1BAE6336","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$7A02C000-A622-4336-955A-BA12003489E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$ED77329E-32B0-4352-9348-9868068D13F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$E4DAD791-F42D-497B-926E-D4BA7CD0B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$9AD68FF5-F5F4-4B21-8563-47915F386149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$B181FA68-0FEB-4BC5-BED5-B74DA6C45F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"993c35e7c6d2c38379d4160e9b2c0211bf0b3115","datavalue":{"value":"7356861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992516$5586AAF4-F8D0-4C96-AD61-D3994FFC7FE3","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":"Q4992516$6A3153FC-A18A-4705-B0BB-895C6FDB3EEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"921f9905cf005cee930391936e86cb85105ad725","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95293c39300fecb121053975b3c8131fe3a8577","datavalue":{"value":{"amount":"+0.884397029876709","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":"Q4992516$A49DEB62-3B95-405D-B35D-13C1FCD735BA","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":"8e3ccf00f8cd95c9ca592b0d806f31a2bf7f686f","datavalue":{"value":{"amount":"+0.8839778900146484","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":"Q4992516$802C13FD-1274-4BE7-9D36-8E1AFEE10E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"300763b0ef474757056449c52539fa64b3fde2b1","datavalue":{"value":{"amount":"+0.8506571650505066","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":"Q4992516$7DCA875E-90CA-4B27-96E3-4C66C7E244CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0fe266c2783e139d870e4260283879eb3818096","datavalue":{"value":{"amount":"+0.8490586876869202","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":"Q4992516$2604C93E-A2AB-4F19-BC8E-1CC211FACB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a4daf06ffdeece52375ea122e6f15fefeb94b","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d5f373c9ac66c7dfeef72180560d81405accda","datavalue":{"value":{"amount":"+0.8420707583427429","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":"Q4992516$926E495E-CCB9-4DCE-A027-DCC482B9D776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternating-time temporal logic with finite-memory strategies","badges":[]}}}}}