{"entities":{"Q6535948":{"pageid":14147091,"ns":120,"title":"Item:Q6535948","lastrevid":55604944,"modified":"2026-02-17T19:35:56Z","type":"item","id":"Q6535948","labels":{"en":{"language":"en","value":"Verifying correctness of persistent concurrent data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817372"}},"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":"Q6535948$2F52EE36-D06A-4713-9246-B5938FA294FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81992c7a3d2d73c5eb6c28009b5b267c63273cd3","datavalue":{"value":{"text":"Verifying correctness of persistent concurrent data structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535948$EE065F17-414D-4042-8138-932D39175824","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c3c127f44901d30b5f271635222285ac6f1098","datavalue":{"value":"1539.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$A45E030A-4DE8-4DA7-8AE5-268F55789D32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52c6975a6126668848dc98cd530b289072cb663a","datavalue":{"value":"10.1007/978-3-030-30942-8_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$16215B21-3E91-4C25-B7AD-4F6DCB63FB65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$ED346E32-4E8A-4788-9618-58C98C589665","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":"Q6535948$DBC2AD49-EEB8-44CF-A610-B87DE224F0D1","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":"Q6535948$1429FCA7-6B56-4DD8-96D7-C927DD731697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$3A0446BA-E8D7-4400-B02B-F05408EA4F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$B379984D-B3CA-4F82-AC2E-CC22C8522088","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535948$E3FEDDD8-7AC3-45EB-B0DB-D24F12F26A1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$BDDC7A98-9569-41EB-AEE9-4E904A5BCF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$6DA032EF-EDB4-445E-9401-F608BC12A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$032B3421-B546-45F6-A356-003BBE264A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c664c7e74230f84d4ccb72aa31cc43461248dd4a","datavalue":{"value":"7817372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535948$D2A738DA-C68A-4083-9171-C723A026D9CC","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":"Q6535948$97C9D8DD-CE72-4023-9F19-A323A8E2F7A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b6f831c6fe41c198019ca0c6e002e7ab0496b2","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$F3D86A26-D791-4694-8061-5DB9026426D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b73412e81e1ed3669b6f807a405d1ccd1a619f","datavalue":{"value":{"entity-type":"item","numeric-id":2931799,"id":"Q2931799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$AC0C0F72-C789-4050-A7AB-CCDF241675CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b10018faac6dfa8f075d66c382cd7811a148bbd","datavalue":{"value":{"entity-type":"item","numeric-id":3174968,"id":"Q3174968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$091F995E-23B6-47A4-8F0D-1841F99146A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67d50f829c06ef84d83809a1502c75dc171e819","datavalue":{"value":{"entity-type":"item","numeric-id":6104493,"id":"Q6104493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$DA71AC09-2740-4E87-8B92-2977EA4329FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac24bcde47140102763502797ae911629cf24254","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$1B0CAC9F-5CEE-4682-9341-A64207FD5CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$C6D3B659-B60E-45AC-A10A-19EA2590CC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$950FDF1B-D6A0-461A-B12A-D131A75B9227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b13457cb42ad28623335ab31537f25be6c73f9","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$2791D8D2-B67E-4B1E-8024-7F8D9864670A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c86d29532dad4322b2417369b536216d59a130","datavalue":{"value":{"entity-type":"item","numeric-id":3179387,"id":"Q3179387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535948$EAB7146F-57DC-4A25-9BED-AD14980460CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5612d7a0cd96164ff5b6cec6b190a554d705edf1","datavalue":{"value":{"entity-type":"item","numeric-id":1982636,"id":"Q1982636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc152f3046140b691d83e4163ce77eaf023226f","datavalue":{"value":{"amount":"+0.9848803281784058","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":"Q6535948$29C0C157-B269-4418-A3B2-EC949BA9193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77368ca0e9720495d4204cb152aa2b1b6ebdc9f","datavalue":{"value":{"entity-type":"item","numeric-id":5041273,"id":"Q5041273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ace042be3e4495fd99724f9cd5d79b7b81a70","datavalue":{"value":{"amount":"+0.8332857489585876","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":"Q6535948$8A6EAD27-5B07-42A9-A1C4-125544B70255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1125aa02eabd6952fb28d4cfa08734851d8a99bd","datavalue":{"value":{"entity-type":"item","numeric-id":5101340,"id":"Q5101340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23cd39deca325b3b58f7e9bfc7e8d3ed352cfbb","datavalue":{"value":{"amount":"+0.8089250922203064","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":"Q6535948$292F8665-C1C3-449F-B825-B146B6A60A6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1342ddc9e5689547bf66494e104fed3221ece4f4","datavalue":{"value":{"entity-type":"item","numeric-id":5363811,"id":"Q5363811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f70a49f4a3e4528ea0650f06ab40664d46d64b12","datavalue":{"value":{"amount":"+0.7919223308563232","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":"Q6535948$64872D00-1815-4147-9830-B33416D97F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37978c30803b4d0a554b38bf4e014e7f9e0da328","datavalue":{"value":{"entity-type":"item","numeric-id":6155236,"id":"Q6155236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdfd53a33af70c91609f59a4cc51220626206ad","datavalue":{"value":{"amount":"+0.7605333924293518","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":"Q6535948$51460384-4E18-4427-86E0-41326BCFCF47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535948","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535948"}}}}}