{"entities":{"Q2229149":{"pageid":2239892,"ns":120,"title":"Item:Q2229149","lastrevid":43718007,"modified":"2025-11-10T11:23:18Z","type":"item","id":"Q2229149","labels":{"en":{"language":"en","value":"Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313966"}},"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":"Q2229149$99EA98C5-E74D-474E-BC1D-319C33AEB15D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f784b11f4107de7bf3a85630f8e005c8afbaea50","datavalue":{"value":{"text":"Agda formalization of a security-preserving translation from flow-sensitive to flow-insensitive security types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229149$1619CF47-977B-4EEB-BEEC-FF4B016444CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"733e2f23caba16e8c7ea7d8bf6911b0750140474","datavalue":{"value":{"entity-type":"item","numeric-id":2229148,"id":"Q2229148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$F20A20C6-1FEE-4DC3-B296-EFBEC9132805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cdc08e594016e43d5610169374be4ff2d2c46a2","datavalue":{"value":{"entity-type":"item","numeric-id":1929356,"id":"Q1929356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$FF100A8B-F628-4903-8A99-86C4FAB9D31B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229149$C13D05BF-7887-4366-ACAF-66F88EC6F2D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229149$1F4D2C9B-9003-4082-8275-24685039C19B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ffe3b91534545512c89f4a9bbb41ac747914bbd","datavalue":{"value":"7313966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229149$EFE4B9F3-5B3A-47CF-AC10-B6B26D35E8DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229149$B1BAADDE-F9EA-44D3-9B85-0402AF37AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"609e367a3d3d149481c3c34baaf397b1e703dd3c","datavalue":{"value":"information flow type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229149$957988A2-0974-4166-A90D-60755EBB939C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844603bd91813a4c11a94eb3f760fbaabd5d62df","datavalue":{"value":"dependently-typed programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229149$C32C2737-ABF8-4035-814F-B8AACAA96167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229149$1E0DB29B-5783-4C84-874C-2F81B025594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efce79918eb6695c12a657d79586fd5eccf3b28f","datavalue":{"value":"type safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229149$8B73F78F-BD34-4FCA-83EC-02F022BDC159","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$EF368BC6-8C02-4E9E-BA0C-607E77040179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$8ABA4DDB-A017-4912-A94F-9BFEE5EF9A83","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":"Q2229149$00CC0087-EEC5-4934-9549-A0D616422FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"388d7b8157819f55cbe039e02ddab3059c819c62","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.08.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229149$44CF4A07-2B13-4B58-9A12-92289642607C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59882fd17ed3080e6c391828d8ace9f344a5e7b4","datavalue":{"value":"W3092413010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229149$FCB6B84F-9A51-426C-807F-AB73141887B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2b093cb5bc14c4c76fa20fda43e6cb1a40e41c15","datavalue":{"value":"Q113317317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229149$733E2019-48FA-4300-9BCA-9F18FC115FB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e4855cde125bdc1bb418924731ec6618aa622","datavalue":{"value":{"entity-type":"item","numeric-id":5191088,"id":"Q5191088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$16C1A204-198C-45F5-B56B-C870220B64DC","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":"Q2229149$0B703D1D-6441-4B98-A21C-7E791DEB6F9D","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":"Q2229149$EC525F4F-8408-48BC-970E-F722916AE3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1a63a8c6595036430043c684f4f9c85ac8dea04","datavalue":{"value":{"entity-type":"item","numeric-id":3000586,"id":"Q3000586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$F7A8A550-EFEB-4124-A9E2-6661CE8E67A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$1BDAF41E-8C3F-4D5B-92AF-4E0B4DCFA0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1cb314be56584c4a3b78c42d4c6a1e8e149e010","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229149$87CC69D0-BFBA-4CF9-8E64-DD1A739718E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37ccd3cb2454b90e2128752e1484a3bccf844fb4","datavalue":{"value":"10.1016/J.ENTCS.2020.08.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229149$66B41115-928D-4ED2-ABBD-4AB239F5FCD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fafbe52687929cdee51986088f2a754cf5ea53c","datavalue":{"value":{"entity-type":"item","numeric-id":5348914,"id":"Q5348914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284cb14bbd22f1eed96f5e58caf0c9b3f8cdc6a1","datavalue":{"value":{"amount":"+0.86257887","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":"Q2229149$CFB99D5E-8199-4E2B-8074-648560B6EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b4e9ed0c59f80b3f1944b27f059ce0d7eb6d4","datavalue":{"value":{"entity-type":"item","numeric-id":5901899,"id":"Q5901899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a344a8624c435ba278513cf0b3961fd4abc16e4","datavalue":{"value":{"amount":"+0.8446016","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":"Q2229149$7CDFDCCF-D9AF-43DC-AD84-55AC6D357BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983697de21a8fc3493122f8b9247f883177d4ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5492942,"id":"Q5492942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a43089986c6401744d77e87ee16819f1b4a1a5","datavalue":{"value":{"amount":"+0.84089804","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":"Q2229149$B5903149-EB65-4766-BE74-338F255926F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288e4801fba6133d1521284c68a72f3eb2421d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3189851,"id":"Q3189851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c748af55eccd8440f9be7101619c9e9594beb2","datavalue":{"value":{"amount":"+0.83833116","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":"Q2229149$BB465FC4-44CB-4366-ACAC-0E53F7AE2236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc12db6a2a10b6989c790af17499e7bbaf63926","datavalue":{"value":{"entity-type":"item","numeric-id":2683037,"id":"Q2683037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad62b80b82e9652c2cbf1afc6c6152c9ecd54b6","datavalue":{"value":{"amount":"+0.8376828","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":"Q2229149$696738D4-CCD7-4D32-B077-90DB1F004F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b9d9030fa1df601057330f524b1e713525f1ca","datavalue":{"value":{"entity-type":"item","numeric-id":492914,"id":"Q492914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc835da8e340f6cde56c5625ceb5b9d01949a9d","datavalue":{"value":{"amount":"+0.837667","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":"Q2229149$2B7EC74D-1500-4A87-AA6D-E86C05F54831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1c4de3cadc524c92e6a8d0c050c5d160920b6b","datavalue":{"value":{"entity-type":"item","numeric-id":1203126,"id":"Q1203126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"782895355504faa271450786e93f5fad7b91ae8f","datavalue":{"value":{"amount":"+0.83261645","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":"Q2229149$CF1956E4-3E04-4A33-99DC-684632704419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879f7622f6b71d539d4539e2aecf39c1b4923fd7","datavalue":{"value":{"entity-type":"item","numeric-id":2841272,"id":"Q2841272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d775e8ee59363c6faa420eef1c7cabbaf66e0b69","datavalue":{"value":{"amount":"+0.8304417","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":"Q2229149$3A583708-7B31-47A5-95ED-EB1E99B17A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9848711e6dbc8ead372fc0e3ac078e2538ff625","datavalue":{"value":{"entity-type":"item","numeric-id":5703810,"id":"Q5703810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92f214dfa8f5ddbc128a5fa3d3963d033c21cb31","datavalue":{"value":{"amount":"+0.8286447","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":"Q2229149$DBAEFEE5-8457-466A-85DB-ED9C8E4D1271","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229149"}}}}}