{"entities":{"Q3056329":{"pageid":3067045,"ns":120,"title":"Item:Q3056329","lastrevid":79995092,"modified":"2026-05-06T15:11:52Z","type":"item","id":"Q3056329","labels":{"en":{"language":"en","value":"Model Checking Logics of Strategic Ability: Complexity*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815350"}},"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":"Q3056329$D7F54172-2121-47CC-8E50-E13E56537C40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4536b3db377f788d121d88ffa069b45b396e94","datavalue":{"value":{"text":"Model Checking Logics of Strategic Ability: Complexity*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056329$8654ECC5-6910-469D-A8EA-D72C6CC0A2F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af07116d464e47498e3f3add28031a62c6831aaa","datavalue":{"value":"1201.68070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$4E025FCE-4AEA-48F2-AB59-1E1013BD701C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d55370bfefeafdc7e90a1b20f05cbad4a2895b1","datavalue":{"value":"10.1007/978-1-4419-6984-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$301DF4F4-1730-46C3-837A-6529F4F891B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b9423b0b2baca2110a761b9b652ec81a9281b75","datavalue":{"value":{"entity-type":"item","numeric-id":3056324,"id":"Q3056324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056329$460C2E3D-7FC2-4F21-B397-64DB161157B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3056329$16556EBE-E3B0-44EE-9043-EEAE4B615C98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$D5739EA5-C1B2-47D6-ACB9-C0F5B6FDFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$82F6BAF4-5BD8-4A9E-B8DD-26AC65EB3273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$3F2E25A7-9459-4DA8-9887-C2222DAD420B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$21D05FEE-850F-4D50-87BA-5E882AEBFAAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d9445d5737890d51640c52e391dcab657a5f346","datavalue":{"value":"5815350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$6C2B18BD-3898-4BDD-8810-BAD778670CC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$DF0824B4-6DC3-4834-87C0-5F4B3984E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$3517B0FA-C786-4B5F-9E27-5599769D72EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$EBFA98C5-4E47-47A3-A168-03D6A20E000A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa46675907beebfac19293458840e7a0c6b7392","datavalue":{"value":"ATL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$599899A2-A5DD-4397-A224-0D10A5454167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e9037fd2de4fbaf8b93ab5af0b7d4bc617c0980","datavalue":{"value":"concurrent game","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$102EE8C7-2397-400C-9003-E8F2D5F4B70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dbce034edb365ec6edbf6050910a7738e73c734","datavalue":{"value":"temporel logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$262FBED3-4F30-40BB-BDAD-52E1B9B327A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8a6cdf022e043ef375f2ef2be39dfc2c7a5ed2","datavalue":{"value":"strategic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056329$CE5B8CC3-F62F-43EF-AFB2-6686BE52B4E5","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":"Q3056329$E82A0195-5177-4AF7-878F-CAA6F279B08F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a297f645c4328ad5236ecbf774766d51a53cc96","datavalue":{"value":"https://doi.org/10.1007/978-1-4419-6984-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056329$B78A5998-A8A3-4042-9DA0-B90C480D57BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e0031c374caf66ffc4174d76560ac605cc373f","datavalue":{"value":"W199673169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056329$C4631955-E97F-41E7-B61D-DB13034C6C80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7808a8e5785c38ccffbbd75566cb424254b5c1e","datavalue":{"value":{"amount":"+0.9102037","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":"Q3056329$CA0B1EBF-04DF-4699-9207-5BFFEDB37CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b81d1b70838e8565c9881135c2a27e53d93793f","datavalue":{"value":{"entity-type":"item","numeric-id":3614880,"id":"Q3614880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7f5cc313a1684d1fb920c1618e6753bf3036d7","datavalue":{"value":{"amount":"+0.90665203","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":"Q3056329$EFBD0968-9B00-4938-8285-55F9432C0D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6d9fb1738637d081de8ee94303a9b6181707ed5","datavalue":{"value":{"entity-type":"item","numeric-id":5079765,"id":"Q5079765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237b9366f863f34665a0afeaebdaffd55daa9726","datavalue":{"value":{"amount":"+0.89603645","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":"Q3056329$48DFDF54-2BBC-4380-A655-EC4F9AE3A800","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":"e9a1ce355d50b33df4e7c1ae1942c39ee9375cde","datavalue":{"value":{"amount":"+0.8947771","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":"Q3056329$E315D690-4161-4C2A-9EC4-995BAAD6CE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1d6a1b09c609b460b44b27c6aa9d15b15edc47","datavalue":{"value":{"entity-type":"item","numeric-id":5357709,"id":"Q5357709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384ab80699ff81f643ec592771bb4f6f404f8609","datavalue":{"value":{"amount":"+0.88583124","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":"Q3056329$4F22C717-D37C-4107-B9BB-ADD1B7209F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460bfc6c534cced729aa559c86b2e57588d153e","datavalue":{"value":{"entity-type":"item","numeric-id":2817409,"id":"Q2817409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1969134cb2d846c90c2c018ae474305c21a53e62","datavalue":{"value":{"amount":"+0.88125426","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":"Q3056329$1E88FCC6-E2EA-409F-A731-8E82DAE1617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b60c55211c8482274ac6bbf2822c7f77377396","datavalue":{"value":{"entity-type":"item","numeric-id":901359,"id":"Q901359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"485c6a7cb7e611eb481ee1d2e007b6beacd72c7b","datavalue":{"value":{"amount":"+0.87686837","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":"Q3056329$08F14184-7057-46D1-8CB2-E18612983855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e518703f404cf1af48874303b11d87742b0afae","datavalue":{"value":{"entity-type":"item","numeric-id":5079747,"id":"Q5079747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d905489eb5dbfe6ab6a0c88d48498c5aa1aed551","datavalue":{"value":{"amount":"+0.8665999","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":"Q3056329$F5AC5DEB-50C0-437C-BB64-A1B835DBE22D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model Checking Logics of Strategic Ability: Complexity*","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_Checking_Logics_of_Strategic_Ability:_Complexity*"}}}}}