{"entities":{"Q826055":{"pageid":827903,"ns":120,"title":"Item:Q826055","lastrevid":54187490,"modified":"2026-01-26T10:32:39Z","type":"item","id":"Q826055","labels":{"en":{"language":"en","value":"Compile-time detection of information flow in sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7449655"}},"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":"Q826055$770F7525-BA35-4F45-A10C-9DF9D83A6847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"188704e282c946db2e041a87778c6393e710f221","datavalue":{"value":{"text":"Compile-time detection of information flow in sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q826055$11323ADF-DC6C-4160-8BE6-C1469649E29A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa8805b954e2675bf4ab5796676ae150f7847636","datavalue":{"value":"1477.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$4199BEB0-761E-478C-8BDC-7596EE3B7C99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2212e35a6335858479ffed9727e446c93e8c2f37","datavalue":{"value":"10.1007/3-540-58618-0_56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$DF299D0D-4E9E-40A8-A2B3-DB0360FD709D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a965b1b591a74411b7c83512027f19616afcb7ff","datavalue":{"value":{"entity-type":"item","numeric-id":751836,"id":"Q751836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826055$C2BEF0C5-EB1E-448E-A4E7-D24418AAECD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4ff04e3d8309c153cf538743c6b392c20f4765b","datavalue":{"value":{"entity-type":"item","numeric-id":826054,"id":"Q826054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826055$A507D4FA-9698-4E03-A43C-B123A949BB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74df75a91a75fa373e20dbe2d7bb33b1c32ae38c","datavalue":{"value":{"entity-type":"item","numeric-id":751837,"id":"Q751837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q826055$65FD169F-D4D5-48AF-B83D-976736008728","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab89d2d50f17f450d659ae9b22b10d627e5aa712","datavalue":{"value":{"time":"+2021-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q826055$46E42BF1-1CED-4AB6-A693-3144B0BF6BA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$62DBB4FF-F290-4226-8863-5877A48EA0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$34692F95-547F-4A0B-9043-BF2E49046FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$F71C6A48-AA27-440C-A03F-B6AB8DE491AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b01e1e93632475e69bc413b064b62c3512a9eb09","datavalue":{"value":"7449655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$24A65C3D-28FE-46E7-9302-5CA65EFB5B6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q826055$77660242-FABD-4EE4-BA25-844922DC85DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q826055$46DEC04F-4FBD-493C-BF61-8A414FFA42DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f91056c7d1db794c614d225cbe58b629d13418b","datavalue":{"value":"verification tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q826055$7D7AECC8-7860-4ED2-BA2D-C4E9421C8128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35932420c57e81deee91d49171fd875f50cb478","datavalue":{"value":"computer security","type":"string"},"datatype":"string"},"type":"statement","id":"Q826055$C216188D-3BC6-442B-9974-BBBE4C0CA7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q826055$776FA795-8B47-4DAA-B3E9-102482CD4477","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":"Q826055$1C137B37-57EB-4D76-9737-3094D1217623","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17554f48b10af8abc9eecf62efb79e36cd148781","datavalue":{"value":"https://doi.org/10.1007/3-540-58618-0_56","type":"string"},"datatype":"url"},"type":"statement","id":"Q826055$938A18F1-366A-4EFA-AD04-E2AF65F55290","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1aae3f09157c7eea59384268fe459f1c53f0ad40","datavalue":{"value":"W1990048025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q826055$F0C73B3C-987F-48F3-985D-DE21FB3DAD25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd4bf8ba2fda894883395d697d19ca23c26fdf2d","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c380dbdce0b48a6647ffac5bc090845334b5fbe0","datavalue":{"value":{"amount":"+0.814825177192688","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":"Q826055$18F61F6E-F6A9-4EB9-87D8-2B7B8BE601FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207cef1f9debe8bf2839f9ab723c6bd67fe1a2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3f2c0a9a6848393a7143b5898bb532188dca0ce","datavalue":{"value":{"amount":"+0.8087141513824463","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":"Q826055$014C36D8-C452-407C-A500-EBF99C2F0F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"798b072a1398816b9fba0aa3d1f2e29da56583bf","datavalue":{"value":{"entity-type":"item","numeric-id":5936652,"id":"Q5936652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e41a9990c4c9dc779775e3bc25b63134ac44776","datavalue":{"value":{"amount":"+0.8014652132987976","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":"Q826055$EB70AB9C-35CC-4F00-959A-1B0505B66D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6254234cd5b8eeb4070c2739175355620c0781c8","datavalue":{"value":{"amount":"+0.7945847511291504","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":"Q826055$211C2295-216F-49AB-B100-1583196963FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73027fdf228840babd6caf2669cd2e60e53d82ef","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05cdcbc5f167d96c0ddf15f4a2d01152c28b4dba","datavalue":{"value":{"amount":"+0.7939959764480591","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":"Q826055$64791A05-3790-4C35-8AD2-097FA3A68F8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:826055","badges":[]}}}}}