{"entities":{"Q5408543":{"pageid":7438117,"ns":120,"title":"Item:Q5408543","lastrevid":51972515,"modified":"2026-01-20T16:11:38Z","type":"item","id":"Q5408543","labels":{"en":{"language":"en","value":"Precise reasoning for programs using containers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282603"}},"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":"Q5408543$2067C289-2C98-4ADF-B0B0-4C4257A0AC16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6f368cc02bdc6f568942e20ad5311b8fc69b446","datavalue":{"value":{"text":"Precise reasoning for programs using containers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408543$B3BF2CC9-A23A-4982-873C-64A366B2849B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c995c2390501a9aeb794c2e4272ab2fc90f8623","datavalue":{"value":"1284.68175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$8B1EBDB8-EA36-4DC9-A117-78B26324C6A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e82a64e227dc5278513f08b4fb9d85241ad62a3d","datavalue":{"value":"10.1145/1926385.1926407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$42C6A74D-D7AA-4B15-B997-9A87DE5CB61C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cca20e34a5ab58eea56fd5acd872992151f6d7a4","datavalue":{"value":{"entity-type":"item","numeric-id":453502,"id":"Q453502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408543$DBE311F4-282C-4BE3-9650-6756EEEB6995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50a3b3006fba52cd27cb32ea799071b012133083","datavalue":{"value":{"entity-type":"item","numeric-id":453503,"id":"Q453503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408543$D8473EF1-DA5D-4383-8C7D-6745EDDFC7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e198c2c9d8df28574fdbaf2e4371463c98e7a775","datavalue":{"value":{"entity-type":"item","numeric-id":453504,"id":"Q453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408543$188F2A32-1BC8-4080-A811-DCD049C68D70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"724e86f0a622186aef680198e4fbf5470f7a0c57","datavalue":{"value":{"entity-type":"item","numeric-id":5408524,"id":"Q5408524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408543$2E43626D-907B-4EC0-A092-C35E864AC903","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-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":"Q5408543$D455AFA9-8424-4579-9F71-7644B82470BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$3B232092-1ED5-4D6D-BC61-DD3EE82FD98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$0DD1CD6E-5631-4E2D-93BB-BAFE88042391","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"264bb19f0d3f4f13d7658d71412f169075df26bf","datavalue":{"value":"6282603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$8728C4B9-98D1-4FBC-B57C-663AFBB01A56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db61202f61396bd8929dc72f77c78bf960195477","datavalue":{"value":"container analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408543$E516A060-8B92-4EB9-B3BB-61968CCE1594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6765a99b811b8fdb7494817a6601824458c085e4","datavalue":{"value":"heap analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408543$26690221-D25E-4196-AC97-60CD83379BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945afda067a4d01cda4f673120a46036fc857f3f","datavalue":{"value":"symbolic heap","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408543$BAC5D1D8-1199-4934-BC29-3F644CC2066D","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":"Q5408543$3A9ADACB-8009-4854-942D-EA8CE8C41AB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"551c533a18cd342e79cc1cc1ef6cdd0ac02b1bfa","datavalue":{"value":"https://doi.org/10.1145/1926385.1926407","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408543$61EFAF40-C445-428E-88F0-839470E808E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06d97bf4ce088782503eb3b5193f884260ccabde","datavalue":{"value":"W4235733131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408543$E2AE51BA-FD6F-4D82-B860-E37D1B63BC30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd6533e3a70b0f17376929a0edf9894c29f7728","datavalue":{"value":{"entity-type":"item","numeric-id":3012966,"id":"Q3012966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f8941fca8a06922a242ce707c239f22160970c","datavalue":{"value":{"amount":"+0.7022624611854553","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":"Q5408543$C9B41FC2-8812-4BB4-9B0C-17619FD8C2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96ca03cb4a4f589f9e94b12c02030a9dfaac9a41","datavalue":{"value":{"entity-type":"item","numeric-id":3460067,"id":"Q3460067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3f4ea413c06a067379da8399e49a33daaaceca","datavalue":{"value":{"amount":"+0.6857700943946838","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":"Q5408543$4FB0F796-A438-4CE8-B2DF-A754A99FB4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fca3c3a57c5be64d4e4b4384d59db599f78a7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4907859,"id":"Q4907859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd390d3fd9d4c95dc0f62ac17c4f883e17e08f82","datavalue":{"value":{"amount":"+0.671688437461853","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":"Q5408543$5E2FB5C8-5D19-4288-9954-B5BB3104AD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a3658d1fb767e84b6f6e88b7e979e4706d3621","datavalue":{"value":{"entity-type":"item","numeric-id":2796068,"id":"Q2796068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d110815a3374064d2808d517c0dac41d3b98fee","datavalue":{"value":{"amount":"+0.6710768342018127","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":"Q5408543$6D325A39-2AB8-4342-8C1B-3FE94E5883DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"314a5af544123db74b1b4d9aa387c3e39eda4fef","datavalue":{"value":{"entity-type":"item","numeric-id":3608771,"id":"Q3608771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e1cc8f73543719e68da5feb5d898dddb97f337","datavalue":{"value":{"amount":"+0.6526961922645569","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":"Q5408543$F4873996-B005-4217-8186-0F9382D4FA2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408543"}}}}}