{"entities":{"Q2842832":{"pageid":2853552,"ns":120,"title":"Item:Q2842832","lastrevid":51801824,"modified":"2026-01-20T03:01:27Z","type":"item","id":"Q2842832","labels":{"en":{"language":"en","value":"Strongly normalising cut-elimination with strict intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199138"}},"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":"Q2842832$4F11BB27-FEF9-4BD0-B14F-450101F8C21D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d086d92918fc5a76d85ca8561fece147275ad4c1","datavalue":{"value":"1270.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$9920F025-5E1F-4248-83CB-BFE84C9181E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"392b96e53537923e2e8c135efa78df4a425ca801","datavalue":{"value":"10.1016/S1571-0661(04)80488-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$2D4B0B73-6122-48D2-98D7-9C86C032F70A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$5350519C-2151-4FFB-BF8D-945AAD3B2ACE","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":"Q2842832$CE92A762-908E-4DF9-A19B-21B562504877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-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":"Q2842832$7D5B27A7-9A70-4EE5-81FA-AF6440B30524","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$CFB9DBE1-81AA-450A-AA23-46ACE745FDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$1DEFA5C1-0770-4E7D-9450-AC46EE62CD51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4bfd5eb32ecd8af1fc255cd19d95643df339832","datavalue":{"value":"6199138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$4A26CA35-4EF5-4FB1-AA20-6FFE735AB805","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842832$A8B9DFC4-9202-476E-A19A-E5FCA4568EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842832$D95106CE-B6A7-4A0D-8CD8-CDC0122B3023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fff3daa6b086694c55852bba8bd5c80a37742fb","datavalue":{"value":"terminatin","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842832$B3704C22-5D63-40A3-BC1E-E73D1B080D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2842832$839441EA-083C-45B6-88D6-652C9A2ED70A","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":"Q2842832$288C90FD-762A-48F7-B70E-795F847E083F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$451CAA2F-8CBA-4F0B-8C87-65F9C9304F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$91DC9EAA-5997-4B77-BB60-432E633A1EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9525208433293d8f84c67628b9783ad9147eaf94","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$25D836CD-8169-471D-8749-C8E3CAFBF098","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":"Q2842832$50DFF0B1-8EFD-4B7B-A853-543E52943606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$DE154BBE-3969-4FC8-8915-F0231D285FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$65ECC45B-F2D0-448C-8954-D7F23A35D623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$CA2E6B85-0CE4-4A2A-A908-CAAE850B3515","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":"Q2842832$D226E864-68FA-4BCC-B0BD-E925F7AE21A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$EBD47E66-0109-40AB-8A42-74875EC2316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$5AB22FD9-1361-4F30-880F-E9CAED454C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$67D0BDA1-FEA4-42BB-80E9-9984EF3F76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842832$26E55953-5695-4EC9-9CC2-20CC73D8B698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25c111e37dfcfb0a3353a74fdaa32118d7c6492b","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80488-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842832$6B4B0EB5-E2A8-4319-A885-7808EBF8AFCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c68f598d87acb82dbdab52f439bbfea71e7fcceb","datavalue":{"value":"W2035637503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842832$DA914163-FCF7-4F12-8C54-DBBE20236759","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff6949a708a447465a47a8061d9336a920253595","datavalue":{"value":{"text":"Strongly normalising cut-elimination with strict intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842832$2215EEDF-C991-46BE-8CEB-73504416FA1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e7042bef4bfdb633cd69118845dd209ab9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bad8daf643f85058b8ba1213f4e44ac77a4ebcf5","datavalue":{"value":{"amount":"+0.958409070968628","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":"Q2842832$A9165A83-456F-4D1F-AB62-B5C933C06D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e530fe84338be83e5e1218a266af0666559ac65","datavalue":{"value":{"entity-type":"item","numeric-id":930869,"id":"Q930869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8137586d206d23b2181282a3891c97a6d2eb199d","datavalue":{"value":{"amount":"+0.8575835824012756","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":"Q2842832$8315E13A-14BF-47F7-A9BB-5E7545175FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdadb6450071ea39a8c8def87c4a7b58e9fa9539","datavalue":{"value":{"entity-type":"item","numeric-id":4608725,"id":"Q4608725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"319ebf4307281eec081f857bff17f8cc9a960216","datavalue":{"value":{"amount":"+0.820515513420105","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":"Q2842832$4E4B1C8C-1EEE-438E-92B0-DEEACA44F421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9232e944115a14c1f6da928345eddef7adf9db8","datavalue":{"value":{"amount":"+0.820364773273468","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":"Q2842832$0CE3450B-0463-4ADA-ADA8-94481A6AF367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ed6f945d293bc8328789ca760cebe25aa36087","datavalue":{"value":{"amount":"+0.8174495100975037","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":"Q2842832$290616AC-5CF8-43B9-93B4-2D9BACCF27AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842832"}}}}}