{"entities":{"Q3296323":{"pageid":3307031,"ns":120,"title":"Item:Q3296323","lastrevid":86731820,"modified":"2026-06-04T09:42:02Z","type":"item","id":"Q3296323","labels":{"en":{"language":"en","value":"Scalable approximation of quantitative information flow in programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218135"}},"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":"Q3296323$56A1EF3C-0004-4092-AAAD-81D83F311D67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a4b5fa75a90695ccb41775366eb1165d8c0ea84","datavalue":{"value":{"text":"Scalable Approximation of Quantitative Information Flow in Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296323$4013CAE9-3F4F-4F32-A8C2-978EC9337D0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70221c30d9f0b62311d6b6540c0c2c8fc806aa0f","datavalue":{"value":"1446.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$ECBE7779-DFC7-4255-841D-068A1AA3C2A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9bd9ba5090aabf5586619cfc8cbe84caddf7f16","datavalue":{"value":"10.1007/978-3-319-73721-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$753525D7-91B2-478B-AB41-A354C7806705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcadd87468d3d4c423042be65711239b029fd27e","datavalue":{"value":{"entity-type":"item","numeric-id":465486,"id":"Q465486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$F7B7DF36-56EE-496C-950C-98172CC07A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"433c684c20f863f88bbdd35a4b5287643918b038","datavalue":{"value":{"entity-type":"item","numeric-id":3296322,"id":"Q3296322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$7BC91BCB-3799-4F03-BB4E-90461ABF4149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce788d81a6ea72dd3cf74835eb190a19b365895","datavalue":{"value":{"entity-type":"item","numeric-id":680927,"id":"Q680927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$C10B0D42-DE17-4034-8F9A-35AB2C7ED5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef8f966b1875cfc7b5cd4224180401b2f679f3","datavalue":{"value":{"entity-type":"item","numeric-id":243964,"id":"Q243964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$E2AC26A9-4E66-492D-9DDB-DD1D78FF4D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56a6ae786fa267642e531285986729301470d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":265700,"id":"Q265700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$A7D5C7C4-55E6-4891-984F-CE094F4B177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9067d49328bed0751dd8581cc9edf2e8ce6c3fa","datavalue":{"value":{"entity-type":"item","numeric-id":1938378,"id":"Q1938378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$D7F0183C-52B1-422B-84E8-4A9EC698BEC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296323$FA8D2D16-7DEE-4ECB-8718-DE6706F6CC65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296323$207A28AA-CC18-463C-8A28-DF9EA775B2D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e16799e503e593774252001025f223076189a353","datavalue":{"value":"https://hal.inria.fr/hal-01629131/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296323$8C9DF8AF-3194-40B4-AABD-C57325DBC96B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$BBC2DC82-99E0-47F2-A1AB-22E57164AE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$88733B5A-739A-414D-94E4-8DAD05E9F085","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5f2d17222a00e8e1beb81ea49d4b365583a816e","datavalue":{"value":"7218135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$8144E2B4-A35F-4CDB-B77F-AA58C8ED4419","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":"Q3296323$337870D1-ABD0-4BF2-80EE-C7916460771A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40e2dd7ab7827bb4e21904335b4bd8674a96f33c","datavalue":{"value":"W2780206242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296323$C958E04A-F172-47BF-9B70-8A606331DC06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfe1bbb29d09d1306c379c4473769840b7bbe8d","datavalue":{"value":{"entity-type":"item","numeric-id":2453114,"id":"Q2453114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47bfa5e09d73bd9ea30a45af040d75451da6a8c8","datavalue":{"value":{"amount":"+0.7887869477272034","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":"Q3296323$267BBCDE-94AF-4409-99DF-9E00B1608CD3","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":"bb6974e8a2bab1c34aa6de331202ff867d09709f","datavalue":{"value":{"amount":"+0.7764989733695984","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":"Q3296323$429FE8C0-3C53-4C0F-B2FE-0856BAA850B5","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":"62497b51082b921bb45ac878ecbabbbe991e2d0b","datavalue":{"value":{"amount":"+0.7707655429840088","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":"Q3296323$672A3E54-3060-4837-976A-B3AD7CD6A68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7216f69566a7564be915b4b750e4dfe5e37b810b","datavalue":{"value":{"entity-type":"item","numeric-id":5300883,"id":"Q5300883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b4d2262ea6faa68f382840343c496ee8fd7281","datavalue":{"value":{"amount":"+0.7425390481948853","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":"Q3296323$904F63EA-1FD3-49A3-B41C-EACB663F5CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918ceda011e39d3ec70e071f89b782b6e09ab663","datavalue":{"value":{"entity-type":"item","numeric-id":2957526,"id":"Q2957526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"724e91f39fba68a02179f5f861ba5f11f6c5045b","datavalue":{"value":{"amount":"+0.7399733066558838","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":"Q3296323$B9310C07-0BF7-4DA2-ADBD-35BEC0234859","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scalable approximation of quantitative information flow in programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scalable_approximation_of_quantitative_information_flow_in_programs"}}}}}