{"entities":{"Q832295":{"pageid":834143,"ns":120,"title":"Item:Q832295","lastrevid":64675296,"modified":"2026-04-11T21:28:36Z","type":"item","id":"Q832295","labels":{"en":{"language":"en","value":"Model checking finite-horizon Markov chains with probabilistic inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498198"}},"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":"Q832295$A3493693-32B4-4ACC-8119-15E890A183F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75ab3c6352e40e36e6d94dbacac7f3262ceeca24","datavalue":{"value":{"text":"Model checking finite-horizon Markov chains with probabilistic inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832295$ED7EC32D-41E4-4754-9474-F216D2CFE646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ec7a16b3cd29f5805bdf49540b2a52f188a0a16","datavalue":{"value":"1493.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$B7C79144-1B9E-44CB-AE40-493BFF1F6064","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"065db076edc91c74b6e710d83c799c01fa3d1007","datavalue":{"value":"10.1007/978-3-030-81688-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$27B8B534-CBBA-41BD-917F-907DD41C9478","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1e8cb3a3233f77bca4676595e33ea6bf48c4c91","datavalue":{"value":{"entity-type":"item","numeric-id":832292,"id":"Q832292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$15FDFC1A-15F1-48B0-9071-F5663508E85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$BD2D53E4-4930-4EBD-B549-4A55BB1628DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43340fc4c82f0c54488604dddf07f886046ddd4","datavalue":{"value":{"entity-type":"item","numeric-id":832293,"id":"Q832293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$9A4726D8-CA62-4624-8682-859E5C706FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$2E6EBE83-EF97-4910-889F-B9E7A81598AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be75272709f70dc16737b7d1b8d5c3efdec24dec","datavalue":{"value":{"entity-type":"item","numeric-id":285932,"id":"Q285932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$569E8974-7398-4A68-AD0A-551C2C82E30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c1081360ab26afc25516434bb090f38d713a81f","datavalue":{"value":{"entity-type":"item","numeric-id":703851,"id":"Q703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$AD5EBF07-6C43-4A22-BE02-3A5837EB4AC2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832295$D111DDEE-E5FD-471D-98EA-D7CC54C16F8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"831fe6fed799c239ae6d9d6c6ec403b7b0c1cb9c","datavalue":{"value":"https://arxiv.org/abs/2105.12326","type":"string"},"datatype":"url"},"type":"statement","id":"Q832295$C1AA925C-249C-4BD6-B62A-7A7B6D67016E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$7FA94E4A-2A4F-434C-81CF-23DA23516652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"69417b84cc431ede4e5ec12a55be58b45cd19ec0","datavalue":{"value":"60J22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$E8C1336B-B162-421E-A4DE-31A0D910F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$18F31E31-47E0-46A9-AEA0-1E914F57511D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9200b3ee904e6705b8dd97e8e9f050a326125af2","datavalue":{"value":"7498198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$4A9E3F2B-3999-499B-9A9C-D0412DDEA88B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae7c3da40ff2124bf1a8a2a7001ef7dc16ad267a","datavalue":{"value":{"entity-type":"item","numeric-id":19009,"id":"Q19009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$53EFDFFF-59F2-4E44-85B7-DEE6A4673143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$AF3DE4C3-DBAA-45C1-AD69-C54026109731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e58ab5907177ba37b3ef671f6006cd20132dfc2e","datavalue":{"value":{"entity-type":"item","numeric-id":22167,"id":"Q22167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$1D7B3C2C-3420-4E89-BFC1-52D9FE979421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"852e4a219125da37345a2196d87b2c3689f0b703","datavalue":{"value":{"entity-type":"item","numeric-id":16607,"id":"Q16607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$07000AAD-2B69-4BEE-9962-49758E8F5A30","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":"Q832295$CC3D1348-2A81-4BA9-B985-D778065F6D43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7904359f161feeea4ff719aff3b45753728b8977","datavalue":{"value":"W3184096451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832295$1D14EB3E-8BF8-4D4D-9B60-B9B1FABA7B9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"046a2eb18cc46928e497b0f01f78c5782db2b2a3","datavalue":{"value":{"entity-type":"item","numeric-id":4518905,"id":"Q4518905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$5A7BE187-48E4-4461-A1B5-8EB6D652AC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43ad1ab54b23b73f3dd3be2c2755d443e1cf5626","datavalue":{"value":{"entity-type":"item","numeric-id":5458326,"id":"Q5458326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$56171464-985A-476E-BCA9-063364408788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc0d79a331330cac5e0e7d3248ad5c3b9b00cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3176386,"id":"Q3176386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$49A95028-8DA7-4C08-944F-2280CD022739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9ad567a93259dec814c2a0b906f2d3876f7bb64","datavalue":{"value":{"entity-type":"item","numeric-id":2182734,"id":"Q2182734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$F9ED3AAA-ED65-4FFF-A97A-D7814801518D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$4D13A691-A327-4106-9DE6-08BC95F3510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7af813a5a2af0c3679174b1220c231bfe9dc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2323973,"id":"Q2323973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$881AB43D-3658-4EAB-9B8C-B4E7D470014B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7478f7e5eb6073b49fc25f1cf590815bd02a9a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3457782,"id":"Q3457782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$7C94C2BC-9ED1-48C3-8AB7-3EF3085C057F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e287b03dbe62fe3988cf2468774fed7be938b9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2389636,"id":"Q2389636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$2883B26A-5344-4575-BF69-3BF0EE1DB44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a77da9c7cd24530917bacd85da4f1b422641f138","datavalue":{"value":{"entity-type":"item","numeric-id":5039513,"id":"Q5039513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$7EC52FA9-EF05-43CE-BC4F-1018768ADA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$39F0D198-70C8-4EAB-A92E-046DACDAE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d3bf53e94a938d4f9a9fcdc3603c5ab6b47000","datavalue":{"value":{"entity-type":"item","numeric-id":5709980,"id":"Q5709980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$249325F0-1690-4FAD-85F4-061B4408EB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7975eb1f77218ad0a28e518d7758f5bd51dea940","datavalue":{"value":{"entity-type":"item","numeric-id":1990523,"id":"Q1990523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$115B9A3E-1E05-4A75-8C6E-541238416D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9382fd3f9c93e003339d076e8d3ce4bc603b9420","datavalue":{"value":{"entity-type":"item","numeric-id":4592983,"id":"Q4592983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$EFE92AE6-4CF8-4C60-9ED2-17B8F66635FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e4ac15b3cd895ddf8775dc4121fd07e552d6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3523106,"id":"Q3523106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$C16ABBB0-F431-4050-91D6-2E067989C61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932e1658ba5f2c3c316d94219b79648def27b84c","datavalue":{"value":{"entity-type":"item","numeric-id":911752,"id":"Q911752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$3C1B8201-0673-474B-B2CC-D79BB3797404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5ac82baf1a56bd6a092ec099b493c2d48bf27","datavalue":{"value":{"entity-type":"item","numeric-id":5089272,"id":"Q5089272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$97A0FCE0-D2F0-4A30-8210-A2554A8CAAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b13a249a77d74c9301543ebfb55dfa11bdc7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3449623,"id":"Q3449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$2E538C32-54E1-4F48-B47E-63B60B0BD97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b57acaca409c758f44add32bdf32d5248711258","datavalue":{"value":{"entity-type":"item","numeric-id":5758103,"id":"Q5758103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$C6A1CE40-64E2-464D-B4E6-F622637AEC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5809b32e0bebc46ad001f3cb604d727cd6a6d2","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$1302CE8C-A36E-46C6-8256-BFD823D8A0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc1fd9c0c0cb342b9014027e80a9311d26766cc","datavalue":{"value":{"entity-type":"item","numeric-id":5114783,"id":"Q5114783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$08302CCB-F361-4FF4-B232-2E89A532C140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063a55deb0fc57c77a6bd8d0198e2cb2d90dacef","datavalue":{"value":{"entity-type":"item","numeric-id":3655273,"id":"Q3655273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$4FDFCA48-42B7-4287-A3D1-B5AB4872B23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$FF4F033F-F72C-47C1-9335-89799081191C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78226e26118bf16bcfb0a55873ff4d9b266c6180","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$FA97E3FD-7BE9-4670-B9C1-BE5003E1F825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d3ce340288da659d54d631e0195d3f90ab97c7","datavalue":{"value":{"entity-type":"item","numeric-id":5756747,"id":"Q5756747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$DA3C501D-4DE8-4BF0-AEF6-48D25E972A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd2c3a761d19e638cd0748a3bb6d31e472a507f","datavalue":{"value":{"entity-type":"item","numeric-id":1941879,"id":"Q1941879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$E06FFA96-29C7-46C8-87CF-CABC228C12E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c37086ac5ed0d60341aeba85e60e276ca9f5089","datavalue":{"value":{"entity-type":"item","numeric-id":3997653,"id":"Q3997653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$14C333D9-00C0-484D-A822-3FE4220FEDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f92b7abaea94a1a16562ade86bcca74c00425407","datavalue":{"value":{"entity-type":"item","numeric-id":2056985,"id":"Q2056985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$F824E252-521E-4F58-97C3-B40D6147E162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35adff667f597edf5788c85ed43b0c59b396b88","datavalue":{"value":{"entity-type":"item","numeric-id":2226740,"id":"Q2226740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$D6D84239-2652-4385-8235-B11B7C306243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27e9089c8ecd1d4be6398c999c9a458cfa92c63","datavalue":{"value":{"entity-type":"item","numeric-id":3600486,"id":"Q3600486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$6FB84443-4BF8-4D96-8B3F-C79B9E87D600","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98248a10a3e84dbf8d83e8be68da17805dc0aeee","datavalue":{"value":{"entity-type":"item","numeric-id":2056985,"id":"Q2056985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3013f96c0e1c3036db54115c0589372e0d59069","datavalue":{"value":{"amount":"+0.7777611017227173","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":"Q832295$90333B96-EB46-4C53-AAEE-69558D8F1239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cf7c142a62fa8a0311516f4ec1b1b9b4de196e","datavalue":{"value":{"entity-type":"item","numeric-id":5897081,"id":"Q5897081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2406072198456172b547c1fd169304b1fb47c4f4","datavalue":{"value":{"amount":"+0.7660899758338928","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":"Q832295$F4495500-C7D1-4A8D-8906-8643A80CE6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f362a96150e624dd4b6e53917e4fa44e8267d2a","datavalue":{"value":{"amount":"+0.7496249675750732","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":"Q832295$11C7B5BA-7274-40AD-AC36-CC6CABFD3AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8b0745cd5ce3b3a50d8657bf28a15531cbf687","datavalue":{"value":{"entity-type":"item","numeric-id":6104816,"id":"Q6104816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9451e5e9a09366f1d25523c745eb3d04628b1d4b","datavalue":{"value":{"amount":"+0.7488369941711426","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":"Q832295$622D7439-054C-433E-AEA2-0BA9F84E361A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd77d9b0b99937ef7f4da47adcefeeec011f3ca","datavalue":{"value":{"entity-type":"item","numeric-id":2814625,"id":"Q2814625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c178afef955af73ecac42f7123892bbf856ca4b0","datavalue":{"value":{"amount":"+0.7423561811447144","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":"Q832295$4C93C361-8D06-4761-8180-7FEC731764E7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832295$590D2402-CAA3-4772-8C85-18BDEF952B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking finite-horizon Markov chains with probabilistic inference","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_finite-horizon_Markov_chains_with_probabilistic_inference"}}}}}