{"entities":{"Q507375":{"pageid":509142,"ns":120,"title":"Item:Q507375","lastrevid":57034683,"modified":"2026-03-26T09:30:02Z","type":"item","id":"Q507375","labels":{"en":{"language":"en","value":"Probabilistic rely-guarantee calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680833"}},"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":"Q507375$64854D3A-C011-498E-BFBA-BE137155B511","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13e7aab2fe155135d4009afa057d0a93f187d292","datavalue":{"value":{"text":"Probabilistic rely-guarantee calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q507375$80419A49-B97B-42BA-9BA4-1590CE58670A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae3c1294035c7cb6ef60afe727ad941c595cfda6","datavalue":{"value":"1356.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$6356D0D4-B39D-46D3-896E-2330C5879AAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$DC0E6A1B-9BB7-48A3-8AE4-3577DC88A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b7a0e8e6f6483d39d40556991a16877ff39fa6","datavalue":{"value":{"entity-type":"item","numeric-id":507374,"id":"Q507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$165FB01E-0937-4B0C-B5A1-FD7E08963F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$2953F86D-D00D-442B-A0BC-7B992E4D6533","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$E0FEAAAF-3C5F-416F-9BD0-5602D90DFA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69224595960101be6ec21574e4c403135d7942f5","datavalue":{"value":{"time":"+2017-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q507375$936CF036-5C2C-42D0-A167-CEA0F0D9A96C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90ee77a3303ab84c527ea048e873916564348527","datavalue":{"value":"https://arxiv.org/abs/1409.0582","type":"string"},"datatype":"url"},"type":"statement","id":"Q507375$1F0091A5-BD17-4C43-8BED-65A444798932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$C46919BC-0D43-4933-9092-4BF7C977C251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$B7BBC881-8F76-4697-8AEF-4B75A173E12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$76A34B6A-461A-474B-992B-599F1D930ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$4A7B996C-D939-4C1A-9F3F-BD5BBCAA6B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$FEBB0CDC-798A-4038-94BC-09488DF3911B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006b360d3fc20f770363f8b44577872400e9a126","datavalue":{"value":"6680833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$C11DC1BA-B471-4C58-AE84-51200D5AC04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$E4A530DD-A03C-4A13-B5B6-B5A33561ED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$83B7D430-53A9-42D8-8E7E-E464A5C2486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7304181fde15f2ff08bea8b954e64f699bd5523","datavalue":{"value":"rely-guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$154CF217-AD38-4147-BDFF-631BBD5DE808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$80241C1F-2726-4C4C-B0C0-88A89283E4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$281B539D-D2C8-4189-BC81-112EC1B44876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$C261C1E1-398D-41A5-B476-C7898F8799B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q507375$779FACB4-BEB5-4F0A-8943-3FAC7D5DEC2B","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":"Q507375$13A05417-D85E-461A-9DA9-F183EF134D9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfc17de0b6b13f42d7c4397f8d66edec170b702a","datavalue":{"value":"W2962831884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$D5D6B85A-3C09-441B-8078-301DD8518FD3","rank":"normal"}],"P223":[{"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":"Q507375$9E5AA7D8-2877-4826-B16C-1E17D9C77C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ab27431165540664640d5aa634c6148768b5aab","datavalue":{"value":{"entity-type":"item","numeric-id":1356940,"id":"Q1356940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$28D1A069-C532-43B7-A4B5-84727164A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$1710AFA0-AAA0-4E6F-BD87-54B4BE2051C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$C161C90F-AA09-43E1-8985-A506D5E66D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ce469f37b6bfec7a37294706922b536a2aeb6","datavalue":{"value":{"entity-type":"item","numeric-id":507375,"id":"Q507375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$72766D4A-C706-4801-91A6-A1E4E5BA237F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4283f7cd93d420d41471d6e4dd2c2c3fc28655","datavalue":{"value":{"entity-type":"item","numeric-id":671351,"id":"Q671351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$6FF95C66-23F7-46EC-A1AD-DBD7C39B844A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e871cabc32981283d7a7e66f9dd107caef41a292","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$B410113E-B8EF-4098-90F6-22DDDDEA43B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$1946D719-CD36-4BF9-B129-E930F6AF51E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1e4eb80490f042f6a1f90e82a002f7cc5a00b0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$67F87F9A-A851-42D6-99C1-619FE67AC2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$D1D62CC1-22AF-4A63-B8C4-BACE4963A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf57713d402a906d33857ce9b37d18efd709d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4992527,"id":"Q4992527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$98936A14-CC5D-4A0B-A72E-31191C14160B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da6cbbd5491481b1b3e9b3eccab4b82dc267e15","datavalue":{"value":{"entity-type":"item","numeric-id":3557845,"id":"Q3557845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$4B916A84-015C-4C8E-ADE1-18BB4E0710C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccec17c9024553e488198cb29c9fdb874da1198","datavalue":{"value":{"entity-type":"item","numeric-id":1941883,"id":"Q1941883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$D6A4CCE9-5309-470C-AC32-B28590531150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d50bf7609cd29a44c1e10ddb4be3edee66e25b81","datavalue":{"value":{"entity-type":"item","numeric-id":2870160,"id":"Q2870160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$C11CA8CB-33CC-480E-807D-CACBACEFF45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$86D5749C-CC2C-49F5-999F-B8282E1C9EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$66C810B4-08D8-4EDA-AE9A-133E64426FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e70c7ea0ca2c1202e957f84568392d9e230059","datavalue":{"value":{"entity-type":"item","numeric-id":5387864,"id":"Q5387864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q507375$17AC3776-9CB7-44A5-9161-6DBE88579E59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3bd3deef6577cbed4840e003de71796ddf4c965","datavalue":{"value":"10.1016/J.TCS.2016.01.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q507375$3A48F320-CB41-49DD-AA20-1FFD5A560147","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de14b71e3e2426ac9734a6cde962cc2f1720a1","datavalue":{"value":{"entity-type":"item","numeric-id":4992527,"id":"Q4992527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2a642ce433b61ab0374114337dfac6106e36b9e","datavalue":{"value":{"amount":"+0.8321242928504944","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":"Q507375$8022478B-8D37-483B-8DD8-BB17F5BB97AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1a58d0dac1023356934a5757b50f881588ad9b","datavalue":{"value":{"amount":"+0.791481614112854","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":"Q507375$4B864395-1FF9-4362-9448-3714C28CD90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331bfb91374f70d72303964ae5e38ce13d07df53","datavalue":{"value":{"entity-type":"item","numeric-id":1362776,"id":"Q1362776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabf88d998707964cc2245366477e8c8fbbc406f","datavalue":{"value":{"amount":"+0.7858539819717407","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":"Q507375$9FA53EBC-9AF4-4C81-A2B2-2D445055023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b31e5b56cdb4b1672f35d0fc7eb95fa54be027a","datavalue":{"value":{"entity-type":"item","numeric-id":4417904,"id":"Q4417904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6398d1cb4d802ef536cbd0e17886db7b8bd931d","datavalue":{"value":{"amount":"+0.7771385312080383","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":"Q507375$DD1B4905-32F3-4DA8-9205-0075FFFD5EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed17a6d8390fef52cff0d6c2a745a7e4ac5105f","datavalue":{"value":{"amount":"+0.7735461592674255","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":"Q507375$3E17D75F-2344-4D09-90C2-CE19E212D266","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:507375","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:507375"}}}}}