{"entities":{"Q3000586":{"pageid":3011310,"ns":120,"title":"Item:Q3000586","lastrevid":51249140,"modified":"2026-01-17T10:56:04Z","type":"item","id":"Q3000586","labels":{"en":{"language":"en","value":"From exponential to polynomial-time security typing via principal types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897348"}},"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":"Q3000586$0219E23A-9E12-4094-BBBC-2C6961AC3FBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9765382bed3e853e9c4db8f01fd8f3cb6c0288f7","datavalue":{"value":{"text":"From Exponential to Polynomial-Time Security Typing via Principal Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000586$097E4537-1ABA-4A84-A795-A284A1470A8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08c937b5834588c4b96bea0cde17e33f1c461221","datavalue":{"value":"1275.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$2A7B544B-8BEE-4C9B-A45F-94F64306193C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"900d59e8a08fe12956602a3d925cb72ac8f04720","datavalue":{"value":"10.1007/978-3-642-19718-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$9CD6F1C6-79A2-4613-BED7-AE3E848561AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f17abf4b86527aec5f80fbe4235a88a5feb05f0","datavalue":{"value":{"entity-type":"item","numeric-id":1330438,"id":"Q1330438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$9AD278FF-D890-4C41-B0D9-6BF99CD50F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d4498e9df0dc0431bf8c42d1881dfda1cb2325","datavalue":{"value":{"entity-type":"item","numeric-id":187614,"id":"Q187614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$BC439C5B-80B5-41C8-91CF-B14256F6C056","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$744EC73C-C241-4F26-ABEC-4D5593249C65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000586$B6745E7F-8E6A-4F24-877E-B8AFB53EB827","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$34FA20DC-5432-40C1-8A3D-7A82F2252868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$A5097288-9B21-4C2B-B863-898C7E4DC997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da500c04a580172765eead2b5d0e321406837d5e","datavalue":{"value":"5897348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$00B8862F-A545-4A34-8847-B51975CE5926","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b9556e7912365261fdfb734043e03eba6817f8","datavalue":{"value":"powerset lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000586$0BFFAA27-3514-44AA-9FEF-5613B7BC126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed043d4102fc6df763c79e142ef5393fe9daff38","datavalue":{"value":"flow sensitive type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3000586$3124A9B2-6C0A-4ECB-9AE1-9F772E55EFCA","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":"Q3000586$B36787B1-0365-469E-9E9E-8A0CB56B25DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d846fc2acab8a8caa504c677cf354d5dd2d2757b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000586$BF8BF311-5CF8-458D-BB9F-F4B3F6104B75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ea2eb8d05a02ba16377e4fdb2b2ea55d28f5f9d","datavalue":{"value":"W1585940114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000586$71548EE5-5266-4D82-A13A-74DAEAB8C093","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ebdbe8cda4e5e31d2b32028bfb4b43bafcc648b","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$CDADD18E-DDD3-4DAD-AC18-0B7A9B6797F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e040be53b9dc937b6cf4f3520d5157b0bb094da","datavalue":{"value":{"entity-type":"item","numeric-id":859953,"id":"Q859953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$F0D492A2-21B7-4EDD-99FF-3AA2DFE37FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ed56ca71244e05aaac2bba4f51079d01410063","datavalue":{"value":{"entity-type":"item","numeric-id":5348916,"id":"Q5348916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$BB87081F-1A2F-43C4-BD60-D765F88C9EB7","rank":"normal"},{"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":"Q3000586$B63B0038-88A6-4C40-87C4-2812CAD39248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e81d1de79c7f0ea3bb3df8983d0325382a574af","datavalue":{"value":{"entity-type":"item","numeric-id":5184379,"id":"Q5184379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$FDF72F58-F7D4-4A70-B4CA-8E4E535D6AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca5551d8a11a95169ab018d122108474ae66873f","datavalue":{"value":{"entity-type":"item","numeric-id":4535032,"id":"Q4535032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$3FCE3C24-45D0-437E-AD8E-47A9D4D9B78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b7745fe0c75d6d118c8e01b60eec0ddf8dbf6a","datavalue":{"value":{"entity-type":"item","numeric-id":5395112,"id":"Q5395112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$E2885537-F74B-401D-B251-43254BFEDB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"507cf5c48b7692adee7fa55a49d9e02493a02b5e","datavalue":{"value":{"entity-type":"item","numeric-id":1869976,"id":"Q1869976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$284CFE57-DC25-47F7-B912-C0A5FF012FDA","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":"Q3000586$865C0084-F565-449A-BDED-775AA4240701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1aa650cf0c6a67e5a4b81d6fb629ffed7a6950","datavalue":{"value":{"entity-type":"item","numeric-id":3617701,"id":"Q3617701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$A77C88B2-3AB7-4C0D-B187-753502B15CBA","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":"Q3000586$D4C9F793-F7D2-4DB8-B982-FB5869F1A90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d201df22d96b288d16cc9dc9a9dbf6a49fa86e4","datavalue":{"value":{"entity-type":"item","numeric-id":5458400,"id":"Q5458400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$4E199FB8-5EF8-40E1-ABB1-9C911C2CD2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$FD002535-DAC5-429C-873F-02495916513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"841df77b5e5e2d994ab30d1be873a76e763763b2","datavalue":{"value":{"entity-type":"item","numeric-id":3345745,"id":"Q3345745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000586$8F3461C4-899A-42EF-BDF3-7A6D5C2E5827","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":"0570808cac6c76b015566fd0cf470532ea45c6bb","datavalue":{"value":{"amount":"+0.7905778288841248","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":"Q3000586$DCAF18BA-7FCB-4BE7-92CF-590A77763936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a9e3dc7ee6107cb6f94430b3eb6b09ec4165c6","datavalue":{"value":{"amount":"+0.7486881017684937","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":"Q3000586$ABE60EE7-9BBE-4F6F-8138-389682938E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48519b5b005fad62aa7a1644acc341a036b630b5","datavalue":{"value":{"entity-type":"item","numeric-id":5395112,"id":"Q5395112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebfaaaa865bb07abce8297d9d2d318b8e62d8542","datavalue":{"value":{"amount":"+0.7276775240898132","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":"Q3000586$BA959B06-8A23-4784-9940-AABD59005D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea56781d3c09ec69b0e2b8a52ead6eabc1f484bb","datavalue":{"value":{"entity-type":"item","numeric-id":2819817,"id":"Q2819817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"978a3425705c35df568b17d69a54fc8d03f92917","datavalue":{"value":{"amount":"+0.709502637386322","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":"Q3000586$76B5836D-3A09-42BC-8DC5-389E6940B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f193da7d9d3653a5704cd320c5ba1998c8c99f5","datavalue":{"value":{"entity-type":"item","numeric-id":4737219,"id":"Q4737219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca7e367fb5da93175f63051eb94ebcad657fccb9","datavalue":{"value":{"amount":"+0.7078370451927185","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":"Q3000586$3C96306E-1C07-44B0-9D21-3F00FC10C08C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000586"}}}}}