{"entities":{"Q1744450":{"pageid":1755192,"ns":120,"title":"Item:Q1744450","lastrevid":72418668,"modified":"2026-04-14T04:46:33Z","type":"item","id":"Q1744450","labels":{"en":{"language":"en","value":"The polarized \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862975"}},"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":"Q1744450$9F8D2B40-F095-4066-BB0C-BD20209F5570","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4973500c3acf63b5c717402164b9a4b18293da9b","datavalue":{"value":{"text":"The polarized \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1744450$D727D511-BC09-425C-9042-F86894D16AC4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf4917851b24f5494cc2527df71cc086cae19de1","datavalue":{"value":"1394.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$BF02802C-A900-4C13-B3D1-052646072BCD","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":"Q1744450$8818EFF1-81BD-4263-AD43-500C492C82EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1744450$AB86C4B0-EE82-4C0A-AB5A-10FCB83C40B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$A15DDE80-16F5-4F4B-8637-1658104B130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$093421D8-D4B1-4C0F-8A0D-B14700419600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$8165D7A1-EF8E-480C-8C29-78E28109F7F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"524c075b4e3d9f643f03cab3634c279e3d0fc180","datavalue":{"value":"6862975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$798609B4-D08B-4B78-80BC-30C30EF53AF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34cead95aa95ce302403dfa3e12afb1f68893c3e","datavalue":{"value":"polarized logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744450$214C58DA-6EE7-42E7-A878-1ED1A1E73A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744450$61614553-91E9-4F42-AD87-2A291D50E21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb58b2059649a4ad78a81a019d731baf06ec6e4","datavalue":{"value":"bidirectional natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744450$9515AB2B-BAF3-4741-A7EA-376D000B8794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb9b223b41a83cc8ebc3705b6dc871a35508859","datavalue":{"value":"general elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744450$82B8D853-1BC3-4876-8AF3-2E38EC4818E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"131e2cac8a482a08c90508cd0ce567e572da9989","datavalue":{"value":"eta-expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1744450$92FC0F37-A412-472D-982A-40D193B3705F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"18f564ed88a5e5c6c80293ce25fd36d1ad63f74b","datavalue":{"value":"Q113317593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$CA856D6D-3841-4CC7-8BDE-82E95E1DC6E0","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":"Q1744450$DE7A0F1A-F0CC-404B-BD37-87DBE6F7110D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fe73c39885bf3753487a0adc50e63bc657836e8","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2017.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1744450$5754E4B7-E739-4622-AFF1-046D4EFCC57E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6f3a923e3b86f86fe8083584dbec7f2bb0d5df0","datavalue":{"value":"W2646210003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$A2B95445-6272-494A-865A-0BAA111AF3D1","rank":"normal"}],"P223":[{"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":"Q1744450$E7F33631-E466-494B-9427-97737E5B1C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ded251e40a864eff7915d4a0cada06fafdd1945","datavalue":{"value":{"entity-type":"item","numeric-id":4933303,"id":"Q4933303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$1FDD3222-9287-4EF2-9FC0-FC95CA947636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c9d090643b66ab61947250d83f48f8f8ed8ea","datavalue":{"value":{"entity-type":"item","numeric-id":928660,"id":"Q928660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$763DF85A-AE30-43C3-830B-946320B5B0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397b77818aa045666b1c8fb85764a1c15c8c07dd","datavalue":{"value":{"entity-type":"item","numeric-id":733755,"id":"Q733755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$9A554092-B73B-4C40-9DDE-7025840F115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b849fc75ed7fe9d6284e0d254f59b60a5d84075","datavalue":{"value":{"entity-type":"item","numeric-id":1946670,"id":"Q1946670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$0B4E6FFC-DF60-44BB-B4D3-406E31E68A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d7796a9b3e131aac07b33bc92ec2406e0782d0b","datavalue":{"value":{"entity-type":"item","numeric-id":3455774,"id":"Q3455774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$121622A6-EEDC-4DA0-A95C-95B5650E3C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$0EB8948D-ABE8-4213-93A1-5E2B6DF478B8","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":"Q1744450$4DA1348A-50E5-4FA8-A33E-27DE1282418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$15A31703-5AE7-4AD9-B2BF-94CBDE0E0440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$1B19448D-30F7-4169-8F67-0DA18D0E12A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc5bc94b1e23a5cf2156ab50f5121b1ef748895","datavalue":{"value":{"entity-type":"item","numeric-id":5717439,"id":"Q5717439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$3F2CDB04-B58D-48B2-BBB5-946A6E8D70F9","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":"Q1744450$841BBB69-3E68-402D-8DBF-2F78AAA17E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$FCE5D9AC-742A-49AB-B1D6-687EBA46528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e6db951320bd1c7b0775a2451dffe951bf68e0","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1744450$F093A469-9537-4322-A3C7-9EBFA7C6F555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9771e7167059bf3e8d437f74211a6ad4036590cb","datavalue":{"value":"10.1016/J.ENTCS.2017.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1744450$564F5325-4A30-42F0-9848-6A073A98E67D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5e5bc64f21c8eb993f33e317008334b7b05469d","datavalue":{"value":{"entity-type":"item","numeric-id":1853586,"id":"Q1853586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"650c48388dc1b4c06a1d30bc6bc7c1cfe3e5e6e2","datavalue":{"value":{"amount":"+0.9247084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$E9F4602F-A6FB-46F2-B8B9-2110BAEE49CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a29b791dbe6cfa8c91fbbed75638f4970821169b","datavalue":{"value":{"amount":"+0.91800034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$058AA6C4-42BC-407E-8364-D24D75FE716E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32b52b890713a85dc8526942cd502cf31ef6c05","datavalue":{"value":{"entity-type":"item","numeric-id":3010334,"id":"Q3010334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d9bb53659dfbac7187a02707517f028c231cdb","datavalue":{"value":{"amount":"+0.9150784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$46EDF25C-64BC-4353-84D6-FFB1D48DB332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24f5a0aa81fdeda03ebc6f5253102881119a9e78","datavalue":{"value":{"entity-type":"item","numeric-id":4490747,"id":"Q4490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3830c25451fbfce98b52a83e64cf7ff0eec04079","datavalue":{"value":{"amount":"+0.9148482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$4BB7AABF-CB70-434B-9041-77F77AFFB882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051541e41ae38fb1815130930f93535b43f16b39","datavalue":{"value":{"entity-type":"item","numeric-id":4635798,"id":"Q4635798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b18dc34c0167d1a2c79d49c0592ff910415733d","datavalue":{"value":{"amount":"+0.9116585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$BEDC60BE-19D2-49A6-B862-685199D9FB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8879b0096f1db01355cf0fa533faf565b4888c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2467219,"id":"Q2467219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea6e632c003182f9ad4bfdd172936cd1da433a8","datavalue":{"value":{"amount":"+0.907263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$734BFDCA-11C9-4527-BFC8-ED8890A60B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2744d86c32bc6fdeb25ff3ca1a3bf19e4b7bfd32","datavalue":{"value":{"entity-type":"item","numeric-id":3094164,"id":"Q3094164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79c6c1df76a0d95a4b5e02793ff8e7d3a35b8232","datavalue":{"value":{"amount":"+0.9064609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$1EC34952-75CB-4A40-8EFB-2B7AB333F2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2646aba0b8c3ecbc33a5d46a375d4e50a1741ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e0e2c8ce07f8a33c5f5fb472a4765278c5d3693","datavalue":{"value":{"amount":"+0.90576065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$083E825D-BAF2-4CA2-8049-949B59BD79FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad432a7c4c937f3e7513e7461c48d27a05f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":4952053,"id":"Q4952053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32fdbf98c8aab87cdbeaaf09fafd630a507693e8","datavalue":{"value":{"amount":"+0.90030307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$9D53906D-BC5E-41AA-89DF-7EC4AD14AF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fd494de96833099f662937937c854534bb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51fe5eb8d3c7f82619c38cc00626b8636f02bd92","datavalue":{"value":{"amount":"+0.8988995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1744450$8C3D73C5-092D-4D4F-B647-353E812EDE80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The polarized \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_polarized_%5C(%5Clambda%5C)-calculus"}}}}}