{"entities":{"Q5458849":{"pageid":7488408,"ns":120,"title":"Item:Q5458849","lastrevid":41204642,"modified":"2025-04-19T03:04:13Z","type":"item","id":"Q5458849","labels":{"en":{"language":"en","value":"Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267238"}},"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":"Q5458849$2AC44DFC-2C85-4119-8044-94BE2620D20A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"631c7334b9c54d4d923967e85294cbcb745b9eaf","datavalue":{"value":{"text":"Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458849$47D50DBC-C0BD-4E72-9C2B-D8BF11FB761B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc0c1aa7f220274bc5b93c9ebde1ea5fc2c2a9e8","datavalue":{"value":"1135.68393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458849$1312D682-6933-42C9-B53E-330D43B0B979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33e12a203454872a5538a514cce2b70212922f7a","datavalue":{"value":"10.1007/978-3-540-77050-3_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458849$DAC8012F-99BA-404B-911C-7425184B7926","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4170a3e2534aff8edaabacf06fba256137af22c8","datavalue":{"value":{"entity-type":"item","numeric-id":540677,"id":"Q540677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$F269F733-B2FE-4D2A-86EF-1E9291C42E68","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":"Q5458849$097EDA38-DD19-4BC6-9AF2-C0AE345C2BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$08818635-2EE1-4358-9A0A-F10D551339AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$91916B12-D972-47BE-BEFC-03AB97BCBEC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458849$C6D088E3-DC37-4723-9BA5-2644866A22BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458849$559D554A-1E5E-4195-BED0-DD7AA09D0188","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc3e814a546c34460b8ac6a1eac45c1f839329d7","datavalue":{"value":"5267238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458849$F2B67A81-885C-4735-9152-4DDBB6E8B842","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":"Q5458849$9DA62A6D-6B43-42AF-8C00-19CCDB3134FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a27501b3c5b7e93eb32d296876f9dec19e5b3ca","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458849$13E1D120-DE47-40E6-A563-DD350568DE22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f75e095bba628ee750e35ea9be7be61fadae94b","datavalue":{"value":"W1514739653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458849$9F6BA508-E5AF-49D1-A2F4-96C4122A15E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcec015fdc68ee3883dd887e13c79e86826358f","datavalue":{"value":{"entity-type":"item","numeric-id":5458849,"id":"Q5458849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$42F8DCE1-D0B5-4A86-BDCB-FA973DDE4855","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":"Q5458849$D194364E-1CE2-46B4-946E-967302C90017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56658c0f1c23c8e6d167b1a6ff1c123b84e63f98","datavalue":{"value":{"entity-type":"item","numeric-id":2763667,"id":"Q2763667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$957F92A6-0BC3-45DD-93D1-C4B0F53189B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0faa435096c3755f4e216dd37e2be1b93f34e46b","datavalue":{"value":{"entity-type":"item","numeric-id":4417891,"id":"Q4417891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$43C35515-3E67-48FA-9268-3CF3F4FD8F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa06628334b61f0f098311ba87725c874b621d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5492942,"id":"Q5492942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$90A80FFC-9638-4E11-BC36-9B9B6DA8C84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686051ea1866b310359b4b104cfcfb66e60203b9","datavalue":{"value":{"entity-type":"item","numeric-id":3189801,"id":"Q3189801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$D1A65B0F-1EE1-4BF0-80D0-C6709815669F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8afd56b488da4441be024db012421a70411aec1f","datavalue":{"value":{"entity-type":"item","numeric-id":5491748,"id":"Q5491748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458849$8F2B57EE-DFE2-4713-AFAB-47D04BA347DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ae06b323bd1325bcc67eb9e875ccb626151357","datavalue":{"value":{"entity-type":"item","numeric-id":5393997,"id":"Q5393997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe855527982920d8aa1f80b19d662c860f6ba87","datavalue":{"value":{"amount":"+0.8872756","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":"Q5458849$AF4E76F8-BE23-426C-B0A8-862912E000A8","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":"e04321375d60dac975aa01c217412a975fbcdf21","datavalue":{"value":{"amount":"+0.8813528","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":"Q5458849$496ADB8B-6FD9-4BF1-801B-1E5737730E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faaad5bbf67dbc0489f4771ea576ab2a98aab2f8","datavalue":{"value":{"entity-type":"item","numeric-id":5385600,"id":"Q5385600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3968ac2d99528c7973de85331e8761e3d504ad0","datavalue":{"value":{"amount":"+0.8782218","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":"Q5458849$CBC1C7CC-C1D9-48DA-B7EE-A22C0070BBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa024276aecaea00e172b829fcb6ddb5fc83652d","datavalue":{"value":{"entity-type":"item","numeric-id":3600228,"id":"Q3600228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8f39202868bf6d58c3c30f6acceedebe847b86","datavalue":{"value":{"amount":"+0.87348163","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":"Q5458849$A5590221-5F53-45FB-A092-3B477715C905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aea6af5db0f3b34866aa07d9bc6dbd996fe40b8","datavalue":{"value":{"entity-type":"item","numeric-id":3600229,"id":"Q3600229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f7c521e1755faf39a565685414d14b3380d997","datavalue":{"value":{"amount":"+0.8695438","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":"Q5458849$476A24C9-1655-4A22-B8C1-AA69F98C0812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42632fa718bcf26dae60829a85020f094b4d9c47","datavalue":{"value":{"entity-type":"item","numeric-id":5714151,"id":"Q5714151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29d64139dfbbf6f5a85bbec961b6df23eebb11e7","datavalue":{"value":{"amount":"+0.85982597","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":"Q5458849$F2DF7E8D-B3B9-4D89-BDB4-865F6DD9FC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8680d9f195a907aed2b71c677305beb5a30df9c","datavalue":{"value":{"entity-type":"item","numeric-id":5897483,"id":"Q5897483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1a4d41c13330dd4c5cc944971b9dc3f74a7738","datavalue":{"value":{"amount":"+0.85706055","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":"Q5458849$8EDC7E1F-370A-4423-A326-5921A00ED5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50730130f6d4f493debe316c77dc7c9cff7c1b46","datavalue":{"value":{"entity-type":"item","numeric-id":3003395,"id":"Q3003395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97944d6a9c8616afcb8d4a2ce02ac551328f4357","datavalue":{"value":{"amount":"+0.8564971","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":"Q5458849$8D9ECB0B-15C7-42C2-A406-5893540B067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55570f8dcf2c76c2736c2b99ca3bd429e9770d72","datavalue":{"value":{"entity-type":"item","numeric-id":3631375,"id":"Q3631375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3f840deb4d86bee28ac77066a2907c41f6e166","datavalue":{"value":{"amount":"+0.85592604","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":"Q5458849$A1132946-59C0-478F-A217-156DD9151D6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458849"}}}}}