{"entities":{"Q3623002":{"pageid":5652908,"ns":120,"title":"Item:Q3623002","lastrevid":90393953,"modified":"2026-06-04T20:04:10Z","type":"item","id":"Q3623002","labels":{"en":{"language":"en","value":"Light Logics and the Call-by-Value Lambda Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548977"}},"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":"Q3623002$C7B00ED2-3CCB-48EA-B0F7-B14E3BFA9B4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f09ea6d5f3a3be4a0a31bef08890f2a896b6542e","datavalue":{"value":{"text":"Light Logics and the Call-by-Value Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623002$82C5DAD0-A8DC-47F6-833A-89D20E5D0CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ac2cf029894ae9b5e3822480f9f8237d60b10ca","datavalue":{"value":"1161.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$0F757576-7755-45D8-AF55-F3ADE2475399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81f835640360ffe560024fb832eee97fbb2e5062","datavalue":{"value":"10.2168/LMCS-4(4:5)2008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$B1FADE46-DE34-4823-A529-26E702FD69E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37c76e0605b4afa2691eae0cc23c39e672b8dcf1","datavalue":{"value":{"entity-type":"item","numeric-id":627122,"id":"Q627122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623002$EF7FEA35-18C7-4CC8-B4CD-F2EC1779547E","rank":"normal"},{"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":"Q3623002$287099B7-7D63-4228-9860-A17FC983DB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623002$0A6D7CDA-8B92-411B-B45C-B2D0030A2278","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623002$8C15345C-35CB-40E8-A924-929185F72F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623002$516DA4E3-5E20-45AC-81DE-B34ABDA8AE56","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$5BAB3344-D88D-47C5-AE59-18A6FA32A877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$48922FB4-A67B-4148-BCC1-24F690052821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$23F81F73-330D-40E8-ABD4-0954D1353254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"914af0181c58beda1d8a34666fb46587f07485e2","datavalue":{"value":"5548977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$D9C71CFE-BA0C-4D97-B719-538B0E9C56AC","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":"Q3623002$A9DD39DD-AF8A-4257-BC95-722CCF0CECDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ff2f606553d7fd627d709d37b26931b4004eda5","datavalue":{"value":"https://doi.org/10.2168/lmcs-4(4:5)2008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623002$2065E4D5-B45F-4E3A-873E-15619F24300F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd5b12b102fc406fbefdc8cb31eeada066c0fa57","datavalue":{"value":"W1995956074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623002$C30D95F8-1AD6-45AF-9152-349927644863","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879ebcac6fe38e8637392e033eccae48acbdffdb","datavalue":{"value":{"entity-type":"item","numeric-id":5704005,"id":"Q5704005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8785ba01f3dddeceba3a59e1cfc6f909be0a20ab","datavalue":{"value":{"amount":"+0.9674357175827026","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":"Q3623002$4D22DD81-F913-44F9-8568-6F9110B5A588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c854d34daf04e3a947572b19840ef890f041db30","datavalue":{"value":{"entity-type":"item","numeric-id":3644842,"id":"Q3644842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6caf17d064beadbeecb4a9395a178b1fcfe3ee7","datavalue":{"value":{"amount":"+0.8280251622200012","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":"Q3623002$A0480CB6-B33E-4078-9320-44B01A34E904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af221d84e9312a48b0d76c9661b7eca0d6c73e78","datavalue":{"value":{"entity-type":"item","numeric-id":627123,"id":"Q627123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41049a0b16b5893a914f565fb5362544e9464d31","datavalue":{"value":{"amount":"+0.7875450253486633","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":"Q3623002$D9AEDC0D-0C36-4C8F-B679-C4AF395F0187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2beab4d2d85cabf40ada50725d795671b2bdbb18","datavalue":{"value":{"entity-type":"item","numeric-id":1990483,"id":"Q1990483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2500a1755ae157b3cb863a364fb15654f3578cf0","datavalue":{"value":{"amount":"+0.7764281630516052","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":"Q3623002$F9E8C2C7-FE64-4A62-A2FF-7304ED6C0D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dffd85f8c92138c40208a85bb346781c2a3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3499e8af7da9cd32627bf05219973a31e51039bf","datavalue":{"value":{"amount":"+0.7758818864822388","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":"Q3623002$5962A344-2C9B-49A4-B5F9-CA20E74EC5F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Light Logics and the Call-by-Value Lambda Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Light_Logics_and_the_Call-by-Value_Lambda_Calculus"}}}}}