{"entities":{"Q1853040":{"pageid":1863782,"ns":120,"title":"Item:Q1853040","lastrevid":73896735,"modified":"2026-04-14T17:39:31Z","type":"item","id":"Q1853040","labels":{"en":{"language":"en","value":"Abstract interpretation of operational semantics for secure information flow."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856387"}},"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":"Q1853040$198B36FD-4280-438D-927C-50B3E50368EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83daeafa641f3c3a01711183fbe963569ee900b5","datavalue":{"value":{"text":"Abstract interpretation of operational semantics for secure information flow.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853040$2B1E1A21-9DC0-4567-89A2-4BC6E5BC9657","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a99652ef7c14fb7b96f1fcb4da02903326ffc78","datavalue":{"value":"1044.68665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853040$8485E300-3B80-46B5-AD44-0CFCEDD959C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"815eb10d6d97fdaa59f1896090bb31b795e428c9","datavalue":{"value":"10.1016/S0020-0190(02)00219-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853040$87344AD0-215C-459C-B2CD-60B0450789AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ede3fafe483c29884e9afb23f7dfc1d9bca1147","datavalue":{"value":{"entity-type":"item","numeric-id":264545,"id":"Q264545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$1D30D775-C946-4887-B07B-B301F67D6390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$2445CD83-5FFE-4CA9-95DC-6761D3905FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f75269af665afc93078d91c7ee74ece22948867","datavalue":{"value":{"entity-type":"item","numeric-id":264191,"id":"Q264191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$1755B222-1173-457C-8AAD-28200F8A6BC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$8B41D7E4-56AD-4F01-8478-79EABBAFF200","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853040$03122C5E-73CA-4BC6-8BCC-93A7F0F49DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853040$E2C089D4-3A11-4BC7-ABE9-24DD17A3F86F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1b3f2c4f734d45dd9cceb88a339e850f04f73f4","datavalue":{"value":"1856387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853040$42E26380-7807-46DA-8DE8-5FE62732B04A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae53b53d17717319e621a0dd3ffb5abbf97171d2","datavalue":{"value":"Formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853040$59B0382C-9977-41B5-AFE4-C35AFDD2AD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4eee5b531b827d340fd5e45b644a81c495eb959c","datavalue":{"value":"Static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853040$BE7F9C88-19E7-44AA-96A2-4DAB547D26FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa1f6f843ba14417e1abcbc99a189d59339bdba","datavalue":{"value":"Security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853040$1D38A6A7-3AA8-4EE4-B0EA-F2C2810267BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62745809705b1130aaa73325895f146b7cc2ded8","datavalue":{"value":"Information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853040$D1A27B86-D1E9-4531-B4DF-46A0914A37F7","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":"Q1853040$42E480C9-B137-4DD0-8E67-C57368EF2163","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba429b0799ed96e59e6785a29eaf897e38f647dc","datavalue":{"value":{"entity-type":"item","numeric-id":3922155,"id":"Q3922155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$F709ACBA-23AD-4442-89C9-F2E9564F976A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3249560c6bc0423da5472f69be3ba8e10d31ab5e","datavalue":{"value":{"entity-type":"item","numeric-id":826055,"id":"Q826055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$BEF51823-CD54-40CB-BA69-05C90BF1AE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$F4C89009-4260-497A-BC7C-EC8FE9DBA0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b8b0228c656d63cc771cafa4da2917ced7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4085248,"id":"Q4085248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$76ED7E46-A128-4AB1-99E1-ACBEC5D4F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9971a8b9ead8fccd2d646b5dfe136f3be07427a","datavalue":{"value":{"entity-type":"item","numeric-id":4134927,"id":"Q4134927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$A1404FCF-AC7B-41BE-8406-463F4DC82666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8582d8b579cdffe963a5813dee16f70d4650fe56","datavalue":{"value":{"entity-type":"item","numeric-id":1203126,"id":"Q1203126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$17E58B48-F5A1-460E-8039-565795EE97E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbf7aefd036132700ee76f6e8980c2e03bb831a","datavalue":{"value":{"entity-type":"item","numeric-id":2943356,"id":"Q2943356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$BAF53E71-F267-4217-A587-016021FFC0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dbc2f17b82075ba1154aba743c2e4080179e47","datavalue":{"value":{"entity-type":"item","numeric-id":2763665,"id":"Q2763665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853040$4EA45C08-989E-4B54-B7C9-2327B1C41377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation of operational semantics for secure information flow.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_of_operational_semantics_for_secure_information_flow."}}}}}