{"entities":{"Q5158656":{"pageid":7188227,"ns":120,"title":"Item:Q5158656","lastrevid":54120674,"modified":"2026-01-26T07:08:19Z","type":"item","id":"Q5158656","labels":{"en":{"language":"en","value":"Persistent stochastic non-interference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7413810"}},"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":"Q5158656$A0127CA3-76CD-4359-801F-8925BA856135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2873e80ba2620122fd76bf08133531812d99b09b","datavalue":{"value":{"text":"Persistent Stochastic Non-Interference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5158656$24E21FF5-467A-4CF7-B58E-9A70D5709AFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ac781b166b6c81046061bc0658c0c9eed902504","datavalue":{"value":"10.3233/FI-2021-2049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158656$A8C91E33-739F-4933-815C-3D1A5CBE01E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89ad271a572aa42ab46d561d11e2cdae61630d8c","datavalue":{"value":{"entity-type":"item","numeric-id":470010,"id":"Q470010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$7B726085-1F2D-41A7-8CB4-B7565A09C3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"715311bd47d04a108b5fe39c844ea8690cf0db3b","datavalue":{"value":{"entity-type":"item","numeric-id":291347,"id":"Q291347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$61FA2ED9-D1B1-46E7-B60F-171095495C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2960711d7df6d2be52b6449e5f402fc00a9829dd","datavalue":{"value":{"entity-type":"item","numeric-id":526432,"id":"Q526432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$28C8A132-36C7-4BEF-BF04-3FE7C4702C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b530460b6f0f5f8902bd35bb6f03a8ffe1d4a3fa","datavalue":{"value":{"entity-type":"item","numeric-id":832088,"id":"Q832088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$D8BA66C8-D12D-4ABA-9D14-685753A88025","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$55A1A28E-E59C-4F55-92DB-F6E796E0314D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ce2f5c3131b8fb956dfb7c648fa88886ee86209","datavalue":{"value":{"time":"+2021-10-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":"Q5158656$F96D1721-926A-4901-B2D2-B111B07B3B14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158656$C64F0EA6-E539-41D1-B2FE-3AA57E47510C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24e0a859cc039fe9730afe4615330ba21f169442","datavalue":{"value":"7413810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158656$0A7C89A5-922A-42DD-8F8A-26CE9F7D2207","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158656$1CDCA8BF-A3A3-4996-99D0-D6E7CFEA0663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158656$92E075EA-1696-4BA9-856D-A497DCB5BABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be30b936d45b1121e92c9f77ee33e70d4c0fef5b","datavalue":{"value":"stochastic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5158656$38E1A4ED-AF92-4CA4-AFEC-CC140A524B51","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":"Q5158656$E33DDE67-51D8-4EC6-99AD-8BFC29787ABD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$64DEFDA6-E97A-4E66-BAFA-B89598FB1A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27a348a124bfbf7ae46242c406a7910c37f1396","datavalue":{"value":{"entity-type":"item","numeric-id":2406431,"id":"Q2406431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$1893790D-6A32-462F-9CB4-449F1A396A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3690eb9d2b4b745c5507dadb05559df9a38d0b1","datavalue":{"value":{"entity-type":"item","numeric-id":3999188,"id":"Q3999188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$DDB90484-3D78-4CB7-937D-3E9504575471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e5d04432cc4f9732b8a8b5b6a6973124db03b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5705885,"id":"Q5705885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$B1A3C2E2-76EA-4FB8-8452-398BA88AA893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dca38310eb836ccdcd1b407345a74ae76f92f3a","datavalue":{"value":{"entity-type":"item","numeric-id":5862302,"id":"Q5862302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$4FBE03CA-1565-4906-BBAC-3FE6E39319A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6cb53d0f68d414b0f9ac6746602d1f729a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$0CD77FA7-C5B8-4F5E-BCD9-ABE7C3EDC950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45d6689863919efc9d2b8984e9760a2b2c07aae6","datavalue":{"value":{"entity-type":"item","numeric-id":2754157,"id":"Q2754157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$0A406BA7-C80C-4382-B8A9-8D230E4546E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893b1bfa5d9df14ec6a6be96674275f629d14040","datavalue":{"value":{"entity-type":"item","numeric-id":2643083,"id":"Q2643083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$2379F5EB-46C7-428D-9ECD-C2E8D05809D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ecd39f927ba2e29cc15b7c3fed51bd6a608899","datavalue":{"value":{"entity-type":"item","numeric-id":2754161,"id":"Q2754161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$57EE7E1D-269F-4753-BA7C-28BD254C693C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d6cc6084a4dc3d6eb9546c2fe3b9fdd81597f1","datavalue":{"value":{"entity-type":"item","numeric-id":3079920,"id":"Q3079920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$860EF784-809E-4678-B9B6-3C83B0F5594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc4745db47a7eddbf3a87a0820a390079c3ef53","datavalue":{"value":{"entity-type":"item","numeric-id":3184710,"id":"Q3184710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$080AFD62-900B-4D91-9BC3-2769F54E329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f14409e51d1bc5f8ab6bfa525beb6405b4ffd8","datavalue":{"value":{"entity-type":"item","numeric-id":4417888,"id":"Q4417888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$6830D4F7-A744-45AE-879D-F6028C4C5249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf61b398b4d1e5b7f817ae09e40886a07882072","datavalue":{"value":{"entity-type":"item","numeric-id":4414391,"id":"Q4414391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$B50B9EA1-F5AA-489B-B5C6-9000F88B1276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c5f3164f11d8cf7f89c2fb03cba52d5d2c1c7d2","datavalue":{"value":{"entity-type":"item","numeric-id":2348024,"id":"Q2348024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$1CDE838E-A6F0-4BEC-9DFD-E8FE191410B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$2FCA173D-9E52-4FBC-96CF-8A2F493D6C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$72D542D1-7F06-406B-90F5-9AAFAD60927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2679c29c0d26197f91a356070d95bfb2b5e55c98","datavalue":{"value":{"entity-type":"item","numeric-id":2387196,"id":"Q2387196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$80253F58-8EDD-430A-BF32-9D9474E620FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3e354b3f60be40c9b21990800bea8c83e572518","datavalue":{"value":{"entity-type":"item","numeric-id":3510814,"id":"Q3510814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$1AA06483-E641-4367-ACBB-2F5B6E7F4EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6627251827dd5dad1537e3b42a7c0773916d0f","datavalue":{"value":{"entity-type":"item","numeric-id":1951578,"id":"Q1951578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$B1601A35-9FFC-4C41-A754-604229E29F40","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":"Q5158656$7FFEF5DD-1C83-4EEC-9C1D-40D6F016AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2220cc6866bba35711b6fb8a1015f9bf91cfea7d","datavalue":{"value":{"entity-type":"item","numeric-id":1886452,"id":"Q1886452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$7D20B5B1-E826-44BA-8BFF-0B26180C50FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea96f227904a0986b5cb20ac714c891d2faf8382","datavalue":{"value":{"entity-type":"item","numeric-id":1753998,"id":"Q1753998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$449CAFBC-4FB2-4683-A617-29E792DD2499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24479907e5ff62f7e96f21e3a99db2257659f8ac","datavalue":{"value":{"entity-type":"item","numeric-id":3557064,"id":"Q3557064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$33F226B5-0BE1-4126-89A9-C4BF43163B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75638f54fb885706b6d43cd2fa25af60af8fb919","datavalue":{"value":{"entity-type":"item","numeric-id":3636842,"id":"Q3636842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$2879BA04-367C-4523-ADC8-AD6066299D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$07283C95-61CE-4A86-9A94-F3A730365872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072f04479a951927cd603d0a603538767c5f4f63","datavalue":{"value":{"entity-type":"item","numeric-id":5308397,"id":"Q5308397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5158656$A5BD0F7E-B75A-4EF8-AD92-F2013FD93617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e889d9f25c9e9dce731ca7e5be59a4ff5d495d","datavalue":{"value":"https://doi.org/10.3233/fi-2021-2049","type":"string"},"datatype":"url"},"type":"statement","id":"Q5158656$BF4CF024-A8F7-4BE1-BAD5-0103E7E60C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71a6378575e037dde1140fe148cdec4b46ccd114","datavalue":{"value":"W3178515540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5158656$9ED3482E-4256-4B23-81AD-89B6A3500BA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbebc1004d215c1a3c2bb6c3a6a57cff57f8f3ed","datavalue":{"value":{"entity-type":"item","numeric-id":3184710,"id":"Q3184710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b14802a39d829f7ab61152fa7be920e7dd4aaa2","datavalue":{"value":{"amount":"+0.8149191737174988","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":"Q5158656$73711725-B43C-4D5C-AE02-84CE24AC83E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2138a7787723c880545cb6afaf4e9ceafc791f1e","datavalue":{"value":{"entity-type":"item","numeric-id":2049988,"id":"Q2049988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acec60d119c2607dc3f5ff4a7ddf22da2d4af80f","datavalue":{"value":{"amount":"+0.8082219362258911","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":"Q5158656$0B34BCAA-2C3A-4724-9413-7A333276002A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a00ce9b3b80cc74ad823d6bfbcae77f013f12fd","datavalue":{"value":{"entity-type":"item","numeric-id":4791835,"id":"Q4791835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77c60eb362cba227d2542523cb99ff9b6f50303","datavalue":{"value":{"amount":"+0.7849266529083252","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":"Q5158656$9DA73651-937B-4DE1-9B19-391AC24859E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d12b11b9c6a3bdd84e48d844816df79a4e308fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5901850,"id":"Q5901850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27bbd5bb78c5ffe7e69f638c65032f2c128372e4","datavalue":{"value":{"amount":"+0.7589800953865051","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":"Q5158656$D8FDDFBE-E9F2-4C75-B7C2-A1F6389601E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"344ee38f7db0b912b80efaed7691af11b3869c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1886452,"id":"Q1886452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86164eec5ce9c04b85909aa0803b97e54d43b155","datavalue":{"value":{"amount":"+0.7573744654655457","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":"Q5158656$90679C0E-8ED3-4B68-8C5C-2D41118CA2BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5158656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5158656"}}}}}