{"entities":{"Q5176190":{"pageid":7205762,"ns":120,"title":"Item:Q5176190","lastrevid":91574321,"modified":"2026-06-04T23:31:20Z","type":"item","id":"Q5176190","labels":{"en":{"language":"en","value":"Verifying linearizability with hindsight"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6410381"}},"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":"Q5176190$A96EAE61-6EDA-47DB-8F17-0719EDF948D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ae4a0a6e260db3a64af4532869234e6e9829e06","datavalue":{"value":{"text":"Verifying linearizability with hindsight","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176190$8027D1E1-7E86-47F0-B68A-A3F855DF745E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e53b243012b990026b7ce977444521b6143e1185","datavalue":{"value":"1315.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$B7F0F481-FBA3-4C78-972E-C63A7F4E6147","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36ceb75efa8e80d1fdf28b2d219aafb4dcdd6b66","datavalue":{"value":"10.1145/1835698.1835722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$1F516A3B-4274-4C8D-84AD-A34210927265","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5713d682d296f1e75a239a1684f9b620ca3af428","datavalue":{"value":{"entity-type":"item","numeric-id":615950,"id":"Q615950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$80F62375-B741-4BD7-8A30-8E1DCCAC3E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e1f45a09a9a289346056c16d3533cd18ecb557","datavalue":{"value":{"entity-type":"item","numeric-id":681345,"id":"Q681345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$550339C1-25C3-4908-821E-A56BC52C95BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$D1B7AA3D-80A9-4599-9909-6669E70890BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8dcba1a85b5ac0deee4d501754b8864049a4eff","datavalue":{"value":{"entity-type":"item","numeric-id":2643336,"id":"Q2643336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$C95830B2-8044-4222-BECA-8CD7830088E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$B0E9A9F2-EC19-4731-9B1E-E61FF9DAAC6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a7b18edf92b5eafbaa6d2f089947d19b0d4c129c","datavalue":{"value":{"entity-type":"item","numeric-id":5176186,"id":"Q5176186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$7718F8E5-16E2-49EF-810B-8D7D1A418422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1f34cd617859aff4fbe92f8216861e04e26244","datavalue":{"value":{"time":"+2015-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176190$9E6A7EE6-C002-4CE9-87CD-4F5628A9A4BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$948E5C90-DF5C-4BC5-B7CA-4E1704D456C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$755FA028-03EB-4C89-B77B-50BEAF0C0E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$31FBA1D7-978F-4C80-B4FE-4878E5029712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$5FC81D0B-578B-4292-A695-C18551E36192","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1832bea9cc427edf5d3d812894a611a3799d8ac8","datavalue":{"value":"6410381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$910129EE-3D23-47C8-BE63-18654ED5FBF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50beb15f5cd6586f1bada119cf7eecccd81cbcc","datavalue":{"value":"hindsight","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176190$29462952-08A1-4221-82D6-2571D867C51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176190$AC483C5B-C4C4-4E75-A2A7-1B0B956E715A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ee75c8bbc5b73d921be8c6687a471dad6c20ca1","datavalue":{"value":"optimistic concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176190$1F6A395F-0B07-46D3-B945-0947C31E3D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c400da16ba7de82973c15ab962c1545642795b","datavalue":{"value":"wait-freedom","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176190$CD8C53A7-53A8-405C-8636-23B0291A095F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a8a8751c8b2a8f49f1d6e5fd32896030964dc70","datavalue":{"value":{"entity-type":"item","numeric-id":45021,"id":"Q45021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$9AC5BEAC-568D-4734-B463-F0CA1803C848","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":"Q5176190$EBC9CA3F-00CD-4A27-A9E5-253632AD361D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a8c9f8af6c52a500ed2497d5280041b849c079","datavalue":{"value":"https://doi.org/10.1145/1835698.1835722","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176190$7845A72A-BD2E-4834-B181-4BFCAF049982","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"864f52665310b849212783841ed206ea79a703d7","datavalue":{"value":"W2157062942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176190$F827426A-3C6B-452F-9FB4-7B5BFF03D880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"177160d649ad506e2fc1432b194fa56e9b9aa50c","datavalue":{"value":{"entity-type":"item","numeric-id":3646218,"id":"Q3646218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$BDA242C1-DB8F-4F40-9174-FBDEC5CC0133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d07534eb6ec3d78740f8c508377e6dd86294b7","datavalue":{"value":{"entity-type":"item","numeric-id":5177247,"id":"Q5177247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$5FB19BE1-321E-4D77-B542-0F428A190528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc01c3546dd4a570a6e3cdca264cdb16f26b907a","datavalue":{"value":{"entity-type":"item","numeric-id":5361456,"id":"Q5361456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176190$E2838D4B-ABDC-4F2E-965A-E2968F605575","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef896335a236046a69e40d814b99d8c75b41a062","datavalue":{"value":{"entity-type":"item","numeric-id":2842111,"id":"Q2842111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e9963125241b768ba24c5b095d847b0b24b1576","datavalue":{"value":{"amount":"+0.7461969256401062","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":"Q5176190$2A613E3F-4333-4AFA-9D6F-243699947041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc0d1144d70c0b6cd329c4c6118b815cc0993b6","datavalue":{"value":{"entity-type":"item","numeric-id":5246726,"id":"Q5246726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b1208864d0c428739413a35edaa3885f79918c","datavalue":{"value":{"amount":"+0.7451768517494202","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":"Q5176190$FC76F267-1EE8-4CEF-925E-3128939BE676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6164f88065b5a08a964a93a48aaeca48b6fd3ef1","datavalue":{"value":{"entity-type":"item","numeric-id":3600484,"id":"Q3600484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19a1d65bd4eee39b136eb67e90525f60226564d4","datavalue":{"value":{"amount":"+0.7435854077339172","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":"Q5176190$0F066391-F87E-429C-953E-FBA61D38AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b07ea5bf9ba3ca13343862fad254529d1f3911","datavalue":{"value":{"entity-type":"item","numeric-id":5090915,"id":"Q5090915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac8e40cf29dc5435ac8d06b4c3e0f6382a01649","datavalue":{"value":{"amount":"+0.7432767748832703","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":"Q5176190$ABC8E3D6-9542-4C32-8901-F0B33783BAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f49f60f78df0c06f8e28295f2790089b8caaf6","datavalue":{"value":{"entity-type":"item","numeric-id":3557084,"id":"Q3557084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eda36eb548721e44465af7ac4ad9466f5b3e81c","datavalue":{"value":{"amount":"+0.7395768165588379","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":"Q5176190$7896DF5F-ADDA-4511-9CF3-5343FBB6F540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying linearizability with hindsight","badges":[]}}}}}