{"entities":{"Q6536280":{"pageid":14147423,"ns":120,"title":"Item:Q6536280","lastrevid":55636624,"modified":"2026-02-17T20:08:05Z","type":"item","id":"Q6536280","labels":{"en":{"language":"en","value":"Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7834932"}},"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":"Q6536280$AE658E56-3C08-4EF8-858D-993CE923DC06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6ed8fc8ec9adf34833a1362de9aebbc1c72af90","datavalue":{"value":{"text":"Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6536280$C7D9F50C-21AC-42E5-9A08-028032677051","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0d62d65f1afb155e82f786bf06d3ec5d64fd5e7","datavalue":{"value":"1539.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536280$BCFD06FB-24A6-497F-B23F-9933A8FD1340","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6865bbad87b60fde706c4b4946b6b6c1745dd45","datavalue":{"value":"10.1007/978-3-030-32304-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536280$66B7F627-8AB0-4AEB-A45D-5F73D24881EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b43c78402d02d2de94934f7942630fa8a742900","datavalue":{"value":{"entity-type":"item","numeric-id":2283247,"id":"Q2283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$CA63D16B-0B6E-49BB-8D5D-0F9CF1447F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fea5729a6f59a7550271b40c681db4c115e3b9ab","datavalue":{"value":{"entity-type":"item","numeric-id":702353,"id":"Q702353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$7891D51D-CF4F-467F-888A-AB265429BC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f2ba22e3625cdc2ddc479e2076ad8f18ca52b3b","datavalue":{"value":{"entity-type":"item","numeric-id":2145315,"id":"Q2145315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$DBC48C45-EBA5-464E-9A21-DCDC5004A982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c203e9126c8092eb40842fcca305592f3b73bef8","datavalue":{"value":{"entity-type":"item","numeric-id":6536278,"id":"Q6536278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$F001FE20-92C3-468F-BBD8-4E0BF8F7789D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8b698d3c3450a84fc5946709dc77b580216a372","datavalue":{"value":{"entity-type":"item","numeric-id":6536279,"id":"Q6536279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$91F075AD-E50B-45EE-A597-0322A26F9698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b7d292dc2c0a22be2bdf4529bc436c81d46352c","datavalue":{"value":{"entity-type":"item","numeric-id":1323637,"id":"Q1323637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$BC1FA14D-1568-4976-B592-8DB38EFF1259","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea6e0d286aec87d7de2b77268af916e9034fb87d","datavalue":{"value":{"time":"+2024-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6536280$433004F5-86FB-497B-9ABB-87D2D4647F93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536280$90AA1F17-22D7-4201-90D8-A680E7A9F806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536280$C8182450-E54E-4BBB-99D7-AFABD66799D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a60e5d3e6e1d3d5305bf312b4530514d5ed52f54","datavalue":{"value":"7834932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6536280$0BD70D78-0D12-4FC7-9E25-280DB3FE8B6A","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":"Q6536280$1EEFC1B2-851F-4EC2-BF54-D512D29890AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$3B9C70A9-8D87-443B-890F-CDEAF61AF3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$FD8DA05C-1B49-4F6B-A041-671E8DEC1D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc56eee7d2e169e024a28c0fe6cb9aa9e374dab","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$471518D8-D2DE-4BF7-85BA-4AB55BA0D221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$8611D27D-5FB9-4AB6-BFBE-73BB4F12E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada1809381f98716513d6e2527d3dd471ebbf1ef","datavalue":{"value":{"entity-type":"item","numeric-id":4804923,"id":"Q4804923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$B27921CC-B3A4-4E58-94C0-E66DC3DA8F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0be6c53659cb8642df272cd13aa4516eec9a3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5228112,"id":"Q5228112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$F7450E33-80AC-4984-B7DF-7D9C07BDDA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ffd23d6d0fd18d94decadf3d516aa4d75dddde","datavalue":{"value":{"entity-type":"item","numeric-id":5408527,"id":"Q5408527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$C85EB6A8-90E9-4983-9079-9B97E358BC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45fba518192617f9542a70d55b0fd788f80f70cf","datavalue":{"value":{"entity-type":"item","numeric-id":5408529,"id":"Q5408529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$EED5E4AB-10E6-4DCF-BE19-77ECD5AD61BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$9C49B30A-76F9-4839-B5AA-F2B0CC8A2E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5fbfcb44e06b78196b34cbe2844bb7b3e7e56bd","datavalue":{"value":{"entity-type":"item","numeric-id":3512506,"id":"Q3512506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$7B7D896F-C0C9-463C-90AA-A878FBF048A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6536280$0DE6F17A-2DE7-4F43-B2E4-75E01A4965FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9e70bf6e3274c645311ff3a5c66417f63b624fe","datavalue":{"value":{"entity-type":"item","numeric-id":2568456,"id":"Q2568456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caff587a5e7c9c2af25080889550625a07cc7fbd","datavalue":{"value":{"amount":"+0.7264841198921204","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":"Q6536280$8F717FCA-7B16-4111-80A9-128D7C54868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e47ccb00c07898771b807105a9038dea50985e","datavalue":{"value":{"entity-type":"item","numeric-id":4813417,"id":"Q4813417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e15e5d05962280aeae1d4e4f530050a53148ff98","datavalue":{"value":{"amount":"+0.7264840602874756","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":"Q6536280$CADEF47F-FF36-457C-A6D7-33FA36C2FF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55c73e27be43b684a3a9d118000e4bc37409973b","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a93408485c7c349e41f0e00390bfb1b865c9c7d","datavalue":{"value":{"amount":"+0.6978445053100586","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":"Q6536280$BAAF8158-C5A7-474A-B574-A250852C7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c4b076b7e3b230969177f9dc444fb15289fe73","datavalue":{"value":{"entity-type":"item","numeric-id":5920091,"id":"Q5920091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5cf01efc8352bf4cb0b475869de1721ec89931","datavalue":{"value":{"amount":"+0.6953000426292419","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":"Q6536280$51E1BD37-4CE0-41D6-B2BB-36DB2AACE39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b89bddffa067eb4e5cd6281b83b305e42e6c0d28","datavalue":{"value":{"entity-type":"item","numeric-id":5919481,"id":"Q5919481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18bdff526dfdc0290d25363b5ee093f9a02d92c2","datavalue":{"value":{"amount":"+0.6927056312561035","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":"Q6536280$7D36DEB2-CB02-4738-913C-C4FEE6B61A95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6536280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6536280"}}}}}