{"entities":{"Q5971394":{"pageid":8148190,"ns":120,"title":"Item:Q5971394","lastrevid":97794107,"modified":"2026-06-05T15:25:44Z","type":"item","id":"Q5971394","labels":{"en":{"language":"en","value":"Focused linear logic and the \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664928"}},"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":"Q5971394$7F50A048-F7D8-41C8-ADCE-221E324C243C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b08520a8f9924974e941fd9db99d3ec58fd3be3","datavalue":{"value":{"text":"Focused linear logic and the \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5971394$71BB537D-CC8F-4FE9-BF8A-CD0F277CCB6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57a8e7fdf0ef72f61b12f2575c2d9903ed45c475","datavalue":{"value":"1352.03073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$E825D9AA-6B09-4494-B60F-00E87C7732FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e3dd74cb33fefe037efb122060e82638ab3c9e","datavalue":{"value":{"entity-type":"item","numeric-id":2798263,"id":"Q2798263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$3CD506D7-30BB-41F5-AF65-CA7A81696401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9bee5c1672027541373794fd16d90e809b7e77","datavalue":{"value":{"entity-type":"item","numeric-id":2883079,"id":"Q2883079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$A1973071-5131-477A-8895-1EF7F7B87112","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$4637931E-AEF8-4EB4-8D88-873A8FDCFE7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5971394$0FC12E04-CF3D-4518-B635-47B478F35543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$D0016601-ACC5-4F85-BF4B-FCC2B57D8BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$58C7E804-C883-4530-A4C5-0FBA159CC335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01aa218693b9e8e4bd90080ad1bc90a9ca08c55e","datavalue":{"value":"6664928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$74B30F0D-247B-4BC6-BB03-7008777C9C5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971394$E91EAC72-D645-4A73-BA66-95E220BDCFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971394$0739D49C-D201-40E5-A0B3-52D5CA57FFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971394$6B2B2954-DD28-47E7-BB56-7BF059FBB1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5971394$9BB0484E-26B6-491A-BBC8-AF13645DEA38","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":"Q5971394$82C5D69B-D651-495E-92C4-2EBF09158246","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b6561856b1c48e6338fe8297567d2a27f8609bd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2015.12.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5971394$73252C1B-DDAF-4ED5-AC20-2FFAAD0B8414","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b26964250252a10af3b0e232f8563ac7a178a4","datavalue":{"value":"W2210298890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$2ED945A2-68DD-42DE-82E2-F56826B8DE5A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"395df0a50e271dab26f5e336dd23420658b36756","datavalue":{"value":"Q113317733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$E2E9C46F-6601-463A-BBB0-21A2F95D851C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1945271fe13c6999422e12998474c5a1f95a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$6D5E2F45-3C6B-45C6-B14F-431C843FB331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$03D7F84E-1101-479C-BBB2-C87738E82594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$CDEE748B-A203-414F-956E-BEAA4DA21E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$C082AF40-119B-4AAB-B6B9-34701EB171B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28c6d46d9efe4b297e3a1a6bbd8015e0e1fb037","datavalue":{"value":{"entity-type":"item","numeric-id":1342247,"id":"Q1342247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$5779F220-010D-4CD9-A042-C9B5D8CC4088","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":"Q5971394$156F2DA9-3250-462D-B3E4-AA2FD3FD26DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c78d555367231da2b5a62a6c9589d4d99c1214","datavalue":{"value":{"entity-type":"item","numeric-id":2915680,"id":"Q2915680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$E78692A9-52C5-40A3-9F3C-450760CA83F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$9736A7DA-49EC-43A6-9C95-255AF16256B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdc04fe1d8a0b4fc167ea978de23099648f6768e","datavalue":{"value":{"entity-type":"item","numeric-id":5898815,"id":"Q5898815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$34A09277-2EDA-462A-B950-82FCF23814C6","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":"Q5971394$246779BA-3088-410F-A90F-C7F0E331A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$8AC88D4A-0487-42C2-B7D4-4BF5DC71C126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfa1392a6457245aa1a13636979cc944e1f47959","datavalue":{"value":{"entity-type":"item","numeric-id":876041,"id":"Q876041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$570A7A10-6C76-4B6E-97AE-8DFD4452F835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd428aef388a024a0ffa0c90dd80734f46450c92","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$EB8A094F-6146-4A0C-A0AA-741B9D92F2B4","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":"Q5971394$655BC71D-5E31-4DFB-A8DB-C1C6C77EC3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a87f2606ad290840a6686f988ffd91bfb79b51fb","datavalue":{"value":{"entity-type":"item","numeric-id":3608430,"id":"Q3608430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$3F0DB988-CCBA-419D-8B18-3536E8ED7456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46680db2c947d92e8cc79553fc58bbd7edb3ebc5","datavalue":{"value":{"entity-type":"item","numeric-id":3644763,"id":"Q3644763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$506D7BC3-2850-450A-B891-3D5E90FD8DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$E9339EA0-B8FF-491B-BBF4-975F242DA6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2221baf7e4bab4cc38963939c795119dc4b2829","datavalue":{"value":{"entity-type":"item","numeric-id":2946730,"id":"Q2946730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$DE1A253F-D9D6-4976-ADD4-C6C4F0BD5915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e0b56bebc50858d70dca02e3d7fc2fae05ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":4260366,"id":"Q4260366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$51759B3A-A2B3-41CE-AFA7-DB173BB660FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e133d051dd342cde8b5fb08d22929c399b121ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2875234,"id":"Q2875234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5971394$AA8BE78D-52D3-494C-AFDF-8D14261AECD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d673f5b2fad178e379adff3dd6836ce3ee365eb6","datavalue":{"value":"10.1016/J.ENTCS.2015.12.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5971394$03C45AD9-98A4-438A-BFFE-E9AF6EDBB96D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1a1b8742ad4b4fd8b08700fc7fa5c02d34775c","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569f0a72dfb6383a641e5c6f5ce80c658e040aae","datavalue":{"value":{"amount":"+0.8251165747642517","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":"Q5971394$BCD6598B-CE28-4522-A22F-8F574E5453E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f58d5e1ac65ae4230a0a40dd416bc257fae2485","datavalue":{"value":{"entity-type":"item","numeric-id":2883080,"id":"Q2883080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"569f0a72dfb6383a641e5c6f5ce80c658e040aae","datavalue":{"value":{"amount":"+0.8251165747642517","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":"Q5971394$092A4EB4-E5FE-4AD7-BBA4-7D59D550AF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e6bfd0264180dd1d561b9acf5ce8273f188d1b9","datavalue":{"value":{"entity-type":"item","numeric-id":1575877,"id":"Q1575877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938b4ff6dca4271ceb210199be75d8e9144f9695","datavalue":{"value":{"amount":"+0.7908630967140198","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":"Q5971394$E717C8A4-79E1-4D6B-830B-5E739620F4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ac6d5260b717268e184630a3a542aa35448d8","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c62926606b728ab96d2f25b5cc74f5139a6998ca","datavalue":{"value":{"amount":"+0.7854285836219788","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":"Q5971394$922ACE88-339D-4A0F-8178-E388C245265E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607f5bb5fcbb4bac05e6d97184163159b8708a7f","datavalue":{"value":{"entity-type":"item","numeric-id":685430,"id":"Q685430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"022455071615852f91f95871b1802a5708335bc2","datavalue":{"value":{"amount":"+0.7829630374908447","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":"Q5971394$92D3EE28-D718-4045-ADB6-E5E9B8FDC2AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Focused linear logic and the \\(\\lambda\\)-calculus","badges":[]}}}}}