{"entities":{"Q2141293":{"pageid":2152036,"ns":120,"title":"Item:Q2141293","lastrevid":55409632,"modified":"2026-02-17T15:49:01Z","type":"item","id":"Q2141293","labels":{"en":{"language":"en","value":"Plotkin's call-by-value \\(\\lambda\\)-calculus as a modal calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7531442"}},"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":"Q2141293$A20BDD16-75CA-4054-80D2-49C0AA4DD6E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77b8d9c49dbbf50548240de01256944aca8d22ea","datavalue":{"value":{"text":"Plotkin's call-by-value \\(\\lambda\\)-calculus as a modal calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2141293$BDF59704-AD7C-4ECA-BAC7-7DE37E578189","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89260965fad54b888baf1a3ae5b1235a01539a4b","datavalue":{"value":{"entity-type":"item","numeric-id":631759,"id":"Q631759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$A8DB8EB3-4715-4AD6-BD0F-EFA00E48D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2bf00b2fa3a5538b0429f832c8bf0163860a958","datavalue":{"value":{"entity-type":"item","numeric-id":1275624,"id":"Q1275624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$E09401A2-436C-44F5-9269-A2A825CE41DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$99A80438-0292-4C27-8B2C-10BD7B402F81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$3423C929-0759-4CA7-BE15-486147473091","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-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":"Q2141293$E75A2D6C-E6E9-4214-94D1-738D6C58A669","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141293$BE0FB5A0-CA1B-4684-A653-0010A20D90C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d072e8c89198c593c0637a874b31fe0f17fb531","datavalue":{"value":"7531442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141293$6E9F1BD8-9CD6-42D2-BCB5-5E8A646845A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$57286C5B-4267-46EF-BDF3-193F0D249444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5449286be9f1a133f2f29d1fa390a5e3e7749238","datavalue":{"value":"call-by-name","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$D63EC8A6-1F3D-42EC-ADEA-D3A7563C6155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0023655cb58cff7dfa4411698356799107789a6f","datavalue":{"value":"call-by-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$56716DFA-2636-4C8B-AAF2-B05A804261B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c48bd870568d4c9b25b0d29ca3aea8ca104de028","datavalue":{"value":"S4 modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$D66DA2F9-1CAD-4AB1-89A3-60E2F1493B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a59662ce0f842177be77da2698bf0b68f88f1a6","datavalue":{"value":"Girard's embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$20FB4206-3528-4999-8AEA-6489EFE1DFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11eece1456cf1ca4cc8e71f040c37431f5570cce","datavalue":{"value":"G\u00f6del's embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2141293$D0B21C01-C107-4D9D-9836-2D30EE1F6E96","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":"Q2141293$CDF77A30-2343-4363-A132-D555B4221F07","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfc2005c1d5f009d80bcc3bc424ac9c237618052","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2022.100775","type":"string"},"datatype":"url"},"type":"statement","id":"Q2141293$54707890-4F58-42E9-B8D7-EF0086181888","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb7ce6cac1165d173ff95329c06a0c998c1741d9","datavalue":{"value":"W4226055581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141293$2F81EB2B-4F26-46B7-B802-2D7B2E39F225","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4441a33df5428b009347f1022f1440c1aaee513","datavalue":{"value":{"entity-type":"item","numeric-id":881453,"id":"Q881453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$7574C587-520B-401D-A1FE-30C965CC7F63","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":"Q2141293$358AB016-633C-4349-8258-C79235393FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2141293$F3F7CDF9-4226-4FDE-85C7-60C81DD77C23","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":"Q2141293$08CC7A89-D99F-4B04-A696-9E65C6F9CF4F","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":"Q2141293$F83CFD77-E980-43C3-B54D-27F4F40B013D","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":"Q2141293$DE55FEBA-7FF8-46FD-AC2E-2935B686C304","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":"Q2141293$2240E6C3-5CCA-4C53-A978-E24C287739D1","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":"Q2141293$4F8DE38B-660A-41E3-8035-831BA8FD7137","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":"Q2141293$7E771A25-5283-4ADC-B396-C49E619E4909","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":"Q2141293$AE0FBAD8-636D-4E35-B74B-88794F9F55E5","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":"Q2141293$ADAE1362-D341-4455-9E4A-B4AF32108193","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":"Q2141293$9E215691-C9E2-4B5C-8CA9-04CECCBC3C33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4ea4472faadeed92e3a98a7d825c40cb489db5b4","datavalue":{"value":"Q114013905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141293$9218B0EF-DA31-4A17-ACB3-40FA9F9138C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7203f2de9e247bef4a3088557367bc47a27d4843","datavalue":{"value":"10.1016/J.JLAMP.2022.100775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2141293$9CB8D0AC-1DC9-496D-A782-0306B9AF854E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8934bfa9c6dee74fc9f7e1be1d07f255f5d5be5","datavalue":{"value":{"entity-type":"item","numeric-id":5089020,"id":"Q5089020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0730b7d3e043e6041e93d6d50e30f8fc85c0d2","datavalue":{"value":{"amount":"+0.8615926504135132","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":"Q2141293$2F49551C-E1D8-4B68-8F17-A212E783C405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d025ba33fd9e34bb4c7d3ffd85247ecf3e3535d","datavalue":{"value":{"entity-type":"item","numeric-id":3498449,"id":"Q3498449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7299172f4f45dfe812710bcfc8653c61937b54c","datavalue":{"value":{"amount":"+0.8297173976898193","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":"Q2141293$D16DB883-A407-4D37-B93D-FE00629E7223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a458238d85fa2292ae683f46194b052e8ce270a6","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a8c162ea06d7a92fd0b1230857ec711f94365e","datavalue":{"value":{"amount":"+0.7846049070358276","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":"Q2141293$6948798A-783C-4201-AD5D-34CE8799AAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"615205a820ea49605a4feddfbfe6164836c5fc6f","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240693426dcaa9c0468ed03d206045f746b51e84","datavalue":{"value":{"amount":"+0.7751744985580444","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":"Q2141293$943573B6-85CE-421B-926B-E2A175B354E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3990ddbb99bb2d44d04f9e4faa256d5f9dc307ec","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfb0c31b8e8a61153d1bcfc709a01923b9a456a","datavalue":{"value":{"amount":"+0.7688272595405579","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":"Q2141293$7BA04125-5110-4591-ABED-A89A232A831B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2141293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2141293"}}}}}