{"entities":{"Q1664147":{"pageid":1674888,"ns":120,"title":"Item:Q1664147","lastrevid":72464442,"modified":"2026-04-14T05:04:59Z","type":"item","id":"Q1664147","labels":{"en":{"language":"en","value":"A constructive approach for proving data structures' linearizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6924957"}},"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":"Q1664147$B596A880-11FE-4A80-A51E-A7D4642E2344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"688b5f5496bb93288d58e7307ebeeb9f2fc6df76","datavalue":{"value":{"text":"A constructive approach for proving data structures' linearizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1664147$1F6BB40A-6376-435A-B7DA-9E6311404243","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13b7f84d79c485c8cad7358a47a289210fd32cc8","datavalue":{"value":"1394.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664147$A1D589DB-6793-44A2-B055-A8CFCC2C25E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a05d24e608b09cad90dd2001c8f13f215c4ce07b","datavalue":{"value":"10.1007/978-3-662-48653-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664147$284EF984-07B4-48DF-86BF-19945182601B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fd4a7c51e1ddf1da5bd18afd55ef18e950b2fdd","datavalue":{"value":{"entity-type":"item","numeric-id":522970,"id":"Q522970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664147$CE96C7BF-A97F-4041-A020-A374975AF70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c47f2dbf8595639a9f011bdb8df175918660abd","datavalue":{"value":{"entity-type":"item","numeric-id":845895,"id":"Q845895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664147$B101F192-356A-4D90-836F-F473146B8BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb2659d6457b0477f39f0fdc52b56780924f31e","datavalue":{"value":{"entity-type":"item","numeric-id":436912,"id":"Q436912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1664147$5D7B052F-E8B9-427D-ADD7-5E1BACDC1578","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":"Q1664147$19A68139-0781-41C3-892E-DCD9154B26C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664147$C5C72A61-D113-4D09-A0EC-5DE2A420947C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6632dcaca0b5fe6afcb8e142e380ad58000edbd4","datavalue":{"value":"6924957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664147$E6279ED7-4FBF-4809-A3F1-088E05C38BC6","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":"Q1664147$AEB938B2-489B-4D15-A21D-9BB844D6C8E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63a6fcc7df7c9d97fb44a20e3b06ab1607ad883b","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48653-5_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q1664147$E1B0CF8C-6DC9-488A-94BD-12E5DA8CB161","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08ccd8e65f839ff6e94cae8650e1feaa36ab63c9","datavalue":{"value":"W2293623126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1664147$BD2F9C08-8D5E-4110-A97B-654AB205351D","rank":"normal"}],"P1643":[{"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":"1274c30b5010c1e8ff29ddc3295de5574631667f","datavalue":{"value":{"amount":"+0.825863778591156","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":"Q1664147$AF136F70-FE41-4A99-BFC6-1546C4B52C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"513bd6c3b0e99fb62412c2b47379263f09e6d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2988662,"id":"Q2988662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15fd517a55e143f6c3b4e6df08439af0e5763f29","datavalue":{"value":{"amount":"+0.8184148669242859","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":"Q1664147$86812289-D8EF-4C0E-BF3E-7B6B9FA7020B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1143d92cac330c05d1073dfeaed8f41b1165b9","datavalue":{"value":{"entity-type":"item","numeric-id":5429339,"id":"Q5429339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dcf0fee4ab8f6310179836af71426d6a597fd5","datavalue":{"value":{"amount":"+0.8100004196166992","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":"Q1664147$203CEEE5-1C0D-4D43-9E3B-8A6056530C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b07ea5bf9ba3ca13343862fad254529d1f3911","datavalue":{"value":{"entity-type":"item","numeric-id":5090915,"id":"Q5090915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44009ff44a3d26fe94ce6235d74d754f07444852","datavalue":{"value":{"amount":"+0.8096045851707458","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":"Q1664147$6B9CD64B-8000-4ED1-B673-017B0717B5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbd115948536399f88bcc955f5a031b25d01e93","datavalue":{"value":{"entity-type":"item","numeric-id":2164258,"id":"Q2164258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b51c117cc20fe8c4e0321ed3f33932b721506c","datavalue":{"value":{"amount":"+0.8055586218833923","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":"Q1664147$515512D1-9665-412C-BB79-28C2B33BDD17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive approach for proving data structures' linearizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_approach_for_proving_data_structures%27_linearizability"}}}}}