{"entities":{"Q890481":{"pageid":892329,"ns":120,"title":"Item:Q890481","lastrevid":65128659,"modified":"2026-04-12T00:30:57Z","type":"item","id":"Q890481","labels":{"en":{"language":"en","value":"Compositional reasoning about active objects with shared futures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6506760"}},"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":"Q890481$18BBF037-441A-450B-8974-62E223D52558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4585d86eb7f813a410faf16e94f7281af478e5f2","datavalue":{"value":{"text":"Compositional reasoning about active objects with shared futures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q890481$B7B61ACD-71A6-4EFD-AC74-A27309F71FD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bdf57144cb38454d4bfb65887a5d8c234f3d061a","datavalue":{"value":"1343.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$6FF9DA88-9DE0-4815-966B-95A161A720B0","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":"Q890481$EC0C18C3-525F-4F88-B752-D0B443267099","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":"Q890481$73D5550F-7C98-49C1-8907-A3422222CDC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$8D75E3F4-6B3B-430A-BBCB-09E05741B88A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"076824462e9739de83dbd861126210324c665107","datavalue":{"value":{"time":"+2015-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q890481$748C78F8-3D1E-428C-BB9C-F73509FB219A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$132324F3-3A1D-4A57-8A2D-A94D96FEACED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$12FCF3BD-4A42-49F8-96AA-15AC789ACE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$021793FC-753E-4FD6-BEC8-4516318C88B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66cd594c244545862b9118fdb45d63da138a56df","datavalue":{"value":"6506760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$1B7E4C33-F211-4C3A-8221-8DB495C7D8D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$CE4BA8AD-A687-4620-9D7E-54E12C493902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ffeea895ea2857acd70e1b5d889dbb12649a43","datavalue":{"value":"object orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$8090170C-4068-410C-B80F-8201A37AACAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$62A0244D-53FF-4176-937D-967524E09DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27856c0da695a322e7afa82ea131a6e7281e06ff","datavalue":{"value":"asynchronous communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$9CD4C0C5-F6C4-49E2-9425-3CAC18773D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f16add1f2a0d19b14f25f1b367d91d9074d229","datavalue":{"value":"shared futures","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$6D613BEF-5524-47EE-B3A5-8B2930270CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$B65EC818-AC95-42FD-8839-E9305A62039F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a5464ac35837a66500e6be192c6d24bc7d2719","datavalue":{"value":"communication history","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$3E9C82A3-BFEF-41BE-A4AC-E1B6EFD491FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f9062a19f85971c14b4d71d981f064b7b13591","datavalue":{"value":"compositional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$68A88459-8FDC-4D3E-9B55-3BE974C4938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q890481$8E30E4FC-D5D3-4C48-A7AE-FC8BAD9C0748","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87fd21075dd2ef46d7e34c0ce531522806e90c67","datavalue":{"value":{"entity-type":"item","numeric-id":13301,"id":"Q13301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$82FDB0EA-33CF-44DE-9BC5-564F9EB0C314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$A313248B-3195-4748-868E-BBBEB998702A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c1eaaa18f24b6429a1a7810024a01c4ad8ffcb1a","datavalue":{"value":{"entity-type":"item","numeric-id":21403,"id":"Q21403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$71186CD3-B546-41D1-AE68-239F7B4889DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$F9185539-F17B-4C19-82DA-7556EAD99281","rank":"normal"},{"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":"Q890481$612524A8-044D-4EC6-B350-62A139A9BEF4","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":"Q890481$C9499891-BEFF-4226-8D3A-B4D4B44D2B85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a96ab9eecf71b393bcdc7ff777194d4d4a3e91d","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0322-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q890481$87CF625C-0222-4F9D-84F5-17D8A648FCCE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e58c0e166b8d48547f00fcbcfaa45e9bb5092ab6","datavalue":{"value":"W2089178595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$46A5C902-7612-4F2F-AD9C-E868093D69DB","rank":"normal"}],"P223":[{"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":"Q890481$F6B97B8F-B62E-4F8E-8581-575B8582BCC2","rank":"normal"},{"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":"Q890481$9A37ABE5-5546-4977-8099-4B096DC2D321","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":"Q890481$344F5465-38F3-4E65-AE19-7BC271D5E93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd7fc7957d854781a8ec66eda06c72149e32320","datavalue":{"value":{"entity-type":"item","numeric-id":2463558,"id":"Q2463558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$25979ABA-2D63-4479-BF52-B8603B3B45C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe4bf4cb7b2b69505eef7f586faf53b20c77704","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$8A7FEE4F-720C-4267-BBEA-C166300F0DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457427e8231b66c724a3c4090a03a0f9879cf1c5","datavalue":{"value":{"entity-type":"item","numeric-id":846117,"id":"Q846117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$5AF85D47-ECC8-421A-8297-D2E5E14B5CDB","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":"Q890481$FCC49445-3BAE-4E33-AB11-4DD28B9369D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$E51A94D9-C1C7-405F-BB32-071BADEDC708","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":"Q890481$6A9063E3-80BF-4D26-99C0-55524751854B","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":"Q890481$991A2069-F653-454D-AE62-CE6905185C4B","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":"Q890481$D3FE511F-0A43-4A85-9CCA-2879A5D0A015","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":"Q890481$68446BFF-D1CA-4AAA-9667-2B22E26443F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a483270ba6189f7d8f63fb6fa9705bd744177c09","datavalue":{"value":{"entity-type":"item","numeric-id":4899685,"id":"Q4899685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$41CF9EBA-8DBB-472D-8D56-80853E6BDA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$09060D59-C82D-4026-B36D-54CB92B92AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0035cec138513d8cc83db62d57cae66f7112281b","datavalue":{"value":{"entity-type":"item","numeric-id":4494076,"id":"Q4494076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$7E0365EE-1C5E-4FF8-9A99-65D4CF78D697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94de08579fdb4600625f8e9aff865488f3125027","datavalue":{"value":{"entity-type":"item","numeric-id":3703291,"id":"Q3703291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$436AA18D-7893-4156-BD0D-F9FED1217A78","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":"Q890481$FAAD5001-1031-4643-9456-99CD228BB991","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":"Q890481$6B7D1700-6191-44E5-8C91-510A3DB79AD0","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":"Q890481$07BFBA35-B3B2-48EB-A512-89F8D6F16D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$704781E8-8C6A-4B19-8D2C-5A52170DCBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q890481$135E99EF-BD87-4492-AC9B-62E463797124","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":"Q890481$AF9C675B-3647-4A10-9244-93B7EB82E165","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":"Q890481$91D2A50C-D254-4115-B0A4-1B89750A2917","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1dae416c1fdc31454eb27f36b4fc90fecd62356","datavalue":{"value":"10.1007/S00165-014-0322-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q890481$5DB19936-D5B1-4B7B-BDE2-B4B4E3847584","rank":"normal"}],"P1643":[{"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":"5a80dbff05eaf5ce4b6ce5d322161abebc74d2ac","datavalue":{"value":{"amount":"+0.9033841","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":"Q890481$B76A4E1F-DF18-4EF0-A79D-9866BA26F724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e7f2fa86319898784ab1c1ddf715aaf9c6d04f","datavalue":{"value":{"entity-type":"item","numeric-id":2024370,"id":"Q2024370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286afa3f6167d580b072f38931533b829b65cfca","datavalue":{"value":{"amount":"+0.8528023","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":"Q890481$0F34EFF5-09EB-4188-B0BA-1D6BAE4C7552","rank":"normal"},{"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":"bad22956de4ab1cff61528d817d9d95e293674de","datavalue":{"value":{"amount":"+0.84337664","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":"Q890481$F44D8545-4D0B-4938-B34E-9A281AF7D602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f74e8421eb1d50670a95fbb3e52f96306334578a","datavalue":{"value":{"entity-type":"item","numeric-id":2576572,"id":"Q2576572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dbf4abc72655fbfceb298f8ce51e149228f892","datavalue":{"value":{"amount":"+0.83284944","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":"Q890481$D30498D2-E727-4DCA-A424-8D3ED4C8E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6688c2af0228f1ac63553dc6f37af4ca44782105","datavalue":{"value":{"entity-type":"item","numeric-id":1988520,"id":"Q1988520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc37a4f1854e1a1adaff36f43e8196595aa91180","datavalue":{"value":{"amount":"+0.828862","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":"Q890481$A186D239-87F1-4FB1-835C-08869B2C0679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1baa51f964472a83ddc375a07c99ce7123c25d","datavalue":{"value":{"entity-type":"item","numeric-id":1376091,"id":"Q1376091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37c006fe09380478f32dc199ace3bd635defdf5","datavalue":{"value":{"amount":"+0.8272413","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":"Q890481$BDA65196-2210-4E7A-B6F0-5C4511E4A350","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":"b493ea55e0d5b7a0df8228930cfe19e860aa570e","datavalue":{"value":{"amount":"+0.8261332","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":"Q890481$8435BF52-4D9F-4DD3-BFAC-3DF799F3E7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8af46b280bdbeafe96c5de8c24b026f7307093e","datavalue":{"value":{"entity-type":"item","numeric-id":4518414,"id":"Q4518414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"368a9e43bcafecfb90e823c2f2b362359fa8b838","datavalue":{"value":{"amount":"+0.8207409","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":"Q890481$1432CA9D-82C3-418D-AF41-80B7A6FAB67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b39135e3e3f050fb1b7544756083e250cbab63","datavalue":{"value":{"entity-type":"item","numeric-id":264963,"id":"Q264963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b1c97ef22656a603765ff0aa7d8d945793c177","datavalue":{"value":{"amount":"+0.8163787","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":"Q890481$3E61699E-7CC9-4E29-9A8E-EE37F200163F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional reasoning about active objects with shared futures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_reasoning_about_active_objects_with_shared_futures"}}}}}