{"entities":{"Q6535956":{"pageid":14147099,"ns":120,"title":"Item:Q6535956","lastrevid":103666643,"modified":"2026-06-06T07:52:07Z","type":"item","id":"Q6535956","labels":{"en":{"language":"en","value":"Equilibria-based probabilistic model checking for concurrent stochastic games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817381"}},"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":"Q6535956$E861462F-E6DA-4855-91DA-5F38D22300B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd773861e39db4fc45b1ae42b502b408706eeeef","datavalue":{"value":{"text":"Equilibria-based probabilistic model checking for concurrent stochastic games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535956$B2B46B33-E2DC-4D67-9DE5-6D1FF613BBDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f98e9814e6105e60a4754849d235fb45958c941","datavalue":{"value":"1539.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$AD4B1B79-73CC-47F2-BC93-1ED843A08837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d558350a1463abe646724dda658db1a3d359a81a","datavalue":{"value":"10.1007/978-3-030-30942-8_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$DDC28E25-3901-402D-A193-F8E137AABD0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9491c0a0f4df059e837824eca71ad92c31ba0be2","datavalue":{"value":{"entity-type":"item","numeric-id":278754,"id":"Q278754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$345E673D-2702-4FC3-B518-29E7C8243D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31452a7b9d2814abb45eb9a3a707bde26241b486","datavalue":{"value":{"entity-type":"item","numeric-id":278755,"id":"Q278755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$3AE1CD4B-AB35-41CB-B509-E7DB9186C129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec9e383b2ff38aa95972177811b3e0eabfbae68","datavalue":{"value":{"entity-type":"item","numeric-id":6535605,"id":"Q6535605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$154FDACA-B461-4C68-A80E-20D706B8B2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68a96b09dff963cd7bb68f0d3ae864151b4a00ec","datavalue":{"value":{"entity-type":"item","numeric-id":904292,"id":"Q904292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$5511BACA-0295-4C66-979A-1C724E95958C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-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":"Q6535956$DAAB8F86-ED6E-40BE-9536-FF49B397402F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$576EF080-189A-4BBC-95C2-965170619E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$2A936B14-A7E4-4014-B24E-3025B78BC3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$C2F59BCE-28A3-4939-905F-CD88BD3133B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"108d6665f66a8a66da1116518cae70981dda2bd0","datavalue":{"value":"7817381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535956$B8BA21C7-781A-4674-96FA-9DE779119D96","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":"Q6535956$C6C9410A-E5FB-47DA-88D3-65653CFEED5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa696feaabd4bd394b2480e10c573c4753acee86","datavalue":{"value":{"entity-type":"item","numeric-id":4270052,"id":"Q4270052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$ACD7563D-4695-4536-9CFC-6C6DA774DE31","rank":"normal"},{"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":"Q6535956$76D5F3A8-9A66-41A7-8907-16C2E22891C6","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":"Q6535956$92D5F15B-89B8-47D2-A1CA-10284BACF8AF","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":"Q6535956$F56A6BBD-C9CE-4626-9958-36629FF3EE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4943f4466b49bd467d99530da9732a46d4d2372","datavalue":{"value":{"entity-type":"item","numeric-id":1641028,"id":"Q1641028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$1C7110AD-6C8E-4844-8B00-490B0BC8C69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$7B7E911D-BF61-4224-B563-0A9EAB6140C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ee1fe3de45bd2b1ea2f3057a4dad51185399c2","datavalue":{"value":{"entity-type":"item","numeric-id":2978527,"id":"Q2978527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$8F187C8A-44E2-4B2C-B890-494BEC710D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1258efe8f9da5f00c7ea87dff2a7b88149bc3c5","datavalue":{"value":{"entity-type":"item","numeric-id":5015269,"id":"Q5015269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$A897291F-07E0-41E3-98C3-6B27F800AA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8e283adc934151ba130ed51c6424cab9da173c","datavalue":{"value":{"entity-type":"item","numeric-id":3613343,"id":"Q3613343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$D431FB52-5224-4152-89B9-958401446B36","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":"Q6535956$AF299D2D-16BA-4D4F-9531-4FA31212F05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce32087d1da7cec38389830a5d4c77282c9a4c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3512436,"id":"Q3512436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$D201C830-84D5-42FE-A9BF-16CECF5F15D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b89c8bca36d366cdd3a48846cc88da3347e98a","datavalue":{"value":{"entity-type":"item","numeric-id":5311283,"id":"Q5311283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$479D34ED-6888-4C40-BD9E-FB0CA28F1B23","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":"Q6535956$BBA85890-0C81-4900-85CF-F8ED02B4582D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e31056e2a908fb2621e92d7ff5bef8ad3560322","datavalue":{"value":{"entity-type":"item","numeric-id":2849916,"id":"Q2849916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$1266FC08-23FD-4D53-BCBD-175C1B912831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95487db302426a7e48ab59e40ae2b09099ff781f","datavalue":{"value":{"entity-type":"item","numeric-id":2636515,"id":"Q2636515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$185942F6-3F0F-4C11-B547-E43B196BE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$6AF73C07-9CFA-435F-8438-A8DD994D1FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3271eef31571c9ec9c914bf2cb669d0e0bbd0ee7","datavalue":{"value":{"entity-type":"item","numeric-id":6041135,"id":"Q6041135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$3B8C495B-56C9-4D5E-8A98-A3BB3B84B321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cad573dba94a132652f8a1e3e2fd0b035c3c734","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$8C2EA9D6-BE46-4E60-B577-39EF44964C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdcb760dd02abd760f8a38519687cb358eff55d","datavalue":{"value":{"entity-type":"item","numeric-id":5166673,"id":"Q5166673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$9D7AB475-118E-435C-A1A3-47DB5C764150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4147b894cc9ce75853108ec8ca9896a72c6037","datavalue":{"value":{"entity-type":"item","numeric-id":5335815,"id":"Q5335815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$D7A7E95C-892C-4351-ACFA-7184BE38EBEA","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":"Q6535956$DB675591-08E9-4C85-AFD3-9515045AEA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64c70480d1e1800573a0a08c506cef7987427635","datavalue":{"value":{"entity-type":"item","numeric-id":5432685,"id":"Q5432685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$FA3B2414-E344-41BD-A54C-1AEDB0E3D9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778fc54eff9093e01dbcf48a698106aca06a62cc","datavalue":{"value":{"entity-type":"item","numeric-id":3512518,"id":"Q3512518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$0E1DBE8E-5DA6-416F-A7E3-66699B75A894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b12b5be98a35df6fc56ca7acd8d459b16237092b","datavalue":{"value":{"entity-type":"item","numeric-id":4602966,"id":"Q4602966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$F5881DD1-04AC-40E8-A3BA-0E85653BDDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ad2f1953773ed8b7be0ea2c56d94a298059a64","datavalue":{"value":{"entity-type":"item","numeric-id":5928239,"id":"Q5928239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$CFE1AE59-6C5C-4C43-BC68-656E3D684030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38b856d929dc29f3c1e591a3222a8259ce094b68","datavalue":{"value":{"entity-type":"item","numeric-id":4143064,"id":"Q4143064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535956$CC3ABFB2-8C67-4877-AA67-F26C938B2D27","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":"Q6535956$EEA13ED2-BE03-4484-AA78-9C928AC1ACA7","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":"6ba526686df7b548b77bc9bc30e526df00e1afbd","datavalue":{"value":{"amount":"+0.8757649064064026","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":"Q6535956$E5E07CB5-7EED-40B2-A00C-70F4ADB45AC6","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":"786bac6c770f2f28404e64ce7c880bfc3f544a80","datavalue":{"value":{"amount":"+0.8745490908622742","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":"Q6535956$050AE53C-681A-4473-9A38-0C0BADC1F6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5ea4377983e95d0b646e0e7578c5018c3ba0cc2","datavalue":{"value":{"entity-type":"item","numeric-id":6104811,"id":"Q6104811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2045fd9624103ea1d672069eb1c31037aba548","datavalue":{"value":{"amount":"+0.8433834910392761","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":"Q6535956$AA0026E2-34C6-451D-B4C5-E1A461E141E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c38df574bcda4459ff8af7b227358dc29f7cc426","datavalue":{"value":{"entity-type":"item","numeric-id":4598136,"id":"Q4598136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed0d937e0845ba91e7e0562d43a95589982a410","datavalue":{"value":{"amount":"+0.8190816640853882","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":"Q6535956$21925539-42E8-47B4-89BF-FD4F03E81BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf17e7de2aafadd7a524a6bf8e2d03721e967385","datavalue":{"value":{"entity-type":"item","numeric-id":5326324,"id":"Q5326324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0efe50d380907944919341fa38cadd31597231","datavalue":{"value":{"amount":"+0.8176862597465515","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":"Q6535956$AD8CFA6D-01F8-49E8-BE77-706C3F0B06A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equilibria-based probabilistic model checking for concurrent stochastic games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equilibria-based_probabilistic_model_checking_for_concurrent_stochastic_games"}}}}}