{"entities":{"Q5370895":{"pageid":7400469,"ns":120,"title":"Item:Q5370895","lastrevid":58540878,"modified":"2026-04-05T16:17:29Z","type":"item","id":"Q5370895","labels":{"en":{"language":"en","value":"On verifying causal consistency"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794683"}},"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":"Q5370895$7155E966-E06D-4AA2-8116-08DF8A506DB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8e8dce72a4806db478a6b04f117c7b2e57cbbbe","datavalue":{"value":{"text":"On verifying causal consistency","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370895$1565BAB6-9CFC-4575-B545-CACC859C4BE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34b4829db0e7803c3e1fc0e875334e91d70c278d","datavalue":{"value":"1380.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$8687BF3E-B5BD-4FB6-A55F-AD13A25FA832","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb5654c98fd055922ad5fa986226508ececd6fed","datavalue":{"value":"10.1145/3009837.3009888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$4C308E89-B96A-4B76-A838-4B8AEE8527C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370895$0544EA89-C866-42A1-97CA-7BAE6E2924A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370895$6C2D34DB-1DEB-4E4F-B2D6-6D4F96CA1340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad7c9c750cf725fdec33f571a54ffbd7de1850aa","datavalue":{"value":{"entity-type":"item","numeric-id":1641011,"id":"Q1641011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370895$80ADE41F-CC2A-4404-A630-8785A65BA8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66e71311a531f5c49e07637d77e90cbb2640dae","datavalue":{"value":{"entity-type":"item","numeric-id":453506,"id":"Q453506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370895$17499DEF-0310-426A-B4B8-39A7E944F5EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370895$EA855141-D6A5-44BD-B63B-0592A23AE73D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370895$A576E91F-D5C4-44A0-929F-F0351A604291","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c0da9cf7509d920645ac296e6328870614937fb","datavalue":{"value":"https://arxiv.org/abs/1611.00580","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370895$CA9CDEB7-6F27-41BE-99D6-1F4429DDA8FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$D31894D0-3ADB-45CD-824F-ED3423891E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$0C939434-AC44-41E7-A9EF-1CAD806F8824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$A86C9B70-8E7F-4FA7-B181-4EA960F2DB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$BDED59F4-FE20-4C73-BF1B-9B3F96FCF125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$DDE5DB9B-DCB7-45FD-B2A4-EE2FEC33A39E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d4474f767889192121e7ffdb5915b81b079b7ef","datavalue":{"value":"6794683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$ED68CCC2-CD5B-4B48-9F20-C1B2B4CA456E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c2bcf17bc3433aff06320a65a1ebc84ebf491b8","datavalue":{"value":"causal consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370895$9FAECB2C-A3BF-4D67-8E08-12995EFE5F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370895$41C06C7E-1A4A-4277-88B9-F6B8A1D5C8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370895$968C367F-7E74-4591-B198-ED4A301A9412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370895$8372F854-E0D1-49AC-A174-15D2EC0E4388","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":"Q5370895$314CF79D-BE0E-4AF4-9B47-A6BFEC2D9372","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"115509b8b9059915990f84262ea1ca0d1c29d5a5","datavalue":{"value":"W2546854465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$41AEE260-1E67-452E-A547-85324171AD33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f25954d1297470d5c74d8155ffff95545f253ac1","datavalue":{"value":"Q130960666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370895$17EBEEDC-F81D-497A-85C5-D41E3E66A851","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788b4e433dd9a93b337c18c5e7b6cc4a6e27653b","datavalue":{"value":{"entity-type":"item","numeric-id":2676222,"id":"Q2676222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dcbfcc2a751e454d32d7025a862c6452577380e","datavalue":{"value":{"amount":"+0.8189063668251038","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":"Q5370895$A0315754-7270-417E-B224-B2A1CC3B0AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c5908317ffd10ac1e034ec019368a861356b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2828279,"id":"Q2828279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e9e8c3ea8df2082faded623ab2eeec4677d437","datavalue":{"value":{"amount":"+0.8098806142807007","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":"Q5370895$42EEF278-A7B5-49AF-A879-87BF95F4877A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb15e391599166bb136ae8a93ff1781be0957838","datavalue":{"value":{"entity-type":"item","numeric-id":5137003,"id":"Q5137003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f132067f9d155f57c610aaa5b235cd2df97af731","datavalue":{"value":{"amount":"+0.8078012466430664","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":"Q5370895$DF5394B2-C1E5-494E-B8A6-367235514638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180f074d9941e39106247a30a3ede3866a130e76","datavalue":{"value":{"entity-type":"item","numeric-id":5856416,"id":"Q5856416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1174e94868c89a6327409e4489b58c12b1f37115","datavalue":{"value":{"amount":"+0.791772186756134","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":"Q5370895$E32FA2A4-5AEC-4B3E-B728-D43A1F967894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d890b957d5e98adb48a1a1e11f0e10363f2b1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2956682,"id":"Q2956682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11093a6d568f44381e78d6acc839d50027115345","datavalue":{"value":{"amount":"+0.7448945045471191","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":"Q5370895$9547FD81-1D9F-4B92-9D09-47D812E976E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370895","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370895"}}}}}