{"entities":{"Q4948037":{"pageid":6977619,"ns":120,"title":"Item:Q4948037","lastrevid":40694265,"modified":"2025-04-04T09:31:17Z","type":"item","id":"Q4948037","labels":{"en":{"language":"en","value":"Lambda terms for natural deduction,  sequent calculus and cut elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1436067"}},"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":"Q4948037$F5A0833C-08BC-4D98-A61F-1EB2A2DFCCAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aaa9d6d226f2006a53d27aca2a72975429cb5c3a","datavalue":{"value":{"text":"Lambda terms for natural deduction,  sequent calculus and cut elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948037$ECB3ADC3-B6E2-47BD-9C77-F952907C86A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"936f332bbd343187fdd356fee616345567c0b302","datavalue":{"value":"0949.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$431233F9-3D09-4E6E-9B8A-2B76EE56C1D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db09fa7e00c2cc4bfdeee3ae38e7cd72bb9bd1f6","datavalue":{"value":"10.1017/S0956796899003524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$059BB3A2-F2F6-4CF4-9BE5-F2643790B71B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948037$AC46C009-562D-4AA9-B713-60C582172BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948037$B360FF7B-68B3-430C-B5B7-13BA5B4B614D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948037$A35D0C0E-1CFC-4779-87D3-F7CDD5F9BFBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948037$F067A839-E3B8-456A-8E0F-4CB979B0B7B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$7AF4496A-A29A-4759-BB5D-2B2BBBD35BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$8656E2A1-EC0F-41C8-A7DD-45F95165108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$9477C293-D6C6-4D0D-BDF9-C8700314B7DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b4e02434d5def926e70320179de9137dd9180ee","datavalue":{"value":"1436067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948037$2C78F4A4-2192-4EE1-8D76-9C9E079A0E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed6670a7a08a1738bf40b63a892a8b2f499f362","datavalue":{"value":"natural deduction derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$6F2492A8-F619-4104-90C0-435D65D83FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0734b6e890333707bf2d08691bcdad0aa0463a93","datavalue":{"value":"typed lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$DCF38472-DA85-42E1-8AB6-E978D4661F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8f835f2109f68197dcd28583d6853fa0ff3637","datavalue":{"value":"sequent calculus derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$CCFAC5E8-7FF7-4A74-B83F-66AB6BB6A37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81d786bfa1a0788b7fd7bd0dcf7f377c6b17a93e","datavalue":{"value":"untyped lambda terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$68326023-85C8-45B5-9B65-298E997EBE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde25d90c8148f0723132db8378f9ef6b06f2470","datavalue":{"value":"type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$1DFC2D2F-EFB5-4A6C-A818-2D7001EF929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$A7A5295A-39B5-4382-BEAE-F82476E8F918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948037$5C574C06-C20E-45C3-9E81-4E13C1DE00A6","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":"Q4948037$ABBF7D87-1C64-4390-8364-CF5D70E51C00","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc128b3765315f4bde23200628156e28f24084f","datavalue":{"value":{"entity-type":"item","numeric-id":1577345,"id":"Q1577345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31053ea0a4ee1af96e03d4ba77df0cd574553ce6","datavalue":{"value":{"amount":"+0.93612576","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$CB8EBCE5-9B98-490A-85A0-E1FC1C573C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5071a321d9ad45c10f41a9a40976a18b7f80a197","datavalue":{"value":{"entity-type":"item","numeric-id":4794047,"id":"Q4794047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b8c694f5cc1b2a2e6a3e21eadc2bf39eb256272","datavalue":{"value":{"amount":"+0.91981506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$01EF3A5A-70D7-4D59-B1B1-A358A46E54F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c1a4eb9c1eae4661ad490d6b1c40714c345869","datavalue":{"value":{"entity-type":"item","numeric-id":3520236,"id":"Q3520236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de128a65b97299464f358f592d3239498930c84","datavalue":{"value":{"amount":"+0.9028962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$5599D134-E79B-4CB1-A3A3-0A8F2F81FA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0588fa81d050cdfd9c6444384081d8916c34387d","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ef0886fd8ec2c3f6e4fc9bccedcd877756be05","datavalue":{"value":{"amount":"+0.89190257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$D416528A-A31F-4B57-9EB3-61CB7F1256A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11211ac4a3b105cb0af75b9eaea63a481a76be1","datavalue":{"value":{"entity-type":"item","numeric-id":1378432,"id":"Q1378432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780b4be0ef1bb792bb6476ff2bda8e64694df35e","datavalue":{"value":{"amount":"+0.8910446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$4B6FBA94-79D5-4168-889B-8D532E1E3927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01c7e0bbcbef3879468c0f1b7b9e44d3104aa084","datavalue":{"value":{"entity-type":"item","numeric-id":4443208,"id":"Q4443208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82eccdd279b61b46f17cc8eebefac5bd749db140","datavalue":{"value":{"amount":"+0.88898814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$79DE75CA-5A59-4118-A46C-B79624F7C021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29b19a0927d96908658ea5e6d1c723a2f71a6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3406453,"id":"Q3406453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cda67f61f2279fc4d046073a3ef53e5741f489","datavalue":{"value":{"amount":"+0.88521147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$46C1564A-7BC4-44CE-9198-88D9D4083168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31ecd5f0f936f1627b9b3961afe3757d7381b62","datavalue":{"value":{"entity-type":"item","numeric-id":3797160,"id":"Q3797160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f752ae7f7a9e0e1f33ceae25e99170a1145d8e","datavalue":{"value":{"amount":"+0.8844236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$D84D0D28-4BC5-4E00-9516-AAE03E83A4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3bbd71e7cfd351da60e595e1ef3fa6222ef6892","datavalue":{"value":{"entity-type":"item","numeric-id":4934238,"id":"Q4934238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59b6c18c39f0190bad7c9889e995a7cdcc21c27","datavalue":{"value":{"amount":"+0.88224304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$1067EC84-969F-4826-9D8F-50F34AB290AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffab1ec510f63ff1e2a9542c3c3be4322ba4905","datavalue":{"value":{"entity-type":"item","numeric-id":5704011,"id":"Q5704011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228d814fb4a22a052fea0d589dbb613605225bd6","datavalue":{"value":{"amount":"+0.8822262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4948037$2DB79FE1-563F-4A44-90D3-1A732AD0FCF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4948037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4948037"}}}}}