{"entities":{"Q2957526":{"pageid":2968245,"ns":120,"title":"Item:Q2957526","lastrevid":52730393,"modified":"2026-01-23T09:19:13Z","type":"item","id":"Q2957526","labels":{"en":{"language":"en","value":"The complexity of quantitative information flow in recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678479"}},"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":"Q2957526$CFED6709-A972-4C44-8170-1D0573609C43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bda09fa6c080cfe348aa531903e4d513ee883f5","datavalue":{"value":"1354.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$52C44F58-9794-4ABB-948F-7C5AC5EEF613","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957526$13BCC6CA-32DA-41DB-B80E-CA524E61E7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02f8bb0b029de7020653ad0f7ad86decb7f51a14","datavalue":{"value":{"entity-type":"item","numeric-id":2892778,"id":"Q2892778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957526$0DC6F7F9-AC86-4AE7-9C50-BDE616C2B72E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce03103194246a3df27ce58b06ab6f4262232789","datavalue":{"value":{"time":"+2017-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957526$18F12267-CA49-4B22-987F-4A4354D0658F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$338391B0-CF04-4588-AAC4-4988A5964910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$E44E82AE-9099-43D4-B4C9-2E7C51B4D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$1B2F8740-A9E8-431C-BD8F-F40B88A395C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$567BB683-137E-48B1-B52A-0DB698CF3E20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c075481f0cbede2e048650cc704aa7741b7fbdb","datavalue":{"value":"6678479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$D0F70FE9-6310-4A8A-AC1A-C59E3D86D66C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5513d79dcc44137bb5647a33cf089ab4569c2db2","datavalue":{"value":"quantitative information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957526$55F66D9E-EB89-4CEB-BE6F-B2CD9ED375E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957526$D45063BD-164F-4E60-B32F-69B6C3AE61D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957526$7C4DFC99-124C-40C3-A5A1-51D2936A3CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957526$4B065200-6960-4208-8AF0-62EB5BD0AE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957526$13D31B62-0427-4565-808C-4D3FC00A0DEA","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":"Q2957526$9A24B28D-8844-4B47-B3AD-308682B496BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6859241fb39638412a6f6cd148657699fe415117","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2012/3887/pdf/48.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957526$69CB1D5C-3428-4E9A-8491-E86EA1E43347","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdffe731ceef6edc52e5ef6f5584c11c007df69c","datavalue":{"value":"W1556502211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$A59F86E7-506F-49B2-95FF-D71D5C879D6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"390498900081af547dd728f662d038fcedc798ab","datavalue":{"value":{"text":"The Complexity of Quantitative Information Flow in Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957526$EA099F4A-2E5C-4F35-8B71-146B9D9EEDE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12a32b1420c4076fa2405c8320b2f7dd8e203d01","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2012.534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957526$F6B9819A-8D86-4C92-99EC-0D33ABA3A555","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2847d712628c6e584802b6d2e9f06e9bc85c7989","datavalue":{"value":{"entity-type":"item","numeric-id":6045049,"id":"Q6045049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7c4391cd6e3d321ef3dfa76a0b3fc5d360040f","datavalue":{"value":{"amount":"+0.8166662454605103","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":"Q2957526$30DE905F-21F6-4BA0-B6F5-E72B19EBB243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0365f30d8b93f375a4c9795074de913c580a392","datavalue":{"value":{"entity-type":"item","numeric-id":2978540,"id":"Q2978540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3fe42b921b7bf386d1aceda7116039aa1981f7","datavalue":{"value":{"amount":"+0.8103843927383423","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":"Q2957526$04D1007B-4C04-4E2C-B2CC-7BB5AC2DE11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4dd0e27a348546e52d8383d801018c19ef300c","datavalue":{"value":{"entity-type":"item","numeric-id":3575030,"id":"Q3575030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"791f2ffd515b94530cb696cce63214847915c9d7","datavalue":{"value":{"amount":"+0.7875562310218811","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":"Q2957526$8A0D57C5-3415-4F3D-BB17-2E875866CB04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4deb203fa67c97fe41cf2d913b0bef0cb8513efd","datavalue":{"value":{"entity-type":"item","numeric-id":5367049,"id":"Q5367049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50438fa83df2f292fa0fcc8c52b19d815d650e3","datavalue":{"value":{"amount":"+0.7651777267456055","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":"Q2957526$F5C9A9FF-4A13-4E37-A1C4-37050EED3A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4227e90522cfc95448910d96978a6ba7952a9c98","datavalue":{"value":{"entity-type":"item","numeric-id":2324190,"id":"Q2324190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af217bfea20fde9c06ed7e86d3420153039d58fe","datavalue":{"value":{"amount":"+0.7650032639503479","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":"Q2957526$891774E3-C0D9-40D7-AA26-C27431223142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957526","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957526"}}}}}