{"entities":{"Q6104811":{"pageid":13239118,"ns":120,"title":"Item:Q6104811","lastrevid":47868037,"modified":"2026-01-02T22:37:07Z","type":"item","id":"Q6104811","labels":{"en":{"language":"en","value":"Automated Verification of Concurrent Stochastic Games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7703958"}},"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":"Q6104811$EF5789BE-D6F6-4FF7-BD44-09B1DDB191B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bed7bfd636f46ffa93e4c5a5acad2f06d5628847","datavalue":{"value":{"text":"Automated Verification of Concurrent Stochastic Games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6104811$866B0AD0-C2D7-4238-9DBC-013DE69CC5E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ef77ad557bfb9827d734a12d1a43b23a0a2ef5","datavalue":{"value":"1514.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$F1D68B3A-98A2-4ED4-A766-1A26A93F0FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4206682b27eb4e1b5d8f64466150bf90ce29ecc","datavalue":{"value":"10.1007/978-3-319-99154-2_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$110344FA-9E93-42B4-88AB-7489C79176A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"14c790a373839096cbb828adccdd03da8785642b","datavalue":{"value":{"entity-type":"item","numeric-id":5194919,"id":"Q5194919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$2132D319-DB11-43FB-A2A6-C0120D49DDA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b878ec3713c817dca00288e268c11822e517167","datavalue":{"value":{"time":"+2023-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6104811$3E45ED7F-0CEC-4169-98AA-19A9B35874CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d42841ab8ecf9637055a5fa41d2c4fcdefe102e6","datavalue":{"value":"https://birmingham.elsevierpure.com/en/publications/6d1f0f80-896e-4dca-b071-aecdca6ebf1a","type":"string"},"datatype":"url"},"type":"statement","id":"Q6104811$957B3D36-FE6F-4CA8-B583-9EC1A70FAC3D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$C07F07B1-E5D3-4052-878E-4C4930B67C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$065533DE-D8C3-48D3-A433-1DD1A8F0BF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$8708D6F9-B5F2-4D61-81D0-1B79735177FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68916290635f4d7d106c7754c38e00c4d2cedf2c","datavalue":{"value":"7703958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$4676A4CD-DAFE-4D0D-9B60-77601BDE879A","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":"Q6104811$9FCD2056-91CA-43C3-B0EE-BF78DCAE73AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46ce8ed44368f38c611de30bf437f1f5192cdf03","datavalue":{"value":"W2886584225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6104811$ADD13130-CB99-4633-B4D2-53003C5F6C22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"96755a14af5db4e33c8082e7c40e98f6f2d4157e","datavalue":{"value":{"entity-type":"item","numeric-id":2465027,"id":"Q2465027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$01715FC9-CF58-4311-9DBA-C04C83FC1D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22fdd226603565c4037f9eedf3fafc8fd55bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":1887716,"id":"Q1887716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$A56CD664-47F4-4D70-BF7F-F8CDEBA98015","rank":"normal"},{"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":"Q6104811$9648084D-B647-4253-9566-DF3078134C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"138bd029d6177c104975ed5cd12f9db74ad1e3e4","datavalue":{"value":{"entity-type":"item","numeric-id":355506,"id":"Q355506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$5B6E86CD-68B3-4B64-BA13-D7B40952E4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f797173b5b805e966fa2d55f1bc3618dd306318","datavalue":{"value":{"entity-type":"item","numeric-id":414898,"id":"Q414898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$BD0F2606-E165-47F8-B1E9-2130696F037E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e132eb6e4129ec3907e531e05dd7650eccf8ac77","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$B94EC134-B4CF-4EB0-AB6F-2E651FA9949D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"614c6e62be4436a6012854ed27b0876322223f5b","datavalue":{"value":{"entity-type":"item","numeric-id":5528211,"id":"Q5528211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$BF82DE5C-E030-480E-9331-E854484E32F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"644542c843fde88c5d346b3bce672efffa53dece","datavalue":{"value":{"entity-type":"item","numeric-id":4254699,"id":"Q4254699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$4A8DF04A-D70A-42B8-A54C-65803E64B4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c1684f85b15799d6e7e0fbb8ee8dc35bf41e3","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$B0089769-E969-4EB2-AF65-D44C2533C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$35C8F7EA-A738-47EA-99E7-1CA4F335BAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c666a79fc592174c4038c17bb6d8f45ed067fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5844986,"id":"Q5844986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$A2E0A568-BDEC-4ECB-B4BD-D0A8A2AA6089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72118b2bfd3309b966d02b0d911523710a400f09","datavalue":{"value":{"entity-type":"item","numeric-id":3984137,"id":"Q3984137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$B43705D8-6991-4B96-8C0F-E67F24CDECE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1c4e78a3ebad8543e6d197ca3bb2a1d86a331b","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$9CB5FE24-3CF5-42BA-B1E4-7520971D0F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65bfc123f5d88b56f329f08eccbcbf01bff65981","datavalue":{"value":{"entity-type":"item","numeric-id":2787450,"id":"Q2787450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6104811$F62BAEA7-8E46-479D-B3A6-5C59B6D9355F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08779ddd014f289b27a34923fa30c66d069b83f3","datavalue":{"value":{"entity-type":"item","numeric-id":2147696,"id":"Q2147696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ac0cd4ad37440e3ffba7c3f14a57bb77afd9b2","datavalue":{"value":{"amount":"+0.9286501407623292","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":"Q6104811$581F3BF4-BE77-4F39-A495-E4CC788AAEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e904ef4134bbadb4e9373914d928f260c73e59","datavalue":{"value":{"entity-type":"item","numeric-id":2056983,"id":"Q2056983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b6528f9750b3863956ccd0df1886dd4d788467","datavalue":{"value":{"amount":"+0.8716314435005188","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":"Q6104811$55DB8E4A-4140-4BC1-9145-811C1792D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046b70682a14fed891a2bc285b821103f9d2d165","datavalue":{"value":{"entity-type":"item","numeric-id":2894279,"id":"Q2894279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539ccc63ee4a40b605866377cf184bf3f068e884","datavalue":{"value":{"amount":"+0.8657413721084595","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":"Q6104811$C101335A-4A5D-4393-BC3A-14EBAB513C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0b2eb5b630e8f79eb1037d961943775226b09ea","datavalue":{"value":{"entity-type":"item","numeric-id":2248068,"id":"Q2248068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69a038eac366a21f9d5155df4c9ca9a5673b17e","datavalue":{"value":{"amount":"+0.8598932027816772","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":"Q6104811$81B5E471-4A03-4CE5-891A-8BFFD2FBE679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e918711360c484e2665b80676868ed47ff869e5","datavalue":{"value":{"entity-type":"item","numeric-id":328165,"id":"Q328165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2227f77a347c65479dca9113a9864541726ea58","datavalue":{"value":{"amount":"+0.8519513010978699","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":"Q6104811$7BDFF7B8-483F-43D0-96A7-C3B40DAC4EF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6104811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6104811"}}}}}