{"entities":{"Q4910728":{"pageid":6940307,"ns":120,"title":"Item:Q4910728","lastrevid":51673028,"modified":"2026-01-19T09:57:15Z","type":"item","id":"Q4910728","labels":{"en":{"language":"en","value":"Model checking games for the quantitative \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6146464"}},"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":"Q4910728$F8789195-D06B-4099-B8ED-7678E7E7CC59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"971cd60b4d95aa884c13938ef8cc035c274ab1b8","datavalue":{"value":"1259.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$B5274C78-B8BD-4214-A447-30A0357544E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d24718e162602f15e4bddccd1975f986946b2803","datavalue":{"value":{"entity-type":"item","numeric-id":1959393,"id":"Q1959393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910728$8794E941-9674-4C31-AD8C-C5A668242A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910728$8E7E1589-116E-46D3-87EB-B388B1C050CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910728$AD953446-E987-452F-A326-3C5E5C3210A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b36cae3d8cf11c479e6d5b4030a31d81c96c839","datavalue":{"value":{"time":"+2013-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910728$A67E8057-C80F-4D07-BCED-FCEA57DCF0BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6aee5446998b27b2f81dc72543fc1247825a850","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_29be.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910728$8AD39CF8-AA7E-4632-9AE9-59A9032B4D5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$2D14FF63-0817-4173-B985-75CD57B4E74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$4BCC7EBE-CEB9-4A9A-AE97-C260C3EC182A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$2E6F1613-3A99-42B5-AE39-A5B7A160B0F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"664db1a92f5b9227d076854758be6618a1aaed9e","datavalue":{"value":"6146464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$A530EF83-16EF-49D8-BA65-B77CAD4433D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910728$EF4A1ABC-729C-45FB-B030-6C6E3058A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910728$E0ADD714-7A26-4DA3-B1DF-B767195A6010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910728$9D69149F-9AC7-40CC-8D7E-53A34503541D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8493a0fba43adffc0c2788cec34670a1728e63e6","datavalue":{"value":"quantitative logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910728$24CA99AF-9244-407E-B949-1CE905ABFD63","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":"Q4910728$592BEF19-39F9-420A-9287-443483C59820","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96756a2a9c97af1abbc1db45e0cedfd8214c02ab","datavalue":{"value":"10.4230/LIPICS.STACS.2008.1352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910728$AC1AA1E4-2B1E-4349-8A01-EFADCFFCDD97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bec85402bc49181ca5bf3d38e43e9837903ea0e","datavalue":{"value":{"amount":"+0.9996023774147034","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":"Q4910728$4C7E10E1-5A1C-4DFB-94BE-53BF06E89B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1af73b27856c91674075529a1f22332a771f0f8a","datavalue":{"value":{"entity-type":"item","numeric-id":4428307,"id":"Q4428307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d982f4e2195c057d21f9aae97f7c77c3aa91e22","datavalue":{"value":{"amount":"+0.8448425531387329","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":"Q4910728$13AD3931-7426-42DC-8D47-36BF9A387B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92064452ea39acc1818f8b73d96c659c6cbb4aa","datavalue":{"value":{"entity-type":"item","numeric-id":2996154,"id":"Q2996154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d982f4e2195c057d21f9aae97f7c77c3aa91e22","datavalue":{"value":{"amount":"+0.8448425531387329","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":"Q4910728$998196F7-6A18-4811-8DE0-D29154A09090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6d3ab98c35ebf2d12c29c1f91478543164464c","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bed5037a7dfb4d15e6f82ef2477d78cdba7ffb","datavalue":{"value":{"amount":"+0.8377472758293152","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":"Q4910728$FBF308CD-6FEE-4E4D-A35D-A59A7FD714B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4dba186ac45c577518fbec63dff14a0c02e22f","datavalue":{"value":{"entity-type":"item","numeric-id":2914242,"id":"Q2914242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"435d164968b5415d0c18b74bbdee34078095d577","datavalue":{"value":{"amount":"+0.834515392780304","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":"Q4910728$EA40E68F-EA1F-446C-8C2A-46DA86E167BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910728","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910728"}}}}}