{"entities":{"Q444466":{"pageid":446233,"ns":120,"title":"Item:Q444466","lastrevid":61864152,"modified":"2026-04-11T02:11:26Z","type":"item","id":"Q444466","labels":{"en":{"language":"en","value":"Observable behavior of distributed systems: component reasoning for concurrent objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065754"}},"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":"Q444466$DB05DD47-88B9-47A7-A38A-DF18FFC02D5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e450fbfa522daa742440f5920c3c26dafc7709b","datavalue":{"value":{"text":"Observable behavior of distributed systems: component reasoning for concurrent objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444466$9DB50B9F-43F7-4449-A825-78AEEF7BECA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f24cfabab2be0d5d91e020b2e2d74a8fec63a481","datavalue":{"value":"1247.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$CA823A65-F526-4C96-994D-CD1E3EA64DBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dabcf3605c699f76a9aba8bae944975d978d716","datavalue":{"value":{"entity-type":"item","numeric-id":444462,"id":"Q444462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$580D9868-9356-4C03-8A36-DB98AA9EDF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467289ea79cbfe48ccb8e1271278c5886a0cd23e","datavalue":{"value":{"entity-type":"item","numeric-id":444463,"id":"Q444463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$901EAED6-FD23-46CA-ADFB-B3BFAECFEC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$F79A1285-F0C6-49C6-8063-02661E0F9B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$65D73A28-C40D-4790-8A04-D7971CFFBEFD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$8214FEF0-235C-4BD7-AD6A-2D643C608C0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444466$07D48278-F775-4C1D-98F0-AA9957335A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$BD9473A1-7CF6-4C61-9FAA-52C6E219200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$6496D5B2-D061-4D4A-A141-67A92B6D0125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$B9BAF25D-1FFA-4DB5-BD00-E89D7B993DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$CD65C87D-F9EC-4219-9600-666DBC96F92A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25139d38c25aad95b4e40a741cb4fcc5930d84d7","datavalue":{"value":"6065754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$874EB2E9-F227-4744-9078-4C1FB16499A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q444466$F961BC43-896D-44D8-A182-3C4B2287C4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e27302aaf7544d0b74e2312b8d6f38cd1a37dec","datavalue":{"value":"object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444466$09A5F083-7761-4BC0-A0F1-720D6381654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q444466$6F764C64-83BF-4030-BFE9-16E15BA1EF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q444466$E199FEC0-8B0A-4252-86DB-FDD10D555035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q444466$5F1EEC3D-75FD-47A7-B662-E93767CE00F9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2f2ac3057d2fa6b029c9f587ef99cf1ed36456","datavalue":{"value":{"entity-type":"item","numeric-id":30913,"id":"Q30913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$8445C8EE-A1CC-4751-BEDE-CB840D080D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0340d818b88d76c419264bcc31bf928307f3975d","datavalue":{"value":{"entity-type":"item","numeric-id":33022,"id":"Q33022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$FEC60EC6-5F13-457A-B502-D5595BCED3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ffe10b3e01bbcfe1c31de1cee392c67debdb0cd5","datavalue":{"value":{"entity-type":"item","numeric-id":33023,"id":"Q33023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$EF531A4F-AADB-4CD8-8B0E-D9A5CA3AC4CC","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":"Q444466$B95A7F7E-A2E0-4B27-8DAF-529401B66A0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"682d5d07a8dd99ca7eb2adb241d29f95a79690e0","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q444466$272758CE-C1F4-48DC-A256-C212F70AC5C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bb5ce1b0cb3cef214bb2d6396e0a4e41e80e3f1","datavalue":{"value":"W1984201573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$074AAAB9-C55C-4252-9099-94BAF072ED36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d064d4e12c7766b68a551508a7ad6828c281d76a","datavalue":{"value":{"entity-type":"item","numeric-id":843206,"id":"Q843206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$F2590CC4-89AD-4974-B41A-5927B252601A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c63d7d6062734f982e734659a74c62e16cde5b","datavalue":{"value":{"entity-type":"item","numeric-id":1951610,"id":"Q1951610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$14E3FC5F-55A4-4B4C-867B-1F7520517F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$F689A1F8-DA88-4657-8389-2D3C94612B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$C4F5E1D1-DE90-4C12-B479-DBB42F21596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f640c010e86f562d69961f36d8777ab01b6e3073","datavalue":{"value":{"entity-type":"item","numeric-id":1056534,"id":"Q1056534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$606911E2-5B34-4A6A-A3A5-B70172E909EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c0aee96fc75c48554d283e014b50b7c23f4f22","datavalue":{"value":{"entity-type":"item","numeric-id":4536314,"id":"Q4536314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$9D53DB82-5856-450D-992C-0971C4BB29F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$46A85FD2-4E3D-46B4-B0BD-1DF2ADE8611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128e020ba7fd715406da6da5c129f63f6a4f81b3","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$037D34E9-EC23-44F4-A03E-4BA23C7F63E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"630329076832e4e472ac1c31f5b60a35f5a3e497","datavalue":{"value":{"entity-type":"item","numeric-id":5958463,"id":"Q5958463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$4382413B-C850-46E3-B132-DEC77A050C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d2cdfa1ed1d781dc5656e2cdfc6b7e1d18f7c47","datavalue":{"value":{"entity-type":"item","numeric-id":5311301,"id":"Q5311301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$8F6DAF9F-A0C3-4FE6-98C9-5FA128E5F2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f41d52ff5e280daed5eda3593ba1616c383d1","datavalue":{"value":{"entity-type":"item","numeric-id":5756504,"id":"Q5756504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$8A5EAE9A-6A57-4492-878F-B93DC6905B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bdb19e4f6679e5e665ce3bf996e932965f0550a","datavalue":{"value":{"entity-type":"item","numeric-id":444466,"id":"Q444466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$D5847640-8493-487F-BDF8-CC36D586FC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c91001aa447d31d03207dd448a16163044ea2f0","datavalue":{"value":{"entity-type":"item","numeric-id":2864507,"id":"Q2864507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$3D13F08C-37B7-4646-A412-13FEECDBE10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396b655c4dd9f268787285765ef9b66defde1a32","datavalue":{"value":{"entity-type":"item","numeric-id":710675,"id":"Q710675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$4A744FA5-39B2-4B03-8E70-B3435440F1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$4703FB78-A7ED-4FB4-85F3-106BCBDC347F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b0143bb17c3271918d22cb266df388a036cbf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5316580,"id":"Q5316580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$B110F476-31FF-4539-91AE-AF2F128F6DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe396c865cdda7de8f93af45959e4a901cdb4816","datavalue":{"value":{"entity-type":"item","numeric-id":5390275,"id":"Q5390275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$ED1CBDFC-AD2F-4FC9-8118-E01F17242B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0244d42b59746eaee648b37b32fbd969f75556ca","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$CB2CF306-A9B4-47D5-84E9-6D6254138BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524155ca812bee0e1b7f8a0a6113b4062250caa","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$A0C7167E-68C3-4331-ACA8-B13B93236678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e2944180a2f21b40345233cf80053a0cf51497","datavalue":{"value":{"entity-type":"item","numeric-id":796292,"id":"Q796292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444466$95A28927-13EF-4DA3-87B9-EE0F5541B854","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d119abc96311854021d5ebd020ac9b82db5cffbe","datavalue":{"value":"10.1016/J.JLAP.2012.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444466$B9C59A1C-3683-4F92-A116-476881785253","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76bfd7fd85fc768f0a9d028166b6156e099961d3","datavalue":{"value":{"entity-type":"item","numeric-id":2864507,"id":"Q2864507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6bf40f76a6e288a5b8def7db7be5a623f55af9","datavalue":{"value":{"amount":"+0.8760802149772644","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":"Q444466$3FB434DA-9E9A-4928-91D7-279C2F32E732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a793fcafc0d16e8a72acac4b73c8c00b59c53d8","datavalue":{"value":{"entity-type":"item","numeric-id":465485,"id":"Q465485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3bbc6d1462412dc89a01147fb937e0b67aee0f","datavalue":{"value":{"amount":"+0.8231959342956543","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":"Q444466$D398D1BA-1A19-4EAF-86A3-0C54D2FCFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d37786a44d9867d65c6ef2e2900be9098a1d7c","datavalue":{"value":{"entity-type":"item","numeric-id":890481,"id":"Q890481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68623a981f2a60845bdebbc7c624e095bacbdd38","datavalue":{"value":{"amount":"+0.8109109401702881","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":"Q444466$8C57ACBA-8B73-474C-997F-499D0486F62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf03481f03cbdc43b29e118ce4b4b796f2b2b569","datavalue":{"value":{"entity-type":"item","numeric-id":4899685,"id":"Q4899685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f46413c5f62b182e3708480a31e96df42a4e99c","datavalue":{"value":{"amount":"+0.8069772720336914","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":"Q444466$AAD4467D-6157-49D2-8CD7-E14B39FE367F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a559c48a6534a54d7a04f8e324f02dc7e5d4e056","datavalue":{"value":{"entity-type":"item","numeric-id":1004057,"id":"Q1004057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7cfa7815bfef6469ab6dd804ab020c7174013c9","datavalue":{"value":{"amount":"+0.7363709211349487","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":"Q444466$0D7D2EFB-D7D6-4314-9E03-DD9CF38A364D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Observable behavior of distributed systems: component reasoning for concurrent objects","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Observable_behavior_of_distributed_systems:_component_reasoning_for_concurrent_objects"}}}}}