{"entities":{"Q2233405":{"pageid":2244148,"ns":120,"title":"Item:Q2233405","lastrevid":57686310,"modified":"2026-03-31T22:06:13Z","type":"item","id":"Q2233405","labels":{"en":{"language":"en","value":"Factorization in call-by-name and call-by-value calculi via linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410426"}},"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":"Q2233405$F77CCCA1-0A80-4E33-ABD4-19346B1808D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ae2abc90927bcc2bd50ea4e1ce751e7c86e9e28","datavalue":{"value":{"text":"Factorization in call-by-name and call-by-value calculi via linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233405$74FA9F06-A969-455D-AA7F-65C15569952D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4a5792e4c03d4060f81e291c3f8636a99894b30","datavalue":{"value":"10.1007/978-3-030-71995-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233405$B2D38287-FD47-4554-B05E-A5998452969D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9aaf1e7c2b1ba0b424702ec2021099c86aa7244","datavalue":{"value":{"entity-type":"item","numeric-id":418200,"id":"Q418200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$22298916-F250-4C3B-B66F-25F7C46943ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$18454284-A8CB-4D40-92B8-A1817B3D4D55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233405$FA1C6045-FC2F-43CA-B89F-81A0D42DED3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af081a7b7e25fc3d7e5c58a3d17967ff849aa4d3","datavalue":{"value":"https://arxiv.org/abs/2101.08364","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233405$29BE3D87-F4C8-4F63-84F8-FC8FABE53973","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233405$9AE13742-8D29-4808-BA89-4D0669D9E74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233405$4A9C9D91-9830-4643-8CAD-CFFE5C4FAD22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f58aacb8a9b8b5c66d5ee0e72ee9ff437afbc06","datavalue":{"value":"7410426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233405$2101DEF3-D2B5-4A04-B16B-928096EAEE04","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":"Q2233405$05D133DB-8C42-4D7F-890B-5B8ED8694C0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fc99061e8d09ec408d07ee3c0abb31f884ec15b","datavalue":{"value":"W3134025063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233405$FA5861BC-378B-4DCE-8D63-760AF69AB412","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"881b81f7bf66cd1b74c36866d3bcff62111e24a2","datavalue":{"value":{"entity-type":"item","numeric-id":5111891,"id":"Q5111891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$1DCFAC77-2E6F-477C-91B3-9763E26E9DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$DA4335E4-EEC2-4A94-ADAE-BE172680CB1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26571693b6a8567e0a13f75c14953cf8fd0307e","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$68A5C9BE-5E0B-4EC5-91A8-D0146C6EC36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80924992e977a34ed08b91a099ddc6533c8be909","datavalue":{"value":{"entity-type":"item","numeric-id":2039931,"id":"Q2039931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$DE3F2593-8A35-4B7C-AFEA-3A222E053A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1245adc65c7a6a43c03977a394ea4c343893ad84","datavalue":{"value":{"entity-type":"item","numeric-id":534698,"id":"Q534698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$37758C92-7FD9-4D48-B11D-3C4AE47FF701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e524e66b876fcd86cb54f7e26b9bda7992a4","datavalue":{"value":{"entity-type":"item","numeric-id":5874202,"id":"Q5874202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$C29D5E82-3A63-4404-AA98-4A2251EF1EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"195411bbc5a6bc9faed88aed5348f8ab519b12cc","datavalue":{"value":{"entity-type":"item","numeric-id":2802478,"id":"Q2802478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$1F75D6DC-6707-4ACF-AC9A-B1BADD1CB982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac05a1cd4c258925635d15b308e47faedff0c85a","datavalue":{"value":{"entity-type":"item","numeric-id":2233405,"id":"Q2233405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$DF5B6565-1771-4150-A06C-361B8CBF2791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$459D6717-7A7B-4031-A890-A1B0C4434EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175797b530add3a18bbf88e44493213ce2d2fc4a","datavalue":{"value":{"entity-type":"item","numeric-id":5018484,"id":"Q5018484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$846EFCBF-9871-46C0-99F3-1BD1E2955DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$60232E8E-CBAF-4EFC-B660-2B1193BB7D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ecd2663cae759c4d1d7e75fb6527fade78154a","datavalue":{"value":{"entity-type":"item","numeric-id":5277880,"id":"Q5277880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$B9390662-5EC8-43B0-9418-6D620C9B9863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$A50E3AC7-530A-4BBF-B97D-90010D4D76D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeae088c411532f7940546bb53e5a8a76f6e4b04","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$F44727A0-24B0-47CF-97B2-F1E3C7FA9020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$5AAD06C4-1BE5-4C5C-B9FE-1532B1CA33C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$97871016-62AE-430A-A9E2-3B0E44773E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c605c2c35a299c7b77067ae6c2666126c4d457c9","datavalue":{"value":{"entity-type":"item","numeric-id":5360213,"id":"Q5360213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$74870078-95FC-42EC-9020-34D0A444E2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$CA9E7C2C-ED2B-49E2-8544-33943D5DCC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$1F0C6AE1-8580-4AEB-BA0A-87F1400540E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6757240f6abc8b15b81de9e3ff90fd2b455c60a","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$A8101319-0543-4EBF-80E6-0B8ADF3644A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d502c3cafe07e9cee36e9b47d57d584e04885081","datavalue":{"value":{"entity-type":"item","numeric-id":5089020,"id":"Q5089020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$64066E7B-F0E1-40E3-8DD5-0FABF6FB958C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81397f0345ca4bcad82ce8e3e49409354adbd5f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$9DB94F25-2D2D-4549-A8E7-A38F9BFDFF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$A40F0652-C86B-495A-B877-B49CE6DBB268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$D88F0C79-551A-4923-83D0-91C34CB70DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f579a1eff41f70abaa2adf98b1939988ff8b1a","datavalue":{"value":{"entity-type":"item","numeric-id":877259,"id":"Q877259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233405$79588BE4-3482-4294-89F0-C68FEE626E10","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":"Q2233405$5555DB86-1174-4C87-ADF2-4E0C92225F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233405"}}}}}