{"entities":{"Q2225595":{"pageid":2236338,"ns":120,"title":"Item:Q2225595","lastrevid":57789063,"modified":"2026-04-02T13:10:29Z","type":"item","id":"Q2225595","labels":{"en":{"language":"en","value":"Game-theoretic semantics for \\(\\mathrm{ATL}^+\\) with applications to model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307498"}},"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":"Q2225595$59B93BB9-CD86-4E26-B795-0B0FD30579CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c275aa1b84dc0aba7ef617c6634c373a097ef45","datavalue":{"value":{"text":"Game-theoretic semantics for \\(\\mathrm{ATL}^+\\) with applications to model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2225595$1325184A-ECEE-4405-8C68-671482FDE111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f7ef09d967191cc149d739dcf02b1322cbd40f6","datavalue":{"value":"1497.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$D42E74B7-9C16-4E18-B49F-1AB378AA7474","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$FA87A72A-0156-456A-B072-345B2E62DE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d1d40d28e0398bcf7c4805f2a1cae910df48add","datavalue":{"value":{"entity-type":"item","numeric-id":1679740,"id":"Q1679740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$2992E128-9360-4650-90D9-B9165C175ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$D40723FB-2F23-4979-BE51-91CC10062612","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$00B3D241-2A8A-42E3-A1B5-B38807CADCF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3972cc89c33d20406d53dd6cfa3d6bd85b48f15b","datavalue":{"value":{"time":"+2021-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2225595$0E90873A-3B10-41A8-8557-1BD92FFFC50F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc572591df95e00a0702bcb480ed3fdd8135193","datavalue":{"value":"https://arxiv.org/abs/1702.08405","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225595$218A5681-1746-404D-B435-8B26A3F9564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"42234af39f15c6b2fb81e39342964398d80a4fb2","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-152852","type":"string"},"datatype":"url"},"type":"statement","id":"Q2225595$578B18F0-693F-487A-8D0E-BB0A1DD66C3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$6E530CA8-0707-4AFD-855A-FAB6AD6D6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$BB3680A3-E46E-432A-8153-D5AA21FCAAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$A4D55320-225D-4879-A9F3-9709BCABB6B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd26401908e3e8e4009887dfce13720c3e4fe270","datavalue":{"value":"7307498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$EE716655-508B-4034-9A0C-D67C6397A2A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fab48301b8e6ed80e084fbdbedc0702a2e9ee01","datavalue":{"value":"game-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225595$F319ADAF-EC02-4DE1-A182-9B4E24A09409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225595$918A7DDB-C5E4-465A-B3FA-E7651A76FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79279bd5d0cb53567d00160191e207db7898d6cb","datavalue":{"value":"algorithmic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225595$575371A8-C94A-4E85-BE6D-CB22D13C2341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a5921aac08acb86c3f3ff3df6b06ff29804758","datavalue":{"value":"tractable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225595$D1187B7F-EBB1-415E-97FC-566F4B7D5537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b073d8cd15e3c518855f233c74b7561d11289c4","datavalue":{"value":"finite memory strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2225595$71809C19-CF24-4247-B56B-4A1819C82A6D","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":"Q2225595$09AB490A-5EC3-4C75-B185-CA31C914DE0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"373a8c2375f97fbb9324bc458e7fb180f0fe8372","datavalue":{"value":"W3013111319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$B11FBAF6-483D-4A1A-AB85-4B4B843B7753","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":"Q2225595$085BF484-39A1-4607-940B-5D93F811C10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298f0ef1d6a0f24e501b59d32aade4abdd3e43e9","datavalue":{"value":{"entity-type":"item","numeric-id":3000379,"id":"Q3000379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$118F33AC-59C3-4966-B123-71D87DEC7988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733c8ff50f86f78d66bd382be1bd6e20904d040d","datavalue":{"value":{"entity-type":"item","numeric-id":4691736,"id":"Q4691736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$38EC397C-8443-4D05-AAA5-61CB18D8FFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1132391fc7750ced0e1a2b3408f3e87c491b7","datavalue":{"value":{"entity-type":"item","numeric-id":2334601,"id":"Q2334601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$D558F1D1-2175-4D79-B46A-3A9793F9B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea5efcdf6f489fd488433ed1016608e720ae6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5666510,"id":"Q5666510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$CBAE1E87-46FD-45D1-9A10-FEA144FE3AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c376af624bcb2d3496d6c0f64f786c7cafb401","datavalue":{"value":{"entity-type":"item","numeric-id":5726697,"id":"Q5726697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$AD86577D-9894-4EB8-8ADB-A9B01CF56EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711924fc50de3187aa33f0ba192a73e906a3e94d","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$A57E1AAA-03D2-43C0-B95D-ECD1AD5385C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0724f03c880da110db2d809a33869a75cb2872","datavalue":{"value":{"entity-type":"item","numeric-id":2946587,"id":"Q2946587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$7A47F084-639E-4087-9B21-D80DF3A52B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e38e809e6634a4ef6da64539f67ce4a1baaa978","datavalue":{"value":{"entity-type":"item","numeric-id":5310671,"id":"Q5310671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$C9F71A57-E9E7-41CF-A5F9-76B8AC9DDDCE","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":"Q2225595$418B26AF-13AD-4FCA-AE42-EDA2F764EB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749cc7f29836a4518fcbf4b52a48feb09acc70d7","datavalue":{"value":{"entity-type":"item","numeric-id":4992516,"id":"Q4992516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$401E506F-BC6F-45DA-8C0C-84DF6D408134","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":"Q2225595$83C76E2B-BED8-4D6D-BF1F-27221BEC61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fcbf5caaa06d9b2136bcb161b6786ad2aedc9","datavalue":{"value":{"entity-type":"item","numeric-id":2495648,"id":"Q2495648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$B53CD9AA-0A95-45CF-8983-7AA7F06A76BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868791ecbb8b2fef99c94f8ac3bfdcc20ea5c8f1","datavalue":{"value":{"entity-type":"item","numeric-id":3644748,"id":"Q3644748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$F7B8C163-EB17-4FB1-89D7-A73B39E1949D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"013b378ab3df0b67c8ed7d5ba3b32b291ab61fea","datavalue":{"value":{"entity-type":"item","numeric-id":6487463,"id":"Q6487463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2225595$367B3D87-B791-431B-ACC4-0768D985472F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35edf07806073ea6e4bb96490f00562780ef9986","datavalue":{"value":"10.1016/J.IC.2020.104554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2225595$0EB99C0A-31D3-4A86-9964-7E492979725A","rank":"normal"}],"P1643":[{"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":"7616322a7babedb6e1c7430ecb237118a2b62e1a","datavalue":{"value":{"amount":"+0.8941367268562317","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":"Q2225595$43A20ADC-D59F-4343-9931-9D0D63AF6A56","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":"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":"Q2225595$BBFCF5F5-E30D-400C-8599-239B828F383C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4528fc1117a9ea3ee248f84fdf749257495eaadc","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde0187348a7bf52b8bf08a8a6f54a4a20958f34","datavalue":{"value":{"amount":"+0.8189356923103333","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":"Q2225595$20E75585-EEDF-4812-9153-2198145392EE","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":"f4dd27be3ae3142c538c83c9f9e20467ba92101e","datavalue":{"value":{"amount":"+0.8170702457427979","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":"Q2225595$0F827095-D333-4BBD-84CB-37127CC15CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e16be8de6727908d97fdd88664055d7a5c510cb","datavalue":{"value":{"entity-type":"item","numeric-id":3511240,"id":"Q3511240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a2357b5ce91553460a99d2b450732581cefac9","datavalue":{"value":{"amount":"+0.8085503578186035","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":"Q2225595$6D9303BD-E4DB-4E10-81D5-5FCBBC6F9DCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2225595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2225595"}}}}}