{"entities":{"Q2324009":{"pageid":2334752,"ns":120,"title":"Item:Q2324009","lastrevid":71843604,"modified":"2026-04-14T00:54:40Z","type":"item","id":"Q2324009","labels":{"en":{"language":"en","value":"On polymorphic sessions and functions. A tale of two (fully abstract) encodings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7104914"}},"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":"Q2324009$A0C84764-A5BE-4164-AF19-F31D197C7681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4795eb08a481a0cd659bdbc2f252b2ca1481760","datavalue":{"value":{"text":"On polymorphic sessions and functions. A tale of two (fully abstract) encodings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324009$9AB34C97-0D3F-4930-8369-6B18D4699795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62b42d7fd0974e4fd76879c564078086d8e81182","datavalue":{"value":"1418.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$4BFB70FE-5EDC-4071-B474-694830E7AFAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5e1dfa9b615835a04199803e13beabcdf083a66","datavalue":{"value":"10.1007/978-3-319-89884-1_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$501D0B4B-A9E8-4E93-A42D-5895529B87FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1acb8bfb71d90bd14112d4100b38479fd980ef97","datavalue":{"value":{"entity-type":"item","numeric-id":476189,"id":"Q476189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324009$643B8EFF-DCB9-4ECA-A5D3-51EA19F85C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a10e2d4e7c7f35976aef2937159c2a644c708f28","datavalue":{"value":{"entity-type":"item","numeric-id":236085,"id":"Q236085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324009$0C2D043F-4058-4BE0-B02D-7DE037C4F0DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e58c5ec13ac9ff2a0c2a7ef47523e32b869731b7","datavalue":{"value":{"time":"+2019-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324009$BCF24C89-AE59-4CA4-A28F-767003346E47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d85fbec96ef2452edfef61a4e5e8211b16096ed3","datavalue":{"value":"https://arxiv.org/abs/1711.00878","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324009$2E29BDC9-0A1F-4234-88EF-7F2703615327","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$A0CC4134-78C1-4E3F-BECA-4E98D07F583B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$4050FCCA-B568-46BD-AF07-580F0ACD0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$349DC981-DE63-4D8F-9142-0531B5495660","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a72f1be1c731fead8d503945f32309910382eb11","datavalue":{"value":"7104914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$B42DB9D7-D844-4CA5-BFB7-C67BEA9AB830","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":"Q2324009$65034D66-1DA3-4971-9C6C-B241176E8A19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24f871d35de039f29fce49c03d555177801b2bde","datavalue":{"value":"W2797067244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324009$5F9070CF-3AE1-4C1D-9717-1FCF6F3C7843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64261e3da98c5b60a65f16cc1219ca04b347bc1d","datavalue":{"value":{"entity-type":"item","numeric-id":2892782,"id":"Q2892782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec4ecedaad5a9410918ef21d1d2e334d711f52a1","datavalue":{"value":{"amount":"+0.831002414226532","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":"Q2324009$A2E8F419-C0BF-468B-AEB4-84AA38DA307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9052b9ac04e277a55489be6dbf71a0a4a0a09836","datavalue":{"value":{"entity-type":"item","numeric-id":2407105,"id":"Q2407105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe9bb10830107aa148f54d3032ca6378526b7efc","datavalue":{"value":{"amount":"+0.7938559651374817","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":"Q2324009$5DC15E5D-FB22-4579-82E4-02CA9F0C8A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69797eac3527bc8f56863b7bbccc66eec6c3c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2576663,"id":"Q2576663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de921d0fd3459f1195ca30dd4d351caccc79b4d","datavalue":{"value":{"amount":"+0.7913205623626709","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":"Q2324009$A877B58A-0ED9-45F8-993B-EB501BFE33E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe587eb3e96c13cf4958f80a9d0180da1eb9c53b","datavalue":{"value":{"entity-type":"item","numeric-id":3584932,"id":"Q3584932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ffb370319491283016b7259412088a6cd815c55","datavalue":{"value":{"amount":"+0.7903882265090942","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":"Q2324009$FA3D9675-6E6E-44EC-92AC-609BBDD0B0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3520bd3efa9be41f980b06436fd198cec2d07ba","datavalue":{"value":{"entity-type":"item","numeric-id":5741569,"id":"Q5741569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffe76178cb413b9fcf7954aac1da9f9346dfb8e","datavalue":{"value":{"amount":"+0.7846859693527222","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":"Q2324009$EE64AED9-D541-4D5D-94EC-4F20D2AA4586","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324009$21805023-4C22-4C78-842E-F735DB6EE3CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On polymorphic sessions and functions. A tale of two (fully abstract) encodings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_polymorphic_sessions_and_functions._A_tale_of_two_(fully_abstract)_encodings"}}}}}