{"entities":{"Q3499221":{"pageid":5529124,"ns":120,"title":"Item:Q3499221","lastrevid":50368190,"modified":"2026-01-13T22:01:37Z","type":"item","id":"Q3499221","labels":{"en":{"language":"en","value":"Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5280529"}},"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":"Q3499221$A9CDA913-6225-4F28-8968-F4C027B2204B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81f7c4310857cbc62d12858fdf8f6387e95b04f3","datavalue":{"value":"1155.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499221$2DBD9C6F-6F64-4F1A-80ED-EE9DAB0EB0EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78b7d66740c8762cd844a3ad525063cf0729d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":656847,"id":"Q656847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499221$F07A8359-2A53-4B0F-A500-DC909D96FA23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f20483ddfe1246d1bdad0b17830e08400d7b4745","datavalue":{"value":{"time":"+2008-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3499221$74DC2D99-ECDE-4A0A-BDAB-B4390B6FE17C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499221$35976522-9E6E-445C-B4C0-4AFADEA781EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499221$C9ACCECD-2978-4E0E-818D-F0601BFAC7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499221$FE0EDE5E-0FD2-4F7C-BD56-B329EE9C1AE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0360519e34913318edfb915ab06a85d75149748a","datavalue":{"value":"5280529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3499221$DF72A320-BFD3-4561-B9D0-149A583B1B5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f917b4ae12f30188dda30463824927bb294a2ab","datavalue":{"value":"buffer overflow","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499221$76688D44-305F-42A0-AFAC-B3006702BC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9f2a96a2b64089759dd2d2593ced2328c88f9b6","datavalue":{"value":"polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499221$D1307094-B67D-433E-88D5-96CB4C2BF30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f35984d75f96b8273ee58ad427140a23f29b8c","datavalue":{"value":"C","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499221$05CFF755-C018-4449-9FE8-2A5A980C68E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499221$92572AC1-E94E-4A7E-A805-ACDDCA7B845C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac5231817c84e904758114b23dcc7a8ec700755","datavalue":{"value":"security vulnerability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3499221$7F53844B-467E-4479-A12B-5E94227F5133","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499221$B290D83C-FE84-4680-931D-DB73108938C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3499221$A3004100-9E87-4812-9508-3C967FF41EE2","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":"Q3499221$357A0BF4-064E-438F-ACD1-B770271D25B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ec7bf331520ea1f49ecabc037055e3aca07e72","datavalue":{"value":{"entity-type":"item","numeric-id":3613377,"id":"Q3613377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ced17ec811cd43069eb947b4c9567db4da68b8","datavalue":{"value":{"amount":"+0.7479527592658997","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":"Q3499221$E98F69C2-28CD-4EB4-BB7D-2A2FFFA44761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c67139b4ac18816427719d0bd5d5f2d59bec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef76ba0812356e769ac4e6d51bb1916170ea0288","datavalue":{"value":{"amount":"+0.7371246814727783","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":"Q3499221$978BDDEE-D78E-4877-804B-F1ABC0584981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d196a423c1c58d6147a401a1988ae96a1280f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":3612010,"id":"Q3612010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81aaae581c32b7a661c057df461baceafa374ce1","datavalue":{"value":{"amount":"+0.7244999408721924","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":"Q3499221$34AB48E6-E292-4339-AD5F-16A9C0D12447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb0b4d6358894ec9484a3dbf8f4bf4c11292a293","datavalue":{"value":{"entity-type":"item","numeric-id":2996136,"id":"Q2996136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae1ffbd17e6c46823b79a20f9ff845ef3b9a092","datavalue":{"value":{"amount":"+0.6956140995025635","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":"Q3499221$C4B1BFA7-8F91-4D90-AC42-10C6BD6862F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf2e3c6d1b927b908b15c7440f5918641032651","datavalue":{"value":{"entity-type":"item","numeric-id":835770,"id":"Q835770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111fd9ea20840361071b096a701082c7f09ceebd","datavalue":{"value":{"amount":"+0.6845554113388062","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":"Q3499221$6AB1C6B6-4ED7-4357-A86E-02F9EFD29348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3499221","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3499221"}}}}}