{"entities":{"Q1882787":{"pageid":1893529,"ns":120,"title":"Item:Q1882787","lastrevid":73052460,"modified":"2026-04-14T09:56:32Z","type":"item","id":"Q1882787","labels":{"en":{"language":"en","value":"Barrier synchronisation: Axiomatisation and relaxation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2105166"}},"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":"Q1882787$03B6CBE0-B118-4DF1-BE47-C1F206312051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f4c6dbe722922e0a6b3123aa99d7d736e86dcc","datavalue":{"value":{"text":"Barrier synchronisation: Axiomatisation and relaxation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1882787$22555666-6324-4401-92DF-BA827CCAC3D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deec9ae2cdc0e8f6ce61dc9161da7c9f491c90bd","datavalue":{"value":"1084.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882787$A7BD4B6B-15C5-4CED-9400-DE6230E52048","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":"Q1882787$DD7545C1-4FA6-405C-A05B-116C5E7CB504","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"221b8cdf103f88fa9a30fbc31f4b00396bad2596","datavalue":{"value":{"time":"+2004-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1882787$18E86039-9240-43BA-A377-39759163B9FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882787$06E6D91F-3E20-4188-8954-99CB700CA10A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0c50cd456bbc228dec88179d1b740064b800385","datavalue":{"value":"2105166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1882787$074749A1-5BA1-4704-8DD1-9EFF6C3D1661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b0c18f78f6db8887c3661a5a99bdec0c581a6b","datavalue":{"value":"BSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882787$5A80F639-92C9-4698-9A13-6604D95AEAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e566f169a351cb38020e3c1ccaa86ef42c2ff10","datavalue":{"value":"Global synchronisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882787$A0FF8815-E111-4D64-B0B0-B682C7D8BFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c939facbbf2e9ee28200330244d8cde659f089","datavalue":{"value":"High performance computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882787$F9E5A127-4B1F-4725-8AA7-FE030B4FF8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882787$0491C99C-2A28-4AEC-AB4A-8A61C5F4DFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25df9a7d738a8de30dbab977da8d5eaba93687f4","datavalue":{"value":"Operation relaxation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1882787$DC91AD18-DA38-4503-AC63-0E456F717B15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33c8ed8f89820c0434468f9beb32c5c5f933c9b4","datavalue":{"value":{"entity-type":"item","numeric-id":469342,"id":"Q469342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882787$101BC2EC-AE01-4E5D-89A9-457A5F7E9F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf6ed44237c8a846b39f80fa5d14c2c303f7cd80","datavalue":{"value":{"entity-type":"item","numeric-id":676843,"id":"Q676843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882787$109C1849-D173-4254-BFA7-8FA7447E1D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb01c5911b75cf8a04ac445d3e91b5ce7cb29956","datavalue":{"value":{"entity-type":"item","numeric-id":293413,"id":"Q293413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1882787$B4A1056F-1D14-44B4-98E9-5142DF0FC02F","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":"Q1882787$B434BD76-CC71-473A-8CBA-1895B69D7AB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be98f8074288f2dcffda94faeceb9398b9d619ea","datavalue":{"value":{"entity-type":"item","numeric-id":4536984,"id":"Q4536984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e520a6b29f51d4547ccec4f9d9891c50b42dac0d","datavalue":{"value":{"amount":"+0.8256921172142029","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":"Q1882787$AAE2AFFE-4A13-49C5-BAA1-7340CF637FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6c51769614fe05e70fdd142ad951711c7e5f41f","datavalue":{"value":{"entity-type":"item","numeric-id":4485121,"id":"Q4485121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb2b317baa8aa5b22f49c9bc16ef96339b0f0d72","datavalue":{"value":{"amount":"+0.7672327160835266","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":"Q1882787$42C81774-3117-47B7-9019-9FB69CB1D375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe5c2e43af44fd8ab41ed647f675581eac15ae0","datavalue":{"value":{"entity-type":"item","numeric-id":640293,"id":"Q640293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf71f60dd172319df33ad2cda1283699a19a565b","datavalue":{"value":{"amount":"+0.7628517746925354","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":"Q1882787$43FE6A1C-5782-42F1-8CFC-6B7D001E9B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a079c22eebf4c96fdf5f1995b596d4ad0f04ac9","datavalue":{"value":{"entity-type":"item","numeric-id":673419,"id":"Q673419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72b324a436b75edbbaa5963edca365c46a60aa4c","datavalue":{"value":{"amount":"+0.7350381016731262","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":"Q1882787$FBC4FFCE-18FB-495A-A642-569FC250FF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b40e281eb27f4d8b2c8ba45cf4ec7557ea8be7","datavalue":{"value":{"entity-type":"item","numeric-id":2011205,"id":"Q2011205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9129009859d2f8863ee05e5b1c4ab9302f6fb38c","datavalue":{"value":{"amount":"+0.7282125949859619","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":"Q1882787$39B8D230-3805-4762-AB47-7320485BDFFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Barrier synchronisation: Axiomatisation and relaxation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Barrier_synchronisation:_Axiomatisation_and_relaxation"}}}}}