{"entities":{"Q1664150":{"pageid":1674891,"ns":120,"title":"Item:Q1664150","lastrevid":72464469,"modified":"2026-04-14T05:05:00Z","type":"item","id":"Q1664150","labels":{"en":{"language":"en","value":"Modular verification of concurrency-aware linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6924958"}},"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":"Q1664150$EA43BE97-8002-47A9-B460-7C42341E4A05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e097245bddacf4805a3ecc7d99fc0b2339ff5449","datavalue":{"value":{"text":"Modular verification of concurrency-aware linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664150$0268FA89-1319-446B-8256-F02C812BB273","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb8127bea6a82480cfd3aa76c0bc601061f67025","datavalue":{"value":"1394.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$0A7E6FF4-2839-4D71-8600-92F89353EF26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"376e1addab96555078f6e13d7ba12d17a8d683d1","datavalue":{"value":"10.1007/978-3-662-48653-5_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$803B5A87-32E4-4CEC-B66A-05C733ACA1E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c01a70ce0c72822b01da0ffc09d711e36e2883f","datavalue":{"value":{"entity-type":"item","numeric-id":1664148,"id":"Q1664148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664150$508B5743-CBFC-470F-B261-E3216DEDF3BD","rank":"normal"},{"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":"Q1664150$951DFB32-2E49-43F2-B545-B3393E27DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d1948b4a2322fe9397f00e40ae794a937c1ccc","datavalue":{"value":{"entity-type":"item","numeric-id":1664149,"id":"Q1664149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664150$2F8D1635-2394-4362-B172-58C770F81195","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13cdd6edc13ae30df49ead881dcc6c954c3f5ea5","datavalue":{"value":{"time":"+2018-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1664150$2D65FA37-C157-4B5F-83A0-B7B3B6F16AED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$D4DB1FBB-BDB7-4D68-B1AC-2FF1296CC1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$AB2DB2CB-C4F5-4A8F-82EC-C783C966B0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"483fc85111d4aae2bbe8d7c7f23ad75fd199d32f","datavalue":{"value":"6924958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$2410D4F9-DDF8-4178-8DD5-E33037B2A64D","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":"Q1664150$E6E57073-B946-4DD7-B342-F349F645ED86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df501e6dc19ac7b14c2841d79b36b548a5cc88bc","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48653-5_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664150$7E098DC5-C20B-44FD-A86C-21E2A65AFE46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0307b1fa187fd4ad11a982e40a4e994d52c34891","datavalue":{"value":"W2293847997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664150$F8C635E3-6D76-462D-A849-51720289DF17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a3edf865dd062a3266f380614a3c8a8e45f45f","datavalue":{"value":{"amount":"+0.7977538704872131","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":"Q1664150$5383BBDC-796A-4A49-BC25-BE37C53D4EB6","rank":"normal"},{"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":"8d4d01eefbc2741a85f1904cfcc3586c63c178fd","datavalue":{"value":{"amount":"+0.78841632604599","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":"Q1664150$1285AD0E-18D1-41B6-A916-10E673A96CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69d9090aff3b857d29a177295ee04e9e7984ebf","datavalue":{"value":{"entity-type":"item","numeric-id":782494,"id":"Q782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99466eeb353464509e5f82677f4bcd5d6bb0775d","datavalue":{"value":{"amount":"+0.7870612144470215","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":"Q1664150$843BBB4B-1CEC-47AD-97F6-582E79CCED66","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":"975ee18d1064146dd16ec897c68eff06e01c18a0","datavalue":{"value":{"amount":"+0.7869620323181152","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":"Q1664150$83C1CF4B-771E-45B0-86BC-DF8D944F3346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f7e506f64ae8587463c732a5d468be860fed67","datavalue":{"value":{"amount":"+0.7860062718391418","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":"Q1664150$A08E5ED1-70C4-4183-ABE1-43FD6AB05700","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modular verification of concurrency-aware linearizability","badges":[]}}}}}