{"entities":{"Q4676158":{"pageid":6705739,"ns":120,"title":"Item:Q4676158","lastrevid":41550344,"modified":"2025-05-05T18:26:35Z","type":"item","id":"Q4676158","labels":{"en":{"language":"en","value":"A monadic analysis of information flow security with mutable state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2164311"}},"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":"Q4676158$D5676C0E-4229-4B98-9949-AE519DC99E29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7713425022c557670a163123cdcbac037d3c6240","datavalue":{"value":{"text":"A monadic analysis of information flow security with mutable state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4676158$F5AABAF5-0927-4005-926C-D587C259888A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00061b69553c637967e70b100380937186ca0ec2","datavalue":{"value":"1077.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4676158$B6A29AAF-1025-4922-92A6-5F34365FA8A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c8829258a0bd43991ba7df15baa13d9acb47e68","datavalue":{"value":"10.1017/S0956796804005441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4676158$0D1C4E13-5320-4190-B711-89E0102931DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4676158$333BFCF0-9175-4066-B4FD-E05BA4AAA8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc62db2e8e7b2fd3763a538b7f666b684d540d85","datavalue":{"value":{"entity-type":"item","numeric-id":4676157,"id":"Q4676157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4676158$365C883C-AEE7-49A4-8750-94566AD4FCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4676158$61C14A11-E172-4C84-B3B9-F4DBAAB4D7AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4676158$5324D41B-51C3-48A9-81FC-B83AEED63CCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6390c878b13d5a69e6058fd785791fb95b75ee2b","datavalue":{"value":{"time":"+2005-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4676158$3504FE04-A763-45F9-839D-75E97C41F221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4676158$5E545828-A843-44B9-B7CC-B8A7AE0F4492","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c83c371739f8d5d6362a0dcd83a0952992cd72","datavalue":{"value":"2164311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4676158$5FBEC35E-AC26-41A0-852F-63729FBE4E29","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":"Q4676158$20DC9548-7CE4-4A63-A97A-29223EA38AD7","rank":"normal"}],"P1643":[{"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":"96a561d173e4aab7b261ca4c75db812e3e3bbfda","datavalue":{"value":{"amount":"+0.869822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$41A29C47-7B23-4686-8313-90FB15E9F7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a3bb6f112e6ae637f5a1bb26b466dde982f612b","datavalue":{"value":{"entity-type":"item","numeric-id":3523184,"id":"Q3523184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc90d0f1056f7c377b8b8e2304c1466f9f55f0f","datavalue":{"value":{"amount":"+0.8596875","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$CEDC43E9-CB3D-4D80-AD39-7F2CFDF9827D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54920e5d8dee18995f0d1559550145f1e6c05a4f","datavalue":{"value":{"entity-type":"item","numeric-id":3543657,"id":"Q3543657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74f8973ccd667c63cff3f4c34e104fab8902b32","datavalue":{"value":{"amount":"+0.8533049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$ACC43EDE-F952-4672-A198-F673D12A1F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ec571317c2e1065f3c231b0b80a27d2b8f5236","datavalue":{"value":{"entity-type":"item","numeric-id":3420574,"id":"Q3420574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7640ddcd5924d16587121ad05a44f319a2ef8a","datavalue":{"value":{"amount":"+0.8532328","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$04BA2507-5411-472E-8752-E004A0597FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fe6609e8d7728a697fb43edabc53bf1119a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":4473608,"id":"Q4473608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9902b11eb272df69958228fe5632145018928eb8","datavalue":{"value":{"amount":"+0.8532288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$B6CD1CEA-E8ED-4584-A85F-29693F9F7AB0","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":"0c3d10038a2d906f78bd34243958487e343840ae","datavalue":{"value":{"amount":"+0.8524547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$243462CB-6946-4AE9-BB39-2CE40C82171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865dac1e7d8a7efcd4ccf1242584b3934a4763b6","datavalue":{"value":{"entity-type":"item","numeric-id":4736985,"id":"Q4736985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec45ab09e3a37601e4f208f4bb4e2899daa0d7d","datavalue":{"value":{"amount":"+0.8511673","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4676158$E344236D-0700-420E-9CA2-3DF247304802","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4676158","badges":[]}}}}}