{"entities":{"Q2409733":{"pageid":2420476,"ns":120,"title":"Item:Q2409733","lastrevid":57908388,"modified":"2026-04-03T01:16:26Z","type":"item","id":"Q2409733","labels":{"en":{"language":"en","value":"Hierarchical shape abstraction for analysis of free list memory allocators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6791224"}},"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":"Q2409733$3EA6EDFB-C273-4120-AE09-E5C3E9753F29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33412670854a4ad64eb65a504ee17076f0120401","datavalue":{"value":{"text":"Hierarchical shape abstraction for analysis of free list memory allocators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2409733$AE2F5C2F-2B00-4FBF-BD87-FF00C44C6753","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dcb347d4f3dc44351c8a92445363f860d30135a","datavalue":{"value":"1485.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$5E8AF97A-C451-482E-9ACA-56F6CDE40A90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44970c3c550aeeef5b9f4751b45c414086e1ce05","datavalue":{"value":"10.1007/978-3-319-63139-4_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$ABC35B8B-FA79-4AE3-AE64-E3B23FDF20E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8661960fdb1a0a967b5c5bcf45ffaa0371f6c7af","datavalue":{"value":{"entity-type":"item","numeric-id":256720,"id":"Q256720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409733$F0087B8A-5519-4CE2-A6A4-E2694D737F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10becd9e88add786cbcb24a4b7c65328ccb2ab08","datavalue":{"value":{"entity-type":"item","numeric-id":1688542,"id":"Q1688542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2409733$35C54C93-E3D6-4FC6-854D-B20BF4E24857","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc9e63601a8e28f445aeeeaef7b99c9c03ba64fa","datavalue":{"value":{"time":"+2017-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2409733$A0D5E089-586A-41E2-BD9F-0903B8803195","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"45e89127febc99f2e2fe8e0b5448ec3879f20c0e","datavalue":{"value":"https://arxiv.org/abs/1608.05676","type":"string"},"datatype":"url"},"type":"statement","id":"Q2409733$64AB47C0-E832-4194-B997-FEBD06A1A202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$5E69B360-5648-4A7F-A2AB-AD6CAE327A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$D9E3F3C7-FD09-4704-8823-4777907872D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7589e8aa8472d392f3bde716f9f63ea8bfa5505b","datavalue":{"value":"6791224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$2DD5FAB7-A681-4128-9842-5E18F3CA6634","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":"Q2409733$04DD5F64-E790-45A6-9693-910798364F8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c4e5b72968147c8a150d3f438b9b83f404cca752","datavalue":{"value":"W2515904313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2409733$C8897826-13C2-43C6-9F33-3C45AEA0403F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4598224ae51aa60636ba3a4d893329afda85778","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b6fe69fe5dea8b21406feeae28bf0ce2d449a85","datavalue":{"value":{"amount":"+0.862988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$1B34F27E-9D12-49FA-9711-4167726338DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246bf7daa41b874a61be5d2dc7fb40368398be8a","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af185056c70db3846747774e6c9aa80acc920588","datavalue":{"value":{"amount":"+0.8290535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$085693BE-3B81-4F22-8309-CE446D94E0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84f21daf21253346d5fd3946a70e0683c5928c1","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e05047f027e95faad8b23065197b54c1969eb1","datavalue":{"value":{"amount":"+0.81942743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$FBBAEB25-B49D-45FA-868A-4CB3A56D2E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a1725efbd68e51171ef4e1cd33947ed37410a2","datavalue":{"value":{"entity-type":"item","numeric-id":5747629,"id":"Q5747629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f517db14810b4a2d0e5dd3ca9677bf8e02928995","datavalue":{"value":{"amount":"+0.81713235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$EE344946-35C9-4B0C-891C-CA03917687DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc73fb4058c82fab6a15f357468f2b43b9f1a5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3617700,"id":"Q3617700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b6f645276242dae64991f630dcdb71df43b94b","datavalue":{"value":{"amount":"+0.8155175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$8540C755-68AD-4E41-BE91-D48D7CF76256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99340716ae3125d40c70647bfd8be975b5d03cc6","datavalue":{"value":{"entity-type":"item","numeric-id":2766806,"id":"Q2766806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53ecd27c7319ebc7a6c3d958b658b6e65e8951f","datavalue":{"value":{"amount":"+0.8137865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$8940C124-3EAC-4131-BAF3-218373CC9141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52c891947e91854de30aebaca437718bd924345","datavalue":{"value":{"entity-type":"item","numeric-id":2985780,"id":"Q2985780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8edc71bdc5183df662ca6c8f0cc6b6896f9789b6","datavalue":{"value":{"amount":"+0.81338686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$2F695570-A826-42E3-8A63-F2B3B6A84EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877dc855f2ca257564b144fce8a2b9b902da596c","datavalue":{"value":{"entity-type":"item","numeric-id":2961587,"id":"Q2961587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084c280e05d867a17419cd45a870247a871ad124","datavalue":{"value":{"amount":"+0.8113904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2409733$905BE8CC-DDEF-46ED-A7F1-C9DAD8588CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2409733","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2409733"}}}}}