{"entities":{"Q604389":{"pageid":606165,"ns":120,"title":"Item:Q604389","lastrevid":51128234,"modified":"2026-01-16T20:06:03Z","type":"item","id":"Q604389","labels":{"en":{"language":"en","value":"Verifying pointer safety for programs with unknown calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5814770"}},"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":"Q604389$8351E160-8769-4575-A5A8-628BCA534906","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f488ea94f7b33a2a1d39e95d8e39e582f0066bb","datavalue":{"value":{"text":"Verifying pointer safety for programs with unknown calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q604389$E72FDC1A-8126-404B-B10C-83AECD41ACDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23194baa32c73278ac6033b05a8dc0a1d2bc0e76","datavalue":{"value":"1208.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$88EDC000-23A2-4A3A-B5AA-212F79937FC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0231ff2bded767dc0200d21edbb86fdaf62bd4a","datavalue":{"value":{"entity-type":"item","numeric-id":604386,"id":"Q604386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$76DC9E78-B319-4045-A7AE-8CBBD10602BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"078e8a715904442a757fde2c08cfd87ab9c12547","datavalue":{"value":{"entity-type":"item","numeric-id":604387,"id":"Q604387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$9E070EEE-A303-4298-BB1D-A8FB87A012A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$50C1F87A-40BD-4A5E-B359-1E857DDC91A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4c46ae2cd65a679608f350a393ed0f1acbebcc9","datavalue":{"value":{"entity-type":"item","numeric-id":604388,"id":"Q604388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$483B1EAF-6FCD-4135-A5B0-7E70997D9738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$7A30BA1D-6465-426A-B061-76CC8732D0C2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$AF76F12D-A8DE-4E26-AFC0-CDAC19897215","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9ea9622d88fa8ef1a3077c0b305abfad406e986","datavalue":{"value":{"time":"+2010-11-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":"Q604389$FDC78861-E779-4B5F-9F07-A462EEE3EEC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$1B4BA696-A066-49F6-A93D-437D23CB355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$C930C14A-5372-4D9B-A922-A254CC43A679","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae89a30c92c351026d6ea776989b4eca34417820","datavalue":{"value":"5814770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$58EDDC34-94AB-4E0C-98B9-AFFC7E358B7A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8376a09662b67ff600c57220464c9238631343bc","datavalue":{"value":"inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q604389$157E687C-5E33-4B9E-9428-00C3E43C2623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q604389$C0B9D830-B4CE-444E-9C21-4543EE0FD967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1509357c65c35f25ca4a3489812a49ab4a22a9e","datavalue":{"value":"abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q604389$328708BF-7C4A-4F52-8B92-A506346F0F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q604389$BDA7DD7E-E53B-496A-9809-6DB2AEBC1F54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9405c88255939b2b34b6d201298b635aafccebba","datavalue":{"value":{"entity-type":"item","numeric-id":25679,"id":"Q25679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$70D8E0AA-D8DF-4EF1-A3F8-2B64ABC67828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$C3EFA394-9250-4470-AA94-5F660F7F4104","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":"Q604389$B9C422ED-2343-45AD-9BFD-6E34B16FA941","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"098ad6381141c6192ed31dd94101bc512d4e64a7","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.06.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q604389$969259D7-4FAE-436D-B9FE-8F14A17B0FBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0d9730dd06805bfda1ec93e3b7e805c6162519c","datavalue":{"value":"W2142567519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$81539318-0EC2-4127-B9FE-79BD8211131A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$71915B09-9373-448F-B6F8-35F7CBE0AEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c642b8a2a51ea751f61c4db5e751f89086f5237","datavalue":{"value":{"entity-type":"item","numeric-id":5465888,"id":"Q5465888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$A494DF6B-C6CF-4AAB-B9CE-C19B073D3816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$7ACDE3D6-4A7E-43F9-A808-EA8720713D83","rank":"normal"},{"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":"Q604389$DCAD5FC7-6F74-47B4-9071-3AF7F2319343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$BA3B6971-E61B-4A58-9F63-4264B1DC6B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307ca6c1cf44fe2b540f888ebc34f5f6cae005ff","datavalue":{"value":{"entity-type":"item","numeric-id":604389,"id":"Q604389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$BB663D62-84AA-4701-B0EE-5543B3E9A8FD","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":"Q604389$FB33EADF-3CCE-49F8-9998-4615180A5213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c00ee5fbf56a7f6eda627b0e47da929420799a","datavalue":{"value":{"entity-type":"item","numeric-id":4209293,"id":"Q4209293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$7497847E-1772-431F-8820-12930B1958C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deaf0cccbcd91007881f1158a0f8b6702383fda","datavalue":{"value":{"entity-type":"item","numeric-id":3612009,"id":"Q3612009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$A4E4AA4B-EB27-497E-B2CB-7C32134CBA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1832a8f9f3048a5dffcc1f9a0d084d432f65a88c","datavalue":{"value":{"entity-type":"item","numeric-id":3392926,"id":"Q3392926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$D47B8B58-8697-4AC9-804F-058183B2646F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f26d0672aac97a2f5583f4c3e24a732682cf7f15","datavalue":{"value":{"entity-type":"item","numeric-id":4794726,"id":"Q4794726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$3BBFD9D4-81FB-4292-A8E5-80E43983200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3692aa2d157356a2dba2cdcf8e4dfc8407c894b","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$3B518D15-F384-44AD-A7A1-E737817CB7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$ABA977E0-8745-419B-B894-B581152BCC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q604389$80FEBE1D-A769-455A-95D6-F6E599094933","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":"Q604389$D087A04C-B466-4DA6-8829-B69F9738F61D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6924aae5b7d6078bd14190b98b877ea009a39498","datavalue":{"value":"10.1016/J.JSC.2010.06.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q604389$E2693C06-99B5-40EE-91DF-8FD09119C089","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb6a13a884415e7ab04d94fa8413bfb181cab1b","datavalue":{"value":{"amount":"+0.7787073254585266","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":"Q604389$57F54423-C470-4DD0-8469-99DEF5D4CD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b33b2840efec969524c9e31f8b1de75c55bfd6","datavalue":{"value":{"amount":"+0.7737483978271484","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":"Q604389$F842BB67-540A-4735-9B72-99C06441B4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d03c681be0098ccf0f87478c0d2425730a3f47b","datavalue":{"value":{"amount":"+0.7714979648590088","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":"Q604389$19A180AE-AA3C-48F9-8C61-5748297BBC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be84f5a2faf3479cab40e3431707a916686d883","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d012e7b58663342b4180a89450981cef562dfe82","datavalue":{"value":{"amount":"+0.7472294569015503","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":"Q604389$7C76AA74-4C03-41CB-BFDA-F30CCD23746C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffc45e7d8eb1385e081dc1c0f56924831fe0889","datavalue":{"value":{"amount":"+0.7430518865585327","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":"Q604389$00CC2904-1C9B-40A5-9196-FF66CEEC4336","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:604389","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:604389"}}}}}