{"entities":{"Q5326334":{"pageid":7355908,"ns":120,"title":"Item:Q5326334","lastrevid":92138243,"modified":"2026-06-05T00:57:48Z","type":"item","id":"Q5326334","labels":{"en":{"language":"en","value":"An integrated specification and verification technique for highly concurrent data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194844"}},"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":"Q5326334$FAC3C125-1858-47A2-AB70-44CE418A05F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d092b27872c8a8d530f0a79a9bf03d7f639a2e2","datavalue":{"value":{"text":"An Integrated Specification and Verification Technique for Highly Concurrent Data Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326334$90AD2006-562E-4A3B-B28D-AE2367D082DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34703601f59ffa6dc7355bfe876965a9419f8101","datavalue":{"value":"1381.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$3B13FE66-2E4B-41DF-8975-CB773DC78E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26595e4c6f6586cefc060db5303c3df490f7357e","datavalue":{"value":"10.1007/978-3-642-36742-7_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$E086AA4D-B75B-4ADB-9AF2-AE3ECDF07603","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c037f0d1306d2af9203e29cd112727d9f4fb9216","datavalue":{"value":{"entity-type":"item","numeric-id":2796062,"id":"Q2796062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$2761FA37-965E-41DC-B532-54A088C4B456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$F5C6BBBD-CA3C-4DF2-B2E0-A2C5EB4C7DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$AA6D5242-C4F9-4B58-B04D-BB49C6B1D6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$D308E960-12CE-474C-BDFC-9ACCE37F9D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$546D7576-BA4D-40B7-815D-726FFB5639CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326334$52987F4D-96C5-43A4-9557-8F41B3BAD8AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326334$3AA9A6B6-2570-4F47-BBDC-3F387C3FE852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$3520D322-77CD-4635-8EF5-5EF3DD7BDE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$2C1A5669-891C-4F90-A501-DE43B5855FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$5B44616A-0378-475A-A840-C72C61A99CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$BBC2ECB0-2BDB-46AA-8A10-327EF17AB99B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88f8019a3fd1ab0dc0bb4610fe24e3ea55435335","datavalue":{"value":"6194844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$9949E0AA-E7C6-4622-92D3-D2750DD74EA9","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":"Q5326334$4E775452-7E45-4218-BBDF-430489B5B257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da68120be0b7ee0ac9956b38664e4aba7f7f9eb4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326334$A1C8174A-270D-48FE-9A55-126ABD359746","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"928bf638969b530c0b197af7a3302968fd585d06","datavalue":{"value":"W1511438294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326334$CC95A6B0-3139-4D96-8A4F-CA6CF39245B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062192654decac9c9356935c51030de414a3d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ccd6403ee28ab825c195015aa17fc5da91cdc7","datavalue":{"value":{"amount":"+0.8109360933303833","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":"Q5326334$7A21C0BC-42C2-4713-BAF1-33D637D6D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d11bd6ceda93b217f8992c2e87dbc4dd6caf08d","datavalue":{"value":{"entity-type":"item","numeric-id":2323989,"id":"Q2323989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9e21988b8b810c22c6c19506cd5a2a1c870a448","datavalue":{"value":{"amount":"+0.8093940615653992","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":"Q5326334$833E9F9E-E232-438E-AA46-878A6F72688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17da4fd9b156b8f61c5972d9cddfd16b4fc213c","datavalue":{"value":{"entity-type":"item","numeric-id":2845500,"id":"Q2845500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5cf7fe2d5525a9a9830eef81664771490c48ea4","datavalue":{"value":{"amount":"+0.8022319078445435","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":"Q5326334$FCDE3CAF-014C-4D2E-95EB-E7467DBD2CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d14bd8f2c1a8641f04af92b77e91aaa9d87537","datavalue":{"value":{"entity-type":"item","numeric-id":4411951,"id":"Q4411951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cefcaef5a0ebabc91dd843dc390559403405827e","datavalue":{"value":{"amount":"+0.8017283082008362","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":"Q5326334$8D62EDB5-1BD2-44E8-BC3C-1E98B6FCD07D","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":"ea521d46752adfbd5eebd20518a4c06cea5bb4fc","datavalue":{"value":{"amount":"+0.8013175129890442","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":"Q5326334$15ED2A22-E69F-4777-8A71-B02EBCB554A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An integrated specification and verification technique for highly concurrent data structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_integrated_specification_and_verification_technique_for_highly_concurrent_data_structures"}}}}}