{"entities":{"Q2441513":{"pageid":2452256,"ns":120,"title":"Item:Q2441513","lastrevid":51955190,"modified":"2026-01-20T15:17:42Z","type":"item","id":"Q2441513","labels":{"en":{"language":"en","value":"Linear dependent types in a call-by-value scenario"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273478"}},"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":"Q2441513$BC7AC0B9-021F-4C1E-834E-1D13EE1780EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13df35a4cb90dabef0ff58cf368f0f5b0f07e882","datavalue":{"value":{"text":"Linear dependent types in a call-by-value scenario","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441513$1FCF2863-9077-452E-8E06-9E05136CE633","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc582c1f00a506a1c7060a965cea3fe4e2040e9e","datavalue":{"value":"1283.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$CB3A9444-1407-486B-8A16-990D804CB847","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$1977614E-9569-464C-98BF-C7BA6E29FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61a4a3101962200d4129eb59dd3a57bf6b47e93","datavalue":{"value":{"entity-type":"item","numeric-id":2441512,"id":"Q2441512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$F101F097-62F3-4573-B964-4BBAF1BE1397","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$BE3055C7-947D-4CE7-9E38-68B65C7E5BAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441513$D94A8E1F-E637-4AB9-9DA0-B698878DB091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$2148A2C5-AB4A-412C-B0DF-74B2D446D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$31488B1E-D048-4075-A706-1BF03CC6F5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$B055B9D5-4CF3-4EDC-BD1C-ABB6F38ED401","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2872af9c0fd4f4f2ffd30138de6be9f53a75050","datavalue":{"value":"6273478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$BCE9EB5F-1471-4256-BFE1-66562CB5EE77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441513$ABABED05-0538-4352-8954-424CCE59AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9658e926be2a9e8bb6e8f2bc45fc26eb0d6cd6b5","datavalue":{"value":"implicit computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441513$B8C4B717-06BF-409A-899B-E2C3310D8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441513$BF718DFE-CD0E-404D-8308-8C925EF4B03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2441513$1D85509B-2B56-43BC-8E99-A0537CCBBD16","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":"Q2441513$F67E7157-4566-4E6A-A639-DD77C5C140F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2cb86a009bde1c90e8c5e112b5fab0d15801adf9","datavalue":{"value":"https://doi.org/10.1016/j.scico.2013.07.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441513$8EDA04B3-21BC-4381-94A8-98E13485427B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa481affaf6afc9aa480ed342030b8722c4ae0a4","datavalue":{"value":"W1993439083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$3D93B655-2CB6-46D5-9CD6-CE50D65EDB09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aefe830c417bbf0aaa4cb5862ce28580e41e47","datavalue":{"value":{"entity-type":"item","numeric-id":3540199,"id":"Q3540199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$E31B37A1-0266-4F7E-94B7-52CF15867EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a708f98730dce4f0fa1000a40f28c79f3cf7c27","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$F5F7547D-BF1D-4CE8-816A-BEAFE77062EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f4a4d6814fd1b39255e8b48c879c80b6a5b79","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$0766F918-8C9B-4473-B31A-7ED48E90C6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d45a752190299df78fd797b5ebe48d984c1ba42","datavalue":{"value":{"entity-type":"item","numeric-id":1004289,"id":"Q1004289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$54AFC157-6C7D-40FA-96D6-D57B340A7B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6c4e70888fd7939865c5bb461580af7030f19eb","datavalue":{"value":{"entity-type":"item","numeric-id":3558218,"id":"Q3558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$958CC57C-1DB6-45F5-A66F-0AEB86FC9443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d083a148d79ce2173cc5e1395b43bacc6f79831b","datavalue":{"value":{"entity-type":"item","numeric-id":2946582,"id":"Q2946582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$C356397B-0358-481D-95F0-FE35BC3BD400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$1EF97EDF-20B3-4CD0-8E1E-819ED4081DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$8AE79FA4-1607-4CF9-B745-CDF6F7E4F2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ff5d819d7b87fc96425d66dc0c9a0ecab05cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$579A069B-0E53-4EF1-9BC7-DE2394718E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$E8BD5888-3E04-45C4-8612-D09D59621832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$AAF59A50-6ED2-4B42-A4B6-AE3AB1E1D243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$A7DF4C19-9E6A-4E76-AFD8-BD03400F36B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$0F8B2E6D-78A0-48AC-AB29-60DD5DB00097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$00B7C66D-E9FD-496E-90BD-DDE78EA4D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$7C049884-F021-45F0-B215-742DDD8BEB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$BDB3C7FD-E175-49C1-96BB-A65FC452E6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c2d6d461835203c51e37e45e860349a48c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$B6788ABF-40F0-4496-85F3-F38081B3D8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$AC5FB292-13E5-4BFE-B506-BA9413B2DAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cb3fb346a089c84331b29f1ea8e1e9e35f4515","datavalue":{"value":{"entity-type":"item","numeric-id":4038672,"id":"Q4038672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$3A86B6B8-EEBE-4687-BBB9-09900956AA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906fa5413b47a98c6e1b580cf1856aaa58f10623","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$BECB0C21-DAD9-4C73-BE56-07C5D4AE70C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e310a6e4c7dd191248769828a27c22df80c4bcf","datavalue":{"value":{"entity-type":"item","numeric-id":3636853,"id":"Q3636853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$995AB19B-33E7-45A5-82D9-96069F3D2BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91acacbe5b52bf13ec2005fa6f54fd2b03031c7","datavalue":{"value":{"entity-type":"item","numeric-id":5408555,"id":"Q5408555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441513$CAA1BBCA-4A0A-4B62-811D-E81D0CA19986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16716403ff4706e93674004ea04e089662587c67","datavalue":{"value":"10.1016/J.SCICO.2013.07.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441513$42A85856-CCF9-41B5-8412-40F60DBD78D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7edcd0db2d0371adb8982b2b77ab4987fb7cafc","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5c9e66969e2b1636c933564be42b9a866deed6d","datavalue":{"value":{"amount":"+0.8579599261283875","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":"Q2441513$59C00151-DAE3-4A50-A0B7-D4189DD0595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39238720ff4f39d3855034f3da6482020c3e6af","datavalue":{"value":{"entity-type":"item","numeric-id":2346992,"id":"Q2346992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4998c4a2066c8e259f946e605b03a19fff173c8a","datavalue":{"value":{"amount":"+0.7752487659454346","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":"Q2441513$20B2E523-2B5D-4BEF-8530-D5161BD11235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a814fa50b420de47a39e568ca5af84ad9af0113","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff110e823fb45e6258b59e9bb93bf2d4eca0c1e0","datavalue":{"value":{"amount":"+0.7457478642463684","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":"Q2441513$7E635235-C77C-4E33-A551-D8673427AAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380ceb3503086b5cf3251677bdbe10bd2e2ae9c4","datavalue":{"value":{"entity-type":"item","numeric-id":3455843,"id":"Q3455843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99bd23b1bf951232bc63adb8c6cc082cae146ee","datavalue":{"value":{"amount":"+0.7050250172615051","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":"Q2441513$07E5373E-D289-4BCD-89B4-80887B14AF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cac6f4d0d99ca783421bb213fa64a44b937cd092","datavalue":{"value":{"entity-type":"item","numeric-id":1401943,"id":"Q1401943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe90b6b4ee1cd959e69a13925bb8b4679d130f2c","datavalue":{"value":{"amount":"+0.7024775147438049","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":"Q2441513$15E60D95-4454-443F-9A5B-5CD76EE44528","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2441513","badges":[]}}}}}