{"entities":{"Q2058392":{"pageid":2069134,"ns":120,"title":"Item:Q2058392","lastrevid":54169466,"modified":"2026-01-26T09:41:41Z","type":"item","id":"Q2058392","labels":{"en":{"language":"en","value":"Automatic proofs of memory deallocation for a Whiley-to-C compiler"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440329"}},"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":"Q2058392$009EF983-1CC5-4A9F-8F7D-FF14E7167EE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"930ce35b0692d8a03d2047ca9b77693c4b9e6ba6","datavalue":{"value":{"text":"Automatic proofs of memory deallocation for a Whiley-to-C compiler","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2058392$B901B22C-ABD0-4920-81EF-4D87C91B9CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f67c6c357958426b9f769853e39569992db50a10","datavalue":{"value":{"entity-type":"item","numeric-id":2058391,"id":"Q2058391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$47A4D9B0-853B-4B6E-83A1-41B20CE25E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c1c708370112f81ca20df5b010f847ed2306c40","datavalue":{"value":{"entity-type":"item","numeric-id":262428,"id":"Q262428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$69916CBA-449D-4E78-989C-4E5DB39D8349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ca7c95027a815330d525f0dad937fdbc00ba33","datavalue":{"value":{"entity-type":"item","numeric-id":172106,"id":"Q172106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$CA0FF4C0-EF35-4E71-A2CB-03F306C38524","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$7063ECB1-5F8E-4378-A671-2E6EC3ECD1DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2058392$8724649A-8D44-4EC6-9031-9E73DAD88D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058392$160C994E-A9B5-4CFD-8F74-AE56B96B8F7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95fb338d09ea94e4fcc512d4f1b6bc9a386611a2","datavalue":{"value":"7440329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058392$8DAEA9C1-7992-4575-84FF-A9E901C95617","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058392$4EE24F70-6A88-44FD-9054-ECECD78D1251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"901c6d511d35303a6a968c1174234f4350020c8b","datavalue":{"value":"compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058392$9AF0D7FE-BE1C-4844-8D50-97126FF81B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3ea3b48a441a99045272fa79e2bc9456925f8f6","datavalue":{"value":"memory deallocation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058392$AB6E351D-0308-42C0-AB65-4DBD786E1DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82600e67815cb1fc356180e4332b9a569eb3dfb8","datavalue":{"value":"call by value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2058392$03E672AE-8F7D-4FDE-9EB1-44888F2694F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf9a3c17f7743cf3f76887f9d806042404fc762","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$FA07B538-EBCA-4E94-A76C-1D525379519C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$80D78696-3B88-4E36-B7CC-76E9B1D17E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec70f35ffe4a5b33ed5642160d351f6c5c4f2985","datavalue":{"value":{"entity-type":"item","numeric-id":5892586,"id":"Q5892586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$26AA4FC2-B569-403C-9DD7-2516CFCB1951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d97566ccdda2bba0109b68bb879e8348e1088","datavalue":{"value":{"entity-type":"item","numeric-id":4808804,"id":"Q4808804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$BE0EB6AA-D406-484F-8EB3-5C23B18638ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ff8e8a966403637a8e7b3a44a0970aabc9f760","datavalue":{"value":{"entity-type":"item","numeric-id":2828265,"id":"Q2828265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$CE8BFE79-03DA-4EEE-846E-EEB90C4D48FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2458c616b1eb047728612e5e41126894e3748ad","datavalue":{"value":{"entity-type":"item","numeric-id":2732172,"id":"Q2732172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$9D852AD3-54E7-46F4-ABAE-E76CD58A86FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d206d4cbc8d8e320cb9ec4bf8947ea28927767","datavalue":{"value":{"entity-type":"item","numeric-id":4158937,"id":"Q4158937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$80524F40-CEE6-4BEC-B033-C306C4D48680","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$399C07A8-64A9-47E2-A3F5-C56AAD10C843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a5476e37c973c524f4183cb6df6dc9a25e55fd1c","datavalue":{"value":{"entity-type":"item","numeric-id":16596,"id":"Q16596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$2B362885-1767-43D7-ACDD-DAFFE8B65918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e2e5ae41fe3dc1ca4b00073fa7a81c7a9eee4bd","datavalue":{"value":{"entity-type":"item","numeric-id":30261,"id":"Q30261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$F4152F70-A32F-4CB6-A962-425DAD6C567C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce1699487a8eae7d398f2cdb0ebeef93471c9d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1351431,"id":"Q1351431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2058392$DBFEFBE8-7633-4F7E-94DB-F51667452EB8","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":"Q2058392$9FD7878C-571E-42F5-A0F4-817C9C950B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0e52773db2879768fdd7ed8e22ed77dbca20c7","datavalue":{"value":"https://doi.org/10.1007/s10703-021-00378-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2058392$830A210D-57D5-4E0B-A9AE-19DC0CD8078C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2879448aeb0ed3561fe1a5987b09bb015a8c0a7","datavalue":{"value":"W3195123533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058392$EFF82685-FB5F-4029-9082-D9D59D039324","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9fe51e0c0c4d8f057fbae6e00bcc9f1d59081ca5","datavalue":{"value":"Q113902719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058392$5FC2FA25-F773-4774-A2C0-E7FE96F94218","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d878d788980d0b4c148d068cbb80258050a22e2a","datavalue":{"value":"10.1007/S10703-021-00378-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2058392$3D9130DB-0465-4CAA-A87B-A8484A83D8E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe92806a81bbea1cd5444ec3bcbd3de48fd0186","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bedc23356921a0d43085b1a7f6a0a89ab556ea","datavalue":{"value":{"amount":"+0.6824358105659485","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":"Q2058392$9853D1BB-8C53-4E55-841E-08B28A4B838A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68430109aae979bda0ec257514eeef17dfed57d3","datavalue":{"value":{"entity-type":"item","numeric-id":2319992,"id":"Q2319992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65acd6ad55f6f93709cdfba0e0c28850228d7d87","datavalue":{"value":{"amount":"+0.6638354659080505","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":"Q2058392$ACE8ED2F-DC8A-4932-AB7A-B1A4073C1E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b219b6d7b95e38ed7a29c3183761078250d4e26","datavalue":{"value":{"entity-type":"item","numeric-id":1687720,"id":"Q1687720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0be00eb8b90dc7735f268b463c670385c0d80c6","datavalue":{"value":{"amount":"+0.6588233113288879","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":"Q2058392$BA0D0002-547A-41C2-A1B7-6A0173FDE4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc28ae7c08274cf206e5bfc796ffc6b2a46c3f23","datavalue":{"value":{"entity-type":"item","numeric-id":5019022,"id":"Q5019022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6895112c36fbf33daf777de31d1242e886c25d","datavalue":{"value":{"amount":"+0.6497004628181458","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":"Q2058392$AD904166-B80B-4FDC-86B1-0EE50AC4A6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b0c9954812a8e3558ad92a42b32a513664bb67","datavalue":{"value":{"amount":"+0.6326372623443604","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":"Q2058392$DAEBFA11-B9BC-47D9-8AF1-92701525DF2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2058392","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2058392"}}}}}