{"entities":{"Q5370841":{"pageid":7400415,"ns":120,"title":"Item:Q5370841","lastrevid":52933640,"modified":"2026-01-23T20:33:22Z","type":"item","id":"Q5370841","labels":{"en":{"language":"en","value":"Ogre and Pythia: an invariance proof method for weak consistency models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794639"}},"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":"Q5370841$D92A99F0-6573-4D40-BCF7-C684AABF392B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3adf2e11fcf68e31ddb91e3a7b79c6dcb5bede7","datavalue":{"value":{"text":"Ogre and Pythia: an invariance proof method for weak consistency models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370841$62C92D88-7E47-40E2-B05E-BCF71CDBD4C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4916931bb2a9bf4dab38e842042c8abaedba42e","datavalue":{"value":"1380.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$C8189F2E-8D97-460D-9296-09469D440F1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a024583d77fb98cacdc244ee882e11323890be45","datavalue":{"value":"10.1145/3009837.3009883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$2D2CC02F-9F7B-44CB-B608-36571DA319FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5ff3e8c52b6f49323bfd186d81f823487b8017","datavalue":{"value":{"entity-type":"item","numeric-id":453520,"id":"Q453520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370841$310AD591-9CB9-4710-8841-A861065EE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370841$00BD38D5-2E27-4137-904B-CD5078622DA5","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":"Q5370841$8D62F4FE-2AB4-4686-B278-3B3DCF21BE64","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":"Q5370841$A498A949-8139-4D87-8702-D4334FBAEEAA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e2dea06aa51140eab2458d008d90bc77c97726b","datavalue":{"value":"https://discovery.ucl.ac.uk/id/eprint/1550683/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370841$0672BB11-4DBD-4F7C-AC6D-95086777482A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$98791B52-F52A-461E-B30A-5CD00D6B1A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$A3718229-BC1B-4269-BA33-B26E1D924A49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db3287897fcd1958660b2e919dad58ff93dab895","datavalue":{"value":"6794639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$F646CB51-F3F2-403E-9FEE-80228E3CC347","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370841$106CE849-9AE2-4796-9991-01B4C81CD559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9daa6e9e8bcf422f2555515cebb237c36e5e00","datavalue":{"value":"distributed and parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370841$8F6509E9-AE80-47E9-9A3D-A18CDA0F2C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370841$28B0CCF2-51EF-4127-AFF1-E31A4C66338F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370841$A8DCD6E6-7427-4ABF-AB08-5D4094BA7AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b3b6092e05abf793f08e810985e9e7bc5812c9d","datavalue":{"value":"weak consistency models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370841$12B017FD-D1B2-4967-B460-D7910429581B","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":"Q5370841$71B9D67B-3852-495C-8ECD-F542FEB09B53","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d98d7782c87201e56089ccf0739c6ed1856fc2f0","datavalue":{"value":"W2562986368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370841$5AD9E175-0B6C-4386-853E-480BF2C5B777","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e97923fefe43aabeabeb47e8daebc1c394a29e","datavalue":{"value":{"amount":"+0.7400182485580444","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":"Q5370841$651D513C-0F9C-4CEF-9DD5-E6B08844497C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67303c82678628ecfc3c2251f31c6a2e5a9b0753","datavalue":{"value":{"entity-type":"item","numeric-id":3449485,"id":"Q3449485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6fd471988eaf1371c2f46fe2dcf4359a50eb09","datavalue":{"value":{"amount":"+0.7377809882164001","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":"Q5370841$71A0B21F-CDAC-4E36-A4E0-331E69FA23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aed15c3e8868494c143e530f984db1935924349","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e92cf3f14bd7de252d12dcdd89c6f4262f3da16","datavalue":{"value":{"amount":"+0.7308210730552673","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":"Q5370841$1EFB60A9-E9B7-4871-9A2C-FA51A7984CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf84b96107a7a12fc731151b687a651153b43c1","datavalue":{"value":{"entity-type":"item","numeric-id":777298,"id":"Q777298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0fd6d3ec8fbb082f97699ac95c925008aa293e","datavalue":{"value":{"amount":"+0.7279528975486755","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":"Q5370841$88DF490E-54D7-494B-A2F2-D58C569956FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28e160e048f64eb5e662d7f606707016b31d6b8","datavalue":{"value":{"amount":"+0.7238674759864807","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":"Q5370841$0BE28CE2-D463-4A4B-99F1-81B5CA53D7E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370841"}}}}}