{"entities":{"Q671352":{"pageid":673201,"ns":120,"title":"Item:Q671352","lastrevid":63590793,"modified":"2026-04-11T14:11:41Z","type":"item","id":"Q671352","labels":{"en":{"language":"en","value":"Games for the \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 983251"}},"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":"Q671352$3176CA3D-EDD4-4725-9219-224AD842989A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a5724fdb6313a1d6c636c168122cc711680f18e","datavalue":{"value":{"text":"Games for the \\(\\mu\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q671352$EEE8D393-1C18-4D17-ADAF-823446605AF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"417d396517039cf1583bd917e4498b992c185cd8","datavalue":{"value":"0872.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$F9C110FD-5004-48EE-AE7F-794581AF67C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10c6f51903b06fa40dd5926dfcf41dd933d2bdb","datavalue":{"value":"10.1016/0304-3975(95)00136-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$23FD0318-114B-4AF2-AE8A-394AB8077E0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$B529731B-0435-4529-9610-D9778FC1E4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7ca2c8d9fdc63a57bd7a5ed2a91e6844e83ecb","datavalue":{"value":{"entity-type":"item","numeric-id":607441,"id":"Q607441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$1EED1279-DC6C-4087-937D-CF8ECBD421A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$29AD0BA3-B11D-463E-8A46-3AB68A56DC3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q671352$D4D9587F-A5F6-4384-AB77-7F2005C74B54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$6A84AC4B-9F45-4C9B-BE6F-797B8D95EB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$DFC13512-F8D0-40C1-833C-3FBF51E9F1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$8EAE8DE4-CCF4-47EA-8709-EBB76AB63C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$930678A7-4D87-4C47-9179-BCD5AEF57C56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a748752b28b41486579e050546277762110aec72","datavalue":{"value":"983251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$292F1B9A-4030-482C-85E2-2D5A006048AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1677c1cec4841ccd0c49aff71b92a5c9612be2d3","datavalue":{"value":"propositional \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$3370644B-4B32-4C09-AAF5-38ACEF798873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d24359b30cedddfbdeeed46b47092a6fd63018","datavalue":{"value":"model of a formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$F2C2FD41-1417-4AC8-8A46-1A4F11123EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548e70fc1fd5fef5e83e94a4f6edb9b7a2faa4c9","datavalue":{"value":"relation of a formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$D358F9BF-48CA-46C5-974E-141A4B8899CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d56b07319325ae00b11115441d9ff6659a2a4c98","datavalue":{"value":"Martin's determinacy theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$0403749D-5097-4476-B0F3-D6FBD307371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d29ca336072ae94a5956b220f122b324d515839","datavalue":{"value":"regular trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$BF79D1FF-4B6E-4F97-9FBE-154C3B512A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24facb5c3e77aa87e034affdd737b43f253d42b2","datavalue":{"value":"model theorem for the \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$E5E6B7FF-15CB-48C0-9946-D13C12A3BD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbc35e1c6a295e9bfef4fda9be6ea6d59185bb94","datavalue":{"value":"testifying incorrectness of a program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q671352$AD4D9914-594F-4215-BF4C-703515FAA4B7","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":"Q671352$862B6ADE-F91D-4D6F-AF85-5F16240A2607","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"662d8185288a24503f926ccb46a1410898806783","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00136-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q671352$9BBDA1CC-0C72-40C1-AB6E-6133A2A0B6A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dffc503ad76d1ff1dee67ac5fc40391abf5c62e9","datavalue":{"value":"W2467982476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q671352$787937EF-5E4A-4B58-9582-00A73791E829","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e6a970ef833d1f16c56166519e7e5cabfc785e","datavalue":{"value":{"entity-type":"item","numeric-id":1325848,"id":"Q1325848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$3BA8E046-F03C-4FEB-935E-F958983C3BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a059efc4a1f49c1ef5ee155acd97eb4522ead2f3","datavalue":{"value":{"entity-type":"item","numeric-id":3906386,"id":"Q3906386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$FDAFD4EA-E607-4D55-B93B-4361279A25C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$C14A9384-3A16-4C80-A06F-9120A8D4F75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd16140da76f75d849cac29e88fa8b96bed9a22","datavalue":{"value":{"entity-type":"item","numeric-id":3203012,"id":"Q3203012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$39F822E7-2DB5-4596-9535-831E5BAC01F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$4AF65DE5-DC98-44F4-8529-09BE2BAB744A","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":"Q671352$E161BA31-3E95-4CF6-94D4-5319697F3BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$167340D9-E5A4-40BC-85BE-B8CDEBFEE60A","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":"Q671352$DA0F9088-C2AD-4255-962F-1A87E51FA1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f0c3549d5b8155ce7e1ff13ae07abb3b6da851","datavalue":{"value":{"entity-type":"item","numeric-id":5322161,"id":"Q5322161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$6C1C2ECA-0249-4EEA-B1EF-0831CFDD3961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a50bedffce465f6dca8b90f3cc27a20109b172b","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$70DBE616-C1D8-4A13-90AF-874D4260C5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4614c3d7786f0db16d6ca3adbca9b075e1b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$38952A80-3941-4427-913B-88627BFE7571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adb1e48aa7d82b462397e04de8ae48c530c0de9","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q671352$8187551D-D549-4F72-B679-A060BBCF8DF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6343f32cd8650c017ed3dfca336f2278aa42b6","datavalue":{"value":{"entity-type":"item","numeric-id":5689266,"id":"Q5689266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfe9462766d08091c02abe763282ac6f58e96278","datavalue":{"value":{"amount":"+0.8250666260719299","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":"Q671352$DC4F4EFA-D97E-4644-A32E-A319FC0A2C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ea174c4f8fc610217620bf717a4bfd3b3527ee","datavalue":{"value":{"entity-type":"item","numeric-id":2814623,"id":"Q2814623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92468c8449ad264f972714d51e25e322ea597142","datavalue":{"value":{"amount":"+0.8206185698509216","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":"Q671352$FC344640-3A8E-42F0-B662-A9C963EDB10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade5bf4d76fbd0e376b47448f793f09e728564d2","datavalue":{"value":{"entity-type":"item","numeric-id":4411813,"id":"Q4411813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ac22d527824b50660d6230676dca74ab9bf35e","datavalue":{"value":{"amount":"+0.8104939460754395","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":"Q671352$FD69D531-BB22-47F9-9509-9FBB045BDA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b644bc7578fbd64adf1e3b04b02145d1d28ccc7","datavalue":{"value":{"amount":"+0.8005457520484924","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":"Q671352$6CB84FE9-12EF-479B-B169-E07E4A2F0C01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Games for the \\(\\mu\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Games_for_the_%5C(%5Cmu%5C)-calculus"}}}}}