{"entities":{"Q5082190":{"pageid":7111766,"ns":120,"title":"Item:Q5082190","lastrevid":54341012,"modified":"2026-01-26T16:22:24Z","type":"item","id":"Q5082190","labels":{"en":{"language":"en","value":"Proving opacity via linearizability: a sound and complete method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542234"}},"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":"Q5082190$A81A799A-47A7-4C3A-B2C0-74B3DEF10180","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"957d9f4f3c44ca25a25e58158826cf9ec0462b41","datavalue":{"value":{"text":"Proving Opacity via Linearizability: A Sound and Complete Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082190$593F983B-A291-4A01-93EB-36B2D5537595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23e88e63a26d71571755edc4cec1f861bc8deec2","datavalue":{"value":"1489.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$052E5489-A997-425B-AA13-FE4BAD4A70E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a20d359017641b2bbfae9916283c7f72b18880c0","datavalue":{"value":"10.1007/978-3-319-60225-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$C70A489F-1A7C-434A-AB99-F14C7802219F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661058c43babba56430a6ee50eb96105dced91de","datavalue":{"value":{"entity-type":"item","numeric-id":406432,"id":"Q406432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082190$1361AD74-ACE7-49D2-BE4A-DA5844260C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082190$2B7EA8F3-8ADB-4031-8727-C68624D8CEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32e53015970cac840f13624d12043d566c18d3f2","datavalue":{"value":{"entity-type":"item","numeric-id":470036,"id":"Q470036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082190$AC4419C4-BB27-4C24-9EE8-8E849504D1FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082190$E5E685CC-D6A0-43A6-BE27-A678B0BBABB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082190$1FAE1080-FED5-4EBD-9FF2-4A8BE97F8FAD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5cddd4c4c4bac0d14ef4f7e605459aba7567a7","datavalue":{"value":"https://hal.inria.fr/hal-01658425/file/446833_1_En_4_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082190$E00D8B95-BD14-4D2F-A95E-4AB93C791E32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$697CDA41-B73F-4E69-AE8A-3551A82973D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$1596CE53-D8A5-462D-87B5-A805D72F1338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$E37E2867-959A-4EFF-BEA6-7C211DBE164F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$8EA64C61-884F-4C24-9653-2A88F39F9C29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac0759fdc8254dbcf0101a031a812bf3a212c476","datavalue":{"value":"7542234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$EF91900D-1693-4735-AB2C-91666B373F04","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082190$BBFDC19B-A772-4A97-80AD-235E426B1B6C","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":"Q5082190$FFF4280E-24C6-4C6D-8BC2-77D969F37EAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5346933d994fa5792aa8e4e0c8a9974070ddf880","datavalue":{"value":"W2617069544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082190$B3642C2E-930F-4788-A1F4-1D9764503342","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4161f1704d1a07aaf583b34c77a4b0ca127b531","datavalue":{"value":{"entity-type":"item","numeric-id":1673658,"id":"Q1673658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534d0c5fc04d65f04ec2d5119380ca246cf02231","datavalue":{"value":{"amount":"+0.8687559366226196","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":"Q5082190$D87FB255-AC39-48B6-9FAE-5E51B7235C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6949439cd286ee00f307f46fbd310ea505bdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5082189,"id":"Q5082189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776cb62e205d9acd9dd252c27fe4840bbd1d4d2b","datavalue":{"value":{"amount":"+0.8623995184898376","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":"Q5082190$52E6BD44-F89F-4B0A-AEA4-14EB7102C975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfa5631da71ca07ccfe8e7d68e8377b3edf30026","datavalue":{"value":{"entity-type":"item","numeric-id":5206950,"id":"Q5206950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25987164986745c5e8b18cd886ee449944923bdf","datavalue":{"value":{"amount":"+0.8527984023094177","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":"Q5082190$07AB1C06-587C-4EAA-885B-E46E7E5B4A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865baf72e3d1a99cd8c01f11c171b92b9c876787","datavalue":{"value":{"entity-type":"item","numeric-id":3174968,"id":"Q3174968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcd579555f7d68c56471f3386bc22457aa6c75d","datavalue":{"value":{"amount":"+0.8513400554656982","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":"Q5082190$FD53698F-B281-4BCC-983E-9C1D5B6A3D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f72f27ec8ed3bfc008b04d151f6dd8c58c9ff83","datavalue":{"value":{"entity-type":"item","numeric-id":902713,"id":"Q902713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8995391d3d2c8f4cd706f5ab221e75b13c8b7914","datavalue":{"value":{"amount":"+0.805932879447937","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":"Q5082190$20C9F356-37EE-4344-8C32-AD86FFC2E200","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5082190"}}}}}