{"entities":{"Q2863833":{"pageid":2874553,"ns":120,"title":"Item:Q2863833","lastrevid":51884900,"modified":"2026-01-20T11:39:48Z","type":"item","id":"Q2863833","labels":{"en":{"language":"en","value":"Verifying concurrent data structures by simulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235703"}},"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":"Q2863833$B2344B68-E867-48DC-BA9A-68D21F88C3A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6a7c86f25af7c3ea9008676f6eab9e6cd8bc7f6","datavalue":{"value":"1276.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$645F44A9-7AF5-4273-A43B-F7D4DEAC37A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de7fb66b0206130190f243440decd1e8cf3e7850","datavalue":{"value":{"entity-type":"item","numeric-id":264525,"id":"Q264525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863833$C00DCD35-6315-4E3C-8B32-125D5A3334EB","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":"Q2863833$F8395059-8F06-4DAC-B7CB-24CCAE4BA323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863833$96AA11B1-19A2-4BDE-8BBB-1F9FE373CF37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863833$DFEFEB46-95FE-4F60-9E84-D38AA730CC9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab1a8db8cfa093428d6a9a590b3b207678872107","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050929?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863833$D71715A6-FBE4-41A2-8A88-76F0D1C59412","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$8EF6D36E-F294-4CBF-A6FC-C63ECF1BB3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$CD125C32-39D0-43EE-8511-8E6053DE9C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$E5AD62B6-E4C0-4778-B28F-EFA669C2063B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$0DD9CE2C-AEAC-49F6-908C-06E62BEF339F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c9ab4a7fdef9aee742c5074ad42bddc68c01c2a","datavalue":{"value":"6235703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863833$C0B7FFD1-B707-432B-8894-41DD2517840E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863833$C42811E8-089C-4FD2-98DD-58EC8821EE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4961852a0231c58795067b2b5beeda631000f7","datavalue":{"value":"lock-free algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863833$15FBDB59-182F-4144-ABF8-28D4D89BC605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"403736ea8913d6358481e5eca178a5f58979f013","datavalue":{"value":"linearisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863833$114A0FAB-5E50-4334-8DF1-B0E5A86868E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c2b7ced654647021de9242bf805c45b29c8712","datavalue":{"value":"I/O automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863833$B85ED7A3-1D11-4197-8677-C9FC4C31B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863833$227FE43E-DBC1-4315-84A2-BD30C0D37BE7","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":"Q2863833$4DE08315-8C8A-48EC-B626-FE7D5E8CD9D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50901ed211e1cf1c8a4f5ea8deedcf625ac3dad9","datavalue":{"value":{"text":"Verifying concurrent data structures by simulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863833$A67196C6-738C-48F7-A619-9562CC0E4282","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":"21a29ac35bf3040ce74841be4641e814cb0cd4d9","datavalue":{"value":{"amount":"+0.8170562982559204","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":"Q2863833$824EF369-91B5-4929-98E6-C3C22D213ACA","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":"2ee8c6ef0b9faa223dd586e6697a34d655d38261","datavalue":{"value":{"amount":"+0.8149967789649963","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":"Q2863833$725196D9-02F9-4EB4-BC89-75B12946A902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"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":"Q2863833$A095DB3F-AF20-4791-8C7B-271B3FC53148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8908d51930582745582e4220ad11bbb77575ffba","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f200dd38ffaa7628295bc591d57b2acc2011ced1","datavalue":{"value":{"amount":"+0.8043680787086487","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":"Q2863833$605058F1-E552-4322-9070-1693ACB14C80","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":"c03fd35794a6cedb7227f845f9b196dd1dd5f738","datavalue":{"value":{"amount":"+0.7745762467384338","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":"Q2863833$ACF85CCD-7FEB-47C7-8C6E-F7978E76930B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863833"}}}}}