{"entities":{"Q2568456":{"pageid":2579199,"ns":120,"title":"Item:Q2568456","lastrevid":48566395,"modified":"2026-01-05T05:57:07Z","type":"item","id":"Q2568456","labels":{"en":{"language":"en","value":"Establishing local temporal heap safety properties with applications to compile-time memory management"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213179"}},"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":"Q2568456$DFFCD2C5-256B-4243-AE64-2CA764620D7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6fd5217b866e3297288ed2fd84237893dfd30cc","datavalue":{"value":{"text":"Establishing local temporal heap safety properties with applications to compile-time memory management","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568456$42A36BBB-E9E7-49E6-B205-36CE617D12AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37de6cb707cfb4aa9c633a8738bca1a9310bd7e6","datavalue":{"value":"1093.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$B1A9FDF2-7544-44C4-B049-67A3D284A172","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d392bae63e87f1ece8a83acc163167fcc66d9928","datavalue":{"value":{"entity-type":"item","numeric-id":2568454,"id":"Q2568454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$348A0BD0-65F8-4440-B73D-03A09738596F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$6A4C06C5-7987-43EB-96E1-C7BE1505B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e63efa0dcd94c3244a7d319527e5e8dd119b1b","datavalue":{"value":{"entity-type":"item","numeric-id":2568455,"id":"Q2568455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$D36604AD-4DC9-49A5-B6A4-497E9AD0388D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$70F20E9C-F5AE-45D6-9DFB-4F46D257AEDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$97FBDAF5-0C77-4994-B743-5EEA2475E27D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32ad81c392fb16ee79fdc0f71bc6ecae74b0738e","datavalue":{"value":{"time":"+2005-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568456$D9F1518C-F460-472B-B94C-1418A8F2EDD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$85FD1AA1-19EF-4FBF-8C0A-8FD49C22CF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$B7628CB0-C493-49C3-AEE4-C6ACC3CD6238","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc4458745ae7db208e8edbc59dbad0ac2b3c4397","datavalue":{"value":"2213179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$8122EF61-A815-43ED-9169-DF40DA61959A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$1DF74709-DA41-4717-8123-3541277AC0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d0cded1716facec612d6488aa65b1d5d287e350","datavalue":{"value":"memory liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$0DD99F13-012C-46CC-94B0-4B0BE2E66DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba813033450a4388c099d98e1235b855f629520","datavalue":{"value":"garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$CBBFD926-B52D-47AC-903E-5A43893595A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$69919DD6-B86F-466C-9D9B-CA2F26B4544C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$474CC0E3-5982-4DF2-9326-0B905F18CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568456$9897EB2B-24AA-45D8-85A5-A78E50625441","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$B954947F-6055-40D1-AE5D-729DED5EB96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568456$8A51DB3E-8D69-4A83-8E84-2C587F326DC9","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":"Q2568456$D6335C19-F1A5-4E97-B4FF-E2028317E4D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af0d16df0592b9457a6ac0f6c4bcf6351c453524","datavalue":{"value":"https://doi.org/10.1016/j.scico.2005.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568456$D3D8E794-C32F-4F4B-B950-99C83AC6F49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bcd5908f2490df25a72704977c335769aa90efe1","datavalue":{"value":"W4231056679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$AEA04C0E-ED26-4BE7-8FED-7FAFC3E7168E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1eb6e19733fa918661161a5b6890aea8b2873569","datavalue":{"value":"10.1016/J.SCICO.2005.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568456$F6B53E71-0F37-44D2-96C7-B89C3D31BB14","rank":"normal"}],"P1643":[{"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":"8dd2a9dad5cedc8cca000e1f618e09d3cc9c86c6","datavalue":{"value":{"amount":"+1.0000004768371582","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":"Q2568456$D9FF0C71-68B2-4B11-B3CA-2A0A20237409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e28678e420ac861ca2aa5c03cb223e436c57d0","datavalue":{"value":{"entity-type":"item","numeric-id":4417895,"id":"Q4417895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9b0aeae90d92ea77986de7a60c31977247b1f9","datavalue":{"value":{"amount":"+0.7730506658554077","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":"Q2568456$BC082E53-BBF2-4B97-A0BA-9FA3F7D34152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7200f243c8cbbc7535d3efc4d1545d4be56548","datavalue":{"value":{"entity-type":"item","numeric-id":3424121,"id":"Q3424121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256538e55b544067db94f83b7443a6480b534356","datavalue":{"value":{"amount":"+0.7730503678321838","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":"Q2568456$C3B06423-64D8-47D1-A66B-8D246E13D864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a83250b143ab6c3a6cca476a8b1f06a80aeece2","datavalue":{"value":{"entity-type":"item","numeric-id":5276154,"id":"Q5276154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593e2531e0245d3d21bb5b4a0ce80ba39b285b58","datavalue":{"value":{"amount":"+0.7301611304283142","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":"Q2568456$1B30BD45-FC26-4E59-9FE1-9323A74170CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e160f2c9fbb4ca6ef209931912ce7f9cd094dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5208779,"id":"Q5208779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44050df1a2466bde72c106aff42d956f859a4b5","datavalue":{"value":{"amount":"+0.7248361110687256","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":"Q2568456$F8EEC1B8-45A0-48F4-B7E9-BCBEC387EB35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568456"}}}}}