{"entities":{"Q523135":{"pageid":524902,"ns":120,"title":"Item:Q523135","lastrevid":62477847,"modified":"2026-04-11T06:21:37Z","type":"item","id":"Q523135","labels":{"en":{"language":"en","value":"Dynamic Bayesian networks for formal verification of structured stochastic processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706475"}},"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":"Q523135$4681392E-0B66-4882-A3CA-4DD7F5ABBCE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af037dc469b3948d27088b464d5fc447b255a340","datavalue":{"value":{"text":"Dynamic Bayesian networks for formal verification of structured stochastic processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523135$9724F038-773A-4632-84F5-586E0E3D4320","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"527e9de3e03326f6010ded732b1361c1a6fecf68","datavalue":{"value":"1364.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$D4C7AB26-B9D4-44B4-9E10-DBA3470D7F2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f91e571b8e79a9601e7de65c49892f6d9269a","datavalue":{"value":{"entity-type":"item","numeric-id":523134,"id":"Q523134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$5B742DB2-B83B-4C3A-B8AB-C115320D1973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$C87A1077-F4CA-4D64-814E-B6DC4ECE8FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$7BD433C1-52F4-4B64-8490-550C18823302","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$50E812AC-3562-46D5-B3B1-E7BCA0AE4389","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q523135$A2D715B2-82FD-41B0-AC88-7D05265F1243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8c2489d85e36143eb75e6172b52d6e74a22d9b6","datavalue":{"value":"https://arxiv.org/abs/1507.00509","type":"string"},"datatype":"url"},"type":"statement","id":"Q523135$3CE14E92-FE8C-49B4-90EC-F00F8B889FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"13b7936b79e14997b06510e600f79e88e8e2dc77","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:5cd645f4-f7b6-4163-81ae-7d038500e50b","type":"string"},"datatype":"url"},"type":"statement","id":"Q523135$C2771CFA-4234-43A8-9942-19D4A5264950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$0B987A76-E480-4B30-B49B-487D77C72F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"314e54fbb18d33f780194e79b8f7d977d400cb90","datavalue":{"value":"60J05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$D14AA533-97B7-43FC-A71A-AC348CD9F644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$C08A367D-8EE5-4FF3-AE9D-A8CD28B3A550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68cf0870eb60afd1ec3b60bc416ea5504c5da902","datavalue":{"value":"6706475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$6F638D0D-66B2-4B84-BEBB-E87BDF05A888","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f1edf4ac75854ddb348bb7541bc60a2d4df38614","datavalue":{"value":"Q59529482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$A859DBDE-E414-42CC-B672-B8524F225DDD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1d7c89f8c4a43a132064ef87f7add4215ef6c5f","datavalue":{"value":{"entity-type":"item","numeric-id":16314,"id":"Q16314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$3E8B2AB0-8C96-41B4-8995-1240853D31FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"df08836f1fa379e8ffdb746fca562955f0fd3fb0","datavalue":{"value":{"entity-type":"item","numeric-id":35453,"id":"Q35453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$823BA5A5-BDBE-4CEA-8A46-30EDEA35E134","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":"Q523135$D4A98B9D-CF10-47D6-A9A7-AA46C0A77DA8","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":"Q523135$300A879F-846C-4564-9477-C338B5D4F9FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7e9b8ac75c5ef329503b5b6c6364a334bf220cd","datavalue":{"value":"W2558765880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$1B00070A-A897-40BF-9483-00ECE90F9AB6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a05f7a999411f32af13db8ecc0d047669353ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4909336,"id":"Q4909336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$27DF7608-7E5C-4A83-B73E-763FBF1899C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4909f9c57bf236ef39d69086f7cd14a22e9b31dc","datavalue":{"value":{"entity-type":"item","numeric-id":629650,"id":"Q629650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$3AAFF621-358B-4B0F-A183-05652C918A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6d0d2c10245b4f0e952ac1ef991224e36fe19be","datavalue":{"value":{"entity-type":"item","numeric-id":2986716,"id":"Q2986716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$94B79FFE-0A7E-43F7-BD88-FED8A2B35226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea67ed95d1f053285243b5bc166dc74f203ace9","datavalue":{"value":{"entity-type":"item","numeric-id":2377974,"id":"Q2377974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$B24609B0-BEB5-4B0A-A8E5-2170FABCDF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"835ab770bfa06ff11782b0d625012d9c12e804cf","datavalue":{"value":{"entity-type":"item","numeric-id":5189654,"id":"Q5189654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$9D804069-DA58-4E4E-BA0C-7136EB2C1F4C","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":"Q523135$539FC3A4-B89E-489B-9987-9CD207408BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ce2411b63fee30862d9211daab41e9ab3bbc80","datavalue":{"value":{"entity-type":"item","numeric-id":4071039,"id":"Q4071039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$FD2EF3D7-E332-4AB6-9BE6-CFD9728663F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e0f2afe018907cb6fb8fd9546f6351bd6cb68a","datavalue":{"value":{"entity-type":"item","numeric-id":4649312,"id":"Q4649312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$987BCE7B-DD82-41F4-A917-45DCF128F5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db93349199195e492cdd6311f447f3ebef17ca42","datavalue":{"value":{"entity-type":"item","numeric-id":2871352,"id":"Q2871352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$8B546FA6-230B-4966-91BD-16018064A6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08860fcf8a88b6e838220c27a30bb2b48c142f33","datavalue":{"value":{"entity-type":"item","numeric-id":2983282,"id":"Q2983282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$884427B0-ED08-4C3F-BEE1-9B6D30A670C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8b91612e0721b60a5990d870dabcbc0388318f","datavalue":{"value":{"entity-type":"item","numeric-id":3196339,"id":"Q3196339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$4EAD4D14-B081-47F5-B5EB-9D5BEBC3025E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9e6b93082db606a0e5a5d5c57355d6f6a28bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5357702,"id":"Q5357702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$CFAA3439-A7B9-4F0F-8B0B-E821E4F9F20A","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":"Q523135$91D5ED66-366F-4DAF-9DFA-397E69DB43E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67c7aecf8d2d468cb0ce3b29f05de7d679a446c","datavalue":{"value":{"entity-type":"item","numeric-id":4544503,"id":"Q4544503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$DD7E1490-AF46-4112-BF1D-50B5426A0EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060d96edb4c7b6e94623b5505a6f7edecd845d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2486806,"id":"Q2486806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$D20E5DF1-7404-49F4-A7D3-27613ED6C446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcc3c87414558114606bc117ade69cdf38cc2db","datavalue":{"value":{"entity-type":"item","numeric-id":4649284,"id":"Q4649284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$4C43F15C-B16E-4625-9DCE-9F0035AAE74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80532b4353c27276394aab52a1a1bcb2d15af7a9","datavalue":{"value":{"entity-type":"item","numeric-id":5585825,"id":"Q5585825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$4A45C23D-D59C-46FE-82CA-F6489BBBFAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807701b11cfca17d83d854b0a0d8f4d0ca5bacdd","datavalue":{"value":{"entity-type":"item","numeric-id":2985889,"id":"Q2985889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$DAA9EDD3-B039-427A-96AF-8F7D20C078F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7352dba5ae221d49af5d928388f7d0bcbc63009b","datavalue":{"value":{"entity-type":"item","numeric-id":2986933,"id":"Q2986933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523135$B188B358-1A4D-418C-B300-5B3B158B6032","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"559cae44133b96282782e911f48ed7738f30baa7","datavalue":{"value":"10.1007/S00236-016-0287-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523135$691A3251-659B-438C-8440-0DB57DAFD9A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac8edab1d0ae0a941a03049ba755b5697e61e11","datavalue":{"value":{"entity-type":"item","numeric-id":5357702,"id":"Q5357702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1a0f257f674dc0c0166fd9f5fc2af9521905a2","datavalue":{"value":{"amount":"+0.934543","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$C02EF877-3A14-4E1B-895B-4816D6B6D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"435ac628bdb99bfc3a01c641eb21fc5ad3cefbf6","datavalue":{"value":{"entity-type":"item","numeric-id":2286739,"id":"Q2286739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446f044262379790f392b98f83ed40289468d37f","datavalue":{"value":{"amount":"+0.86864364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$7858047A-5BC6-458A-8543-53631859B647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7bec40f17d824881dcdbea4aa9a0250d4f45d6","datavalue":{"value":{"entity-type":"item","numeric-id":2248081,"id":"Q2248081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb052b5660efe926bb26b1aec032693b91ff5c4","datavalue":{"value":{"amount":"+0.8627789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$31D30AB4-0752-4F95-9215-5FFC493D8EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d57cce7898a338723701bc0dc3fdd23bba4f770","datavalue":{"value":{"entity-type":"item","numeric-id":3156893,"id":"Q3156893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c27e9ff1e08f0f906104f772fe926c789c70a4c","datavalue":{"value":{"amount":"+0.8622465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$77BF24A1-D7F8-42A9-9074-8EAF013D6CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0227792ed15dd0f0acdd39d097641ca304aedf","datavalue":{"value":{"entity-type":"item","numeric-id":5394654,"id":"Q5394654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ab4a4a5bcb6cc47c97b97edf3b0c7163fc9ef7","datavalue":{"value":{"amount":"+0.86010504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$F0B870C3-8EC1-40B5-AD91-7B3101C8CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75946c71905e750460e924a39d25dc7a7101e82d","datavalue":{"value":{"entity-type":"item","numeric-id":4649284,"id":"Q4649284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b10a92cff2a47fb15a50b2171c1f855bcfa0dc","datavalue":{"value":{"amount":"+0.8596573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$2783C4A8-B0BA-4201-BF28-7BCED9388259","rank":"normal"},{"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":"73f43f162acc5608928be0eda95d6c3fdc9b3e4d","datavalue":{"value":{"amount":"+0.85913885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$8F079244-A3E2-48B4-A9D9-477BFB41DE04","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":"8b8268cac60118567cd35e4e785e73dc7cb002b5","datavalue":{"value":{"amount":"+0.8580725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$4913841C-FE20-4DBD-AB56-7104AAA02F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c34f93c259408c506a35ff4b3377dd1b8a1a707","datavalue":{"value":{"entity-type":"item","numeric-id":2985888,"id":"Q2985888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dcf132ed3cb493ca7fe5f456515933c70b96f2","datavalue":{"value":{"amount":"+0.85694027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q523135$1DB56103-394D-4D7C-9D44-9A44CF3139FF","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":"Q523135$600CC4FC-70CC-47F8-BC63-3065FB624E5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic Bayesian networks for formal verification of structured stochastic processes","badges":[]}}}}}