{"entities":{"Q5856419":{"pageid":7885970,"ns":120,"title":"Item:Q5856419","lastrevid":93254387,"modified":"2026-06-05T04:04:28Z","type":"item","id":"Q5856419","labels":{"en":{"language":"en","value":"Output-sensitive information flow analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7327948"}},"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":"Q5856419$B978553D-65E7-40BC-9C61-39C8A7319961","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2065abe1e907e50a3623086a49ee20a47d2f11ce","datavalue":{"value":{"entity-type":"item","numeric-id":548693,"id":"Q548693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$CF0155AE-FB91-4F2E-B0D1-BB9079AED076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63235d48d5f02b24413a513654595d5642c44694","datavalue":{"value":{"entity-type":"item","numeric-id":2999321,"id":"Q2999321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$DD484819-18A2-4EFF-9C72-C8872106CA9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949c6e18983b3ffa10d09a4010ec9bedf5d67f01","datavalue":{"value":{"entity-type":"item","numeric-id":896921,"id":"Q896921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$1F640603-8F22-4E91-B5E7-4913A1C283DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8fba84eb94214fe49723816f0b730e9575dc50c","datavalue":{"value":{"time":"+2021-03-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":"Q5856419$C9B33722-BEA5-4A10-9440-4310BE2AF3BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bff0873f4a1df43ba8079698e30e32085fc69583","datavalue":{"value":"https://arxiv.org/abs/1909.09567","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856419$A3D8D56D-7857-496E-A83B-36D47796A962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9d132d8c8841c6e7ea3d64a66d3f1088ff947d7","datavalue":{"value":"https://lmcs.episciences.org/7172","type":"string"},"datatype":"url"},"type":"statement","id":"Q5856419$058B5918-88F1-45E1-8363-308C851A4E69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856419$65208051-CF80-4778-BFB0-987B9831B93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856419$23AE5C2B-464E-4A6A-974F-ABD01C92D04E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f2b56a3aaf890c970870f42fc47b65d4a451b5","datavalue":{"value":"7327948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5856419$9A0072B4-31AC-424F-92C2-B36F099B5760","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856419$C37BE552-26CB-4832-BF41-AF57AB9448DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b29eb321a4f29c9907cdd85449be2bde568293f","datavalue":{"value":"output-sensitive non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856419$DCD47A1E-5D4C-499C-AF16-2F99119725F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5856419$1E1700FB-7C66-4D0C-91F2-D10CDAE74581","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6401619e352431331e46d2dd5113f80abc99bf8","datavalue":{"value":{"entity-type":"item","numeric-id":44010,"id":"Q44010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$376F14F9-7513-4043-B0C3-DB9BA627B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2cff0e70f190de9dce10b1f730c5efddd384c38e","datavalue":{"value":{"entity-type":"item","numeric-id":21893,"id":"Q21893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$FB3F380C-E0FA-4CAC-8B07-6F528D48F8C2","rank":"normal"},{"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":"Q5856419$68D5A8AB-E7FC-4537-B204-5966CE5279E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$C76C8634-A8C7-4507-8171-4CECE15FD0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2499c212f9173f7802c7e2ae940591c803036f","datavalue":{"value":{"entity-type":"item","numeric-id":32413,"id":"Q32413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$365B0354-3699-4DC9-92BA-0F451B069301","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":"Q5856419$CF139093-5693-4D8D-827F-DB5A92434AD2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f0dbcf0b939e6f2c5c1ce50532e662090299e78","datavalue":{"value":{"entity-type":"item","numeric-id":5178841,"id":"Q5178841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$1EC69BCA-3C78-4279-B3BC-C0A4C384AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f27cefb7ce0eb3ef67eb1926199dabe4db0f4b","datavalue":{"value":{"entity-type":"item","numeric-id":2820499,"id":"Q2820499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$12FAE975-0D60-4497-A75B-EF3A62CC17AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53153226717e73fa41ed634be702fea86c4cfed9","datavalue":{"value":{"entity-type":"item","numeric-id":4639476,"id":"Q4639476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$64753FC9-CD02-4813-8F28-87C76D5C2E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce856ea19789dbbd1a99b07121c779f07b0c4017","datavalue":{"value":{"entity-type":"item","numeric-id":865705,"id":"Q865705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$7A4D47EF-5BC2-4894-BA1E-2B8CE05014F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c46e85dd4fa46a1da23fbc12b96b2bb7fc7d7bcb","datavalue":{"value":{"entity-type":"item","numeric-id":2915120,"id":"Q2915120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$BFAAC191-DAC6-426E-941A-7A416D8DE394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96d218c5068aba612e1ed0b8c6d689b47b3deb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2167720,"id":"Q2167720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$CD45A741-3566-463E-BC84-7D5D9BE58EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$804AC788-43FC-449C-AF22-031E3C59A483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d9b44c4bf92991a82e37499500ba9b0167dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5711500,"id":"Q5711500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$380E6283-F81D-4F8D-B765-D87BEC207078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ca75cd59633b8517d6b4af78e4f4c9d0d07742","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$740EEADA-D914-48E5-BF95-BCFD17D0D97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e2717d9aa3fcb9f4f7d426d9776c063f68071b","datavalue":{"value":{"entity-type":"item","numeric-id":5276143,"id":"Q5276143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$15F33B51-32CD-4106-B61B-4146A2494E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c6af7a56f6af6fa8fce05042bbf26f5c22ba03","datavalue":{"value":{"entity-type":"item","numeric-id":5899288,"id":"Q5899288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5856419$DEBCECDE-363A-4F4E-BB34-6CF70A75702E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3593c7e378770c308dcd38caf392f52c29733dbd","datavalue":{"value":{"entity-type":"item","numeric-id":2167720,"id":"Q2167720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc30cc96d2c0225b56eba1232874187a7d61b33","datavalue":{"value":{"amount":"+0.7857779860496521","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":"Q5856419$9CBC138B-A6FA-439E-847B-9979645E8A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1f5efeb99586fb90932565eecfab47551a74ef","datavalue":{"value":{"entity-type":"item","numeric-id":2228439,"id":"Q2228439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6455396a687fb2fe21325f76b5bc1c5131cae3a4","datavalue":{"value":{"amount":"+0.7743952870368958","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":"Q5856419$5F178A67-209F-4AFF-81B0-1727E56F81BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b14f327a6498d5dc29fa547294ad5c9b297b12f0","datavalue":{"value":{"entity-type":"item","numeric-id":2417947,"id":"Q2417947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52bd5bbf0355a516741f6e1f90c9779bcf0049b5","datavalue":{"value":{"amount":"+0.7584488391876221","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":"Q5856419$DE0A6E80-D978-43AA-B077-298D8D5D5AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9556d0f07dfc7e07bed6df856b48f64882b6f257","datavalue":{"value":{"entity-type":"item","numeric-id":997994,"id":"Q997994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7b1076c5968184e73aab47aad1a3c8cb23e49d","datavalue":{"value":{"amount":"+0.7185497879981995","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":"Q5856419$75A6D657-CBCA-4414-AD42-8FB80BDD5F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b271595549c84eb2b142bf3be9892f867b92cd","datavalue":{"value":{"entity-type":"item","numeric-id":3617701,"id":"Q3617701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f4d1eade42150d351fdb55ab6474a797067c204","datavalue":{"value":{"amount":"+0.7169985771179199","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":"Q5856419$A23CFA95-D319-4C24-9979-03EC90AFBAAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Output-sensitive information flow analysis","badges":[]}}}}}