{"entities":{"Q3384164":{"pageid":3394867,"ns":120,"title":"Item:Q3384164","lastrevid":58149036,"modified":"2026-04-04T00:24:46Z","type":"item","id":"Q3384164","labels":{"en":{"language":"en","value":"The descriptive complexity of modal \\(\\mu\\) model-checking games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7445159"}},"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":"Q3384164$F3C634BB-9B3C-4328-8B06-619BFF0D2537","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b025435c205075cbfd911a76a00b7be790c4741c","datavalue":{"value":"1483.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384164$4F40B31D-D541-4A5E-96E8-0A4893E6E93D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a6dfb5d891e79479fbb9027d2a465e4007f4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2011664,"id":"Q2011664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$E1DB98BD-F14B-4F8D-B87F-27B52FD2BB01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d9560a2a7c80ef145e6b9b718329e3064d365b3","datavalue":{"value":{"time":"+2021-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384164$62651C60-3DC7-4563-AFF7-4A456096C708","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8812004670153cd965c9a731c3f1ea59596c1a0d","datavalue":{"value":"https://arxiv.org/abs/1708.04845","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384164$EDD610C7-F175-4007-BEDC-03F68C29D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e02b72d4116dac4c82532b35798e159f4eadf0b5","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF2017.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384164$18A25097-2AF8-4430-B6A4-6BB5DFB21E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384164$7F739C41-3AB3-488F-BD14-48A24A4BD734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384164$7AED61D7-FDD2-4A2F-8A7A-C329F5A0C099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384164$FD2C84E6-43F2-440D-B8DC-78788E9FA58C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b64e025076cb824967c4a536aedd01165172109f","datavalue":{"value":"7445159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384164$C646DE51-61E1-4CB8-A72A-3F15622E6078","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":"Q3384164$FAD43208-AFD3-41B4-B0E1-E987131111CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$3C58180C-34F5-4342-8909-99A7CDBC8FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14ca4bd4280b253262c53bf2707644111b6884","datavalue":{"value":{"entity-type":"item","numeric-id":4943547,"id":"Q4943547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$BB586CF7-6033-4EE3-B921-56EA317E6AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ccc7456ec01ded24d560374767ebb15de8658c","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$E30E9A5A-BE8F-430D-A8D4-ED14DD0CF6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a358680bf0e6b29ad972a10da07c284c97e546fa","datavalue":{"value":{"entity-type":"item","numeric-id":3519517,"id":"Q3519517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$EE357ACB-0261-4866-84A4-17277652C2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d63a8ed084a7c9199ed6e8c7a4a6fb459f0fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":3540190,"id":"Q3540190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$669E8994-31AC-4550-A63E-1EAC55140BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$75CBED3F-485F-4446-9D63-CA4E4D7BB0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$62B34F9E-0B91-4286-9054-293448BF8471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$0B231077-A0D9-460F-86DC-81563A8E6142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$7CCA8F27-89C3-4C6A-B9D3-7C0C3E8DB84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0fcfcf1c5ba22d612a37dca11e4b2044220809a","datavalue":{"value":{"entity-type":"item","numeric-id":4415259,"id":"Q4415259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$35FC38DB-0375-4604-9F4B-A7AB34A48185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a90f6eb65fc7045dd9daff614ea847537b09d5","datavalue":{"value":{"entity-type":"item","numeric-id":5014447,"id":"Q5014447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$ACED1ED9-B484-431C-98BB-937826416469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9106404a8b3b8a08893b39d7d3a1f790640c192a","datavalue":{"value":{"entity-type":"item","numeric-id":5351974,"id":"Q5351974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$17646220-F694-4FF3-A1DF-D849C3E951BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db89590f97b5de8b002ebe61919d05093cef404","datavalue":{"value":{"entity-type":"item","numeric-id":2011666,"id":"Q2011666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$C2B7E961-57A0-4EEC-815A-53B4179AA548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$D151D9B0-4635-40E8-B59D-0A21EB7CF74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8e8cc36d2b41104889e91dde28a77d4c70be46","datavalue":{"value":{"entity-type":"item","numeric-id":1229718,"id":"Q1229718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$3F7653AF-EEEB-467B-9735-8B61164141E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb9802831e4e534bc43dcf5fe696b33bff47bef","datavalue":{"value":{"entity-type":"item","numeric-id":4472245,"id":"Q4472245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$BB7E6849-EB79-4825-B71C-A492DBF4A03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$C37C2C02-352C-42D0-B2F2-D33D028A3FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3fc2a80a4b787f58f89834fc161f3ce3f506713","datavalue":{"value":{"entity-type":"item","numeric-id":4251069,"id":"Q4251069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$26FDBB6B-D4DF-4F19-B755-4B138E25EFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee01ae61518fbe11b8b3e07778bce3687a4d433","datavalue":{"value":{"entity-type":"item","numeric-id":4598240,"id":"Q4598240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$16D8A16D-FFF6-4897-ACD0-24DE6F8302F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"498661e57f097849360a48f48785a3868e7f1cac","datavalue":{"value":{"entity-type":"item","numeric-id":1606130,"id":"Q1606130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384164$E9BDCA0D-5C11-491D-9BDD-FEABAADAE4C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f64e1cc9e28415bc1698d193f330c3828678adc","datavalue":{"value":{"entity-type":"item","numeric-id":5952907,"id":"Q5952907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7579ab91b8e94b2dc4a16e58ff510d7bac7942d0","datavalue":{"value":{"amount":"+0.7864384055137634","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":"Q3384164$B77F3648-9A46-4A2E-916C-7A3308CA7054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ead4246232c8d976f6ef9781357f494dc1ae61","datavalue":{"value":{"amount":"+0.7714884877204895","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":"Q3384164$0D05CC12-CB7D-406D-B5F1-4CBE157FDF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0d8bebcc4cbbfe25e9f476341df7bee78bf82d","datavalue":{"value":{"entity-type":"item","numeric-id":3540190,"id":"Q3540190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7aa26d3658fc2eb46c7411aaa68f0a1a04151e5","datavalue":{"value":{"amount":"+0.7647176384925842","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":"Q3384164$3FF0445F-9A53-4AD6-8BE1-B07BED5BD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14396cd9bd793a2ddf8fa5ff64e5c9589086b357","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f366bf3c6c6ae06afa34cdd9365eb2696dada29c","datavalue":{"value":{"amount":"+0.7592031359672546","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":"Q3384164$43A1D215-8BDB-45DF-A8CA-BC5D8D257BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf62b4a903332dcb7c5f34f2745ea2d7fe1e8037","datavalue":{"value":{"amount":"+0.7562083005905151","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":"Q3384164$E6D21ABA-09B8-4260-B49F-6B3A8564B5F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3384164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3384164"}}}}}