{"entities":{"Q558418":{"pageid":560185,"ns":120,"title":"Item:Q558418","lastrevid":62791359,"modified":"2026-04-11T08:28:30Z","type":"item","id":"Q558418","labels":{"en":{"language":"en","value":"Cut-elimination in the strict intersection type assignment system is strongly normalizing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186735"}},"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":"Q558418$539BB9B5-BD7A-4C46-8D89-C0B5EB1C8AC3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d5ad1b5eaf69321272ec441999f27330278a964","datavalue":{"value":{"text":"Cut-elimination in the strict intersection type assignment system is strongly normalizing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q558418$CD4DB6E7-6EEC-4E67-8B86-0BF2A74B0924","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4df15069a4f46fec5ae5d7e41e40d1ee724f1a2","datavalue":{"value":"1095.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$7F90A17F-2042-4D72-90C3-29D87B80107D","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":"Q558418$B9D1C4F4-D5CB-4747-A539-E547B1FDE85A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$DF43979E-969B-4294-8C93-C69F5AB599C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d534db28ae973e6f24a412d6a3412c3450938e4e","datavalue":{"value":{"time":"+2005-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q558418$9CB75055-A7B3-4D2A-BCB8-129768565994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$EEFA842F-53E8-4AE5-B657-B298636D21A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$CFB21B2E-5DBA-45B7-807D-EBBED00B24A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$20B370FA-3A90-43C4-861F-225DD397B27D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"338fc1d798f2887d3f60f394573ac4e61c9fb527","datavalue":{"value":"2186735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$D0423D2A-1920-4C25-992B-9769EC79C0A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$83E69BDB-C206-415C-A20B-8B15AE185DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$460D024F-3F58-4AFC-ABAE-FF6DD1047872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$4F98B8D2-4ADE-40AC-AC26-06C2E182EFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$9AF8A3A4-014C-44F6-AFB4-99863DA781F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"897effdc5f2de7ce2cc97a486be83314a1422c9e","datavalue":{"value":"approximation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$1A60EDB8-CFD0-4127-A8EE-55344E52B50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q558418$976C7B85-A2EF-4D6E-93F4-5B192036D069","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":"Q558418$C98CAAC6-64FF-4F5A-A98A-B2833B0AE42D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9dc39468f7c43ea874588225a6974e5912b9e6d8","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1094155278","type":"string"},"datatype":"url"},"type":"statement","id":"Q558418$767997BD-0E93-4ACC-A758-C11073235E42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11df49888180d9ac1dc53a1aec9e33a32e168ffe","datavalue":{"value":"W2093271301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$AAF66841-45FB-4255-B60D-9E1CBBF08490","rank":"normal"}],"P223":[{"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":"Q558418$DA4F9FCC-62B0-4B56-9E6B-333224B9D20A","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":"Q558418$CAD644FC-FC12-42B3-AE7F-407AFFD61DFF","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":"Q558418$1704285B-9257-4F52-900F-DD645D278EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$F6CFCEEF-0D62-4C5E-B4B6-A8020BB5F092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$A866AB3F-9ED1-4476-9932-B9488CB10049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$F0FCAD3B-11EA-4989-A51D-B2455B33B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fe6ef182a4ff0319b239f7858e5d58b9649060","datavalue":{"value":{"entity-type":"item","numeric-id":2752528,"id":"Q2752528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$B4B841E7-2755-4AC3-BC50-6964400D9910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9922389f27ed3bfb04bfaea5e36e68a955b95f38","datavalue":{"value":{"entity-type":"item","numeric-id":1089331,"id":"Q1089331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$35F41571-5A72-4769-AD8A-6F70552D3EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc803507d3b7d093957d2109e59f1a91bbe771d","datavalue":{"value":{"entity-type":"item","numeric-id":1430899,"id":"Q1430899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$5A007D7B-5AE4-4D57-AB80-4C4F94900549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa8b780787a7fd83db6264a06a4d754a328b9de","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$198B9287-DBC9-450A-B9CB-CC2881E9EA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25baa08322ea0dfa6c2c2f29991332cfbea29ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$C081DB37-8500-45D2-B2B8-28554F47564E","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":"Q558418$5161F270-8349-479B-9560-40A3CFBD9942","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":"Q558418$A97CD496-69E2-4BB0-AAFE-024833052237","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":"Q558418$1C9EFEF5-E906-4522-88A4-E887F50E15EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f416b5bcfc200e5c8ed939a8affe19aff4a5498","datavalue":{"value":{"entity-type":"item","numeric-id":1110311,"id":"Q1110311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$5485B537-98AE-4E66-BF65-501B2EF101BD","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":"Q558418$DAC820C2-B929-49B0-8F91-C20E8E6BCF23","rank":"normal"},{"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":"Q558418$CAE2228A-4107-48F6-BDA9-7484918AB91A","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":"Q558418$FB768A95-7B66-43B4-B264-65A1F30E9638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637b4f2a729a134157b51f1c637b98dca799b4d1","datavalue":{"value":{"entity-type":"item","numeric-id":2842832,"id":"Q2842832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$74CBF7CB-758E-46B1-96F4-91583F4E3FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e22932123c324b23cca1a5eaa4fe490d1792e0","datavalue":{"value":{"entity-type":"item","numeric-id":5958291,"id":"Q5958291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$517F1D4B-7E71-43EE-93C5-80078A0ED0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292d870f12e355474bf9214ae78d651a3a247134","datavalue":{"value":{"entity-type":"item","numeric-id":3044339,"id":"Q3044339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$DD2CA571-93FC-41B3-AC7A-303975AFB4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ccdeea0efe5c71859ba41af585d6b409ea68c9","datavalue":{"value":{"entity-type":"item","numeric-id":1853619,"id":"Q1853619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$2AEDC943-E24E-4EB9-A0F9-C0270FAFFCB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adc840107dd24ff876316ba1c1e8a174236053f","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q558418$81106542-CEED-41B8-8E7B-42B50B2A11BE","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":"Q558418$0DAE3C6A-97FD-484A-8A97-4F4909A47A54","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0944cc87fad76cf550d4d169b7cdcd12def4f8","datavalue":{"value":"10.1305/NDJFL/1094155278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q558418$B6B2EA9D-53C3-4E5B-AF07-9E4680D34BC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a609ae220d0a546b34a117528a953137cc7925e","datavalue":{"value":{"entity-type":"item","numeric-id":2842832,"id":"Q2842832"},"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":"Q558418$25CD082C-9A1C-4FD6-B9CE-3FAF32BEE88E","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":"05b49a29169d8f1af6d34c509798e34d0ce017bc","datavalue":{"value":{"amount":"+0.8204271197319031","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":"Q558418$50406E41-DA3A-4534-BD3A-14CC0BC87939","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":"390584ca825a0f9fed06fdf24d76cc8aa799919a","datavalue":{"value":{"amount":"+0.8058325052261353","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":"Q558418$DAF45953-A979-47A5-8A53-008CD5F68F83","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":"646e178090146acac0b87922f4f098886010188d","datavalue":{"value":{"amount":"+0.8038648366928101","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":"Q558418$7148832B-BC5F-4C62-8385-00631965B4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9384069ae871c568c6c318716d8d318d62599b21","datavalue":{"value":{"amount":"+0.7915751934051514","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":"Q558418$E8B921DE-2BD6-461D-814F-83EB944E5D81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-elimination in the strict intersection type assignment system is strongly normalizing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-elimination_in_the_strict_intersection_type_assignment_system_is_strongly_normalizing"}}}}}