{"entities":{"Q633299":{"pageid":635147,"ns":120,"title":"Item:Q633299","lastrevid":63127914,"modified":"2026-04-11T10:46:40Z","type":"item","id":"Q633299","labels":{"en":{"language":"en","value":"Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872808"}},"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":"Q633299$C2148773-8A5B-4F32-9FF1-88F0769FDEBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0159d545bc90b67a6ce902150649d4aff9eac54f","datavalue":{"value":{"text":"Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633299$6E9353EF-7484-4913-A6A5-6C075A2A0A25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d45a8b569ddf3a683861f812a524fe99ae60a5b3","datavalue":{"value":"1210.93068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$1D2BB6C7-2CF4-4C9E-8E96-3C8BC4FC5680","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a716993ce7ffcf19373e97e44f91ca996eb0c09a","datavalue":{"value":{"entity-type":"item","numeric-id":386008,"id":"Q386008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$84F08BEE-06A4-4F32-B640-38BD77ABF497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed178ee4dbe7edd42ae14431d57c31b4f5789882","datavalue":{"value":{"entity-type":"item","numeric-id":439950,"id":"Q439950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$745C7400-C358-44D0-9C1C-5DAA1E3E2A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$F802519C-7093-4D0D-AC84-4C831915EDA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$6061A7C2-DEDD-4F71-87B4-D8052A0C3E85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633299$7397E6A5-EAA0-4FA0-83AE-4F08711DF734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$3D01974C-7D2C-4E95-9479-5011F2B1DB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$82DBC621-53CB-4B47-91B3-14DF05F60966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$79CFB7F0-C837-48EB-87CA-050120A6E838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$7C9DF2A3-5FF4-47DA-B8B3-493BEB0D09E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6cb186f7c907ca60893d849df7e69a98dd343f1b","datavalue":{"value":"90B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$3D743017-29F5-4165-B0A2-58C53DC9B539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82998ab4469f345dc4649ede6fd079ce66de375f","datavalue":{"value":"5872808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$DA572CB5-0FB7-4BDA-A191-76113337FA8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa1d8fe7ca5965bbcf970766513ddc6e4bd3638","datavalue":{"value":"assume/guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q633299$67CFE778-31F1-4A86-A683-C54E0A849B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6839e7a5bf845c5aa2d2c6fcdf96d0d9976a520","datavalue":{"value":"contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q633299$E6E4E5D4-89A1-4AF1-9B57-53DF189C117D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8584c6e1f30022e38b3142ba97a768d1f1ecb116","datavalue":{"value":"probabilistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q633299$5649A186-CCA4-4434-83DF-EE1402EFEE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f7a31711d3f7635a7a238961297b46eb5d58af","datavalue":{"value":"reliability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q633299$C23A3A3A-FDFF-4C01-9C4B-1234AEC52EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1c3771540c73cb744df719df4b2346e55da8cc","datavalue":{"value":"availability","type":"string"},"datatype":"string"},"type":"statement","id":"Q633299$70721A60-E1FA-44EF-A7F0-9B86418D8010","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4647ce6e40d68a241057ddbe91b89707f4f80f49","datavalue":{"value":{"entity-type":"item","numeric-id":12966,"id":"Q12966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$2DB7A0C5-5D48-467E-AD7A-57B58BA0AC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91e942213dae011cfdd687cc3d87cdb12d1aa413","datavalue":{"value":{"entity-type":"item","numeric-id":12898,"id":"Q12898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$6998FF6C-4E52-41FF-B566-63E4F6D7689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19ea0268485aa3f9787caf2b44c02b981e5e73ce","datavalue":{"value":{"entity-type":"item","numeric-id":16320,"id":"Q16320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$FB5E9E29-82F2-4ED2-B182-DD6B5C664610","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":"Q633299$D2F09508-874C-4FC3-96DE-57341270634E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2efaf07e8313b63741aac1409046613e4ffece9c","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0107-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q633299$4CE7CE73-349E-4B11-BBEB-90752084E93B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"baf20a534210baa855e74b2fdccab701c76a4939","datavalue":{"value":"W2060459181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$5946C436-6843-4EB8-84C0-75F815F148B7","rank":"normal"}],"P223":[{"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":"Q633299$EC9918AB-1D5A-443D-A0D1-016E6BB0D7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4077aa82c7ea28dce00f8ac3c2dab611f36bf1ec","datavalue":{"value":{"entity-type":"item","numeric-id":3602999,"id":"Q3602999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$439CB1F7-E234-4B03-B456-6CE97EDF11E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28e0a8fa34c561ec3bb6683c480f912515cd050c","datavalue":{"value":{"entity-type":"item","numeric-id":3618577,"id":"Q3618577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$7F35B259-6443-4916-AE16-52B61E6B6AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e718583192ee1c8f5c2ad768e743605f9035fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5312899,"id":"Q5312899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$20D6A05B-9229-4278-95AB-275743FD4C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$F69539C6-C858-4343-A5C1-9E9327758B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535956fc20c7dcc5f9725d96fc561c759a0685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5962116,"id":"Q5962116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$FD4DC03A-8B59-4F89-A698-E824313E003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4f78ad12fc15882f1205cf7a447a7254c00d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5491894,"id":"Q5491894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$23DE4B96-E213-4706-86A3-8AA40668644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf36cc8c2a532cf938452081db4c899e9be7006","datavalue":{"value":{"entity-type":"item","numeric-id":5308390,"id":"Q5308390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$B0FCD22E-0B2B-45A1-BD63-EE40E7C1FB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7efd0c3e6421fda2217c2b48d9294e9f8d8d757","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$5A1AFE23-3EF9-460B-98B7-3DB2B799FEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361ea683c849471d41ea0ea839ae982ae028bc17","datavalue":{"value":{"entity-type":"item","numeric-id":884763,"id":"Q884763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$6208E163-578C-41F8-9C1A-FC26715FFC24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f8e156fce80b33b21b18caaffd9b27d09987b91","datavalue":{"value":{"entity-type":"item","numeric-id":3393409,"id":"Q3393409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$5B14AE70-A314-4A3D-9016-CB09F04ED710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$64982DF5-DCBF-4558-ABF9-17E992A3A997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f505dfb824e1aae39a5d3eb343ed8fbc59b2938b","datavalue":{"value":{"entity-type":"item","numeric-id":701689,"id":"Q701689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$3E438DA2-AA1D-4584-8A8B-45F892884539","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":"Q633299$5D2D1825-C487-4FB6-BF00-FBB8FE92627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df46e30d71a6986dc9bb4b5f3c63347f51fde3d","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$62C96119-9872-4D6D-AE26-1112F391FA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02132666cb7e562c7dbe7a32314369e65d4016e","datavalue":{"value":{"entity-type":"item","numeric-id":5325835,"id":"Q5325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$0A0652FF-B481-45F1-835A-04EC16B4A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$2994CED4-E73E-43E1-956E-CEFDA4E6DCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$D3899E83-0298-4CD1-B664-0D530CCF9B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c935720541346144c10bb620130f64880a8203","datavalue":{"value":{"entity-type":"item","numeric-id":3605474,"id":"Q3605474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$85F6C021-FC4F-4A0D-82F7-4546338AC439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$5DC3314E-6BFC-4A1B-A698-F2FFDFC10AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408563137274f89aaaf748e3ef7fa707ad154441","datavalue":{"value":{"entity-type":"item","numeric-id":5716565,"id":"Q5716565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$AAAC1F16-14F9-42BF-BB13-1820C4B0F413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$FE3451B8-DCE3-4CB5-B4DA-43836CAB8D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$C8A45A82-B2EB-4937-9121-E85D3B3B8832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237b2e37dda09b6829cc29b36cd88ad81c2173f8","datavalue":{"value":{"entity-type":"item","numeric-id":5898615,"id":"Q5898615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633299$A1DD2DD9-9C01-4406-8104-08D39FA18A7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4cf33d22c04323916122db37be4b2e397e692f1","datavalue":{"value":"10.1007/S10703-010-0107-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633299$74C65F93-0393-4F5E-B1EE-0A1A09BA0B98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e1c41ceaffd06892be7aa7a6e82bccf6e878d1","datavalue":{"value":{"entity-type":"item","numeric-id":4931301,"id":"Q4931301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e29c65f2812232a9432a53c31cd354a1d1d7600","datavalue":{"value":{"amount":"+0.8373430371284485","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":"Q633299$F6F38747-3773-4302-B211-52191C7527DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16efe40924502d887455ab8723369f8a505c23f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441722,"id":"Q2441722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfaa0c2b911e72780b5f3a1b93cc2ce324547b7","datavalue":{"value":{"amount":"+0.835934042930603","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":"Q633299$FA97233F-8BEC-45B4-AAFC-BF47DDD417E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df0bc408808586def30fd147aa5e4d5240aac78","datavalue":{"value":{"entity-type":"item","numeric-id":2665717,"id":"Q2665717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b869d1bf18c4febb2c31725ac05de18d8d0477a4","datavalue":{"value":{"amount":"+0.7722969651222229","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":"Q633299$73CD8FC9-C8B5-4C81-A60D-6B58D21CECFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71e75767d29b08405dd048f4e3cbf9a79260b5","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c947e32068915c88f402c0c823d397a85d7671","datavalue":{"value":{"amount":"+0.7626378536224365","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":"Q633299$E28636CB-E485-4796-B09D-15BC6BD00FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d56eb813ad20c72e9c8b37230f89eb4950a2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":4791844,"id":"Q4791844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806abd2b1784798afe10595563f91459905632d7","datavalue":{"value":{"amount":"+0.7598726749420166","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":"Q633299$BB68EAF0-B8E6-4B03-B740-D1A7C42F8B8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_contracts:_a_compositional_reasoning_methodology_for_the_design_of_systems_with_stochastic_and/or_non-deterministic_aspects"}}}}}