{"entities":{"Q1357009":{"pageid":1367748,"ns":120,"title":"Item:Q1357009","lastrevid":68701029,"modified":"2026-04-13T01:31:54Z","type":"item","id":"Q1357009","labels":{"en":{"language":"en","value":"Strong normalization from weak normalization in typed \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022244"}},"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":"Q1357009$1B497402-20AF-47A8-9146-5B025CD524DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d37f92994416837c87f59d4eefb9166a4a08ba98","datavalue":{"value":{"text":"Strong normalization from weak normalization in typed \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1357009$9BECDFE6-24F2-40F0-96D0-03B4CEA7912B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93e2c0088cd8bb36613a004d34f5b49e5881c1d9","datavalue":{"value":"0878.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$61122BAB-A118-47A7-A9AF-37D410832619","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$B1AB0289-1722-4DF6-8D7F-4DACC4B53008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7f698c37f69131ca3e74780b74cfde879d75395","datavalue":{"value":{"time":"+1997-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1357009$8278070D-BD83-429A-8E38-C010EF9DE51B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"110229207f934b4b58ff2b1ea04c73f1578c7533","datavalue":{"value":"For some typed \\(\\lambda\\)-calculi it is easier to prove weak normalization than strong normalization. Techniques to infer the latter from the former have been invented but they infer strong normalization of one notion of reduction from weak normalization of a more complicated notion of reduction. The paper presents a new technique to infer strong normalization from weak normalization of the same notion of reduction. This is demonstrated by examples including System F.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357009$641303C3-99D9-408E-9108-04A0644BF575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$FB84AFE7-9F2C-412E-A3DC-F9B52D856AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$86A69398-BC03-4E38-A752-0D6B3F4E5536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeda5f5500f761ca0a66e2d62e70d43aa63dea8a","datavalue":{"value":"1022244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$F54068CE-FAC9-45EF-9C66-9336368D3C7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357009$41C789B9-E945-43D6-A860-90F3398A2235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357009$FA807E9B-B76D-48A1-BC71-67ADF8D2ACB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357009$4972D3E1-5E74-42D5-9BD9-DEED5BC44FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33fd81627acd56a240fde0d4d7060d89e19d0782","datavalue":{"value":"System F","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357009$CAB98141-06FC-41A9-8CA2-349FFE7EA310","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$3FB8A46B-7859-46A2-83E5-EC226C63A21C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$EE1FE932-4DCA-481C-A4D2-DA4FE0CB5969","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":"Q1357009$683965F0-487A-40B1-B801-CEA1326C1AE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"385a63ed187dbc7a56ac3c328c54960a07a572b4","datavalue":{"value":"https://doi.org/10.1006/inco.1996.2622","type":"string"},"datatype":"url"},"type":"statement","id":"Q1357009$6B18E567-B9B2-4D5C-9A07-D87C7FE76021","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ccc27d4ad023eb80332abd65c39b83af7bca1e4","datavalue":{"value":"W2044297003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$7B98851F-FAC0-48E9-B97A-17852F40DC14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ff5d819d7b87fc96425d66dc0c9a0ecab05cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4222771,"id":"Q4222771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$D50FEBEB-F68B-46BD-946B-93685BDC98B0","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":"Q1357009$851B526A-5B93-4C0E-9A7D-5B0CDADC12AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed5b14a086787bebc35634de251ea7dadb5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4762953,"id":"Q4762953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$4E945EFC-BC1A-4CF1-9099-9E48FC8FC19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c57e9f0092911fb0b52bb8fa22accb8a748c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3674616,"id":"Q3674616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$9FD125E7-6F33-4E95-A9B6-96B4B1ABD96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10774e8d02830db876d904c079b5a73474490ce0","datavalue":{"value":{"entity-type":"item","numeric-id":1917101,"id":"Q1917101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$0E875345-5773-414A-894B-BC5784C7EDB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b0a30febc9fafd0aaf6f91ea1821651d55077e","datavalue":{"value":{"entity-type":"item","numeric-id":4764266,"id":"Q4764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$78F38135-3EDA-43F4-A0F0-6BB06FEBFB4C","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":"Q1357009$8101FC54-34FE-4374-B3CE-5E251DA15937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$69C7E68F-AA3B-47FD-8F84-552A168543E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5cf2d41d3bdd3a2e1e9bd55a8cbe561b025c53","datavalue":{"value":{"entity-type":"item","numeric-id":3735687,"id":"Q3735687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$92711BC0-B826-4F86-9609-A9A1331ADC20","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":"Q1357009$7B58198B-3CF7-4832-AF98-31E595D1FDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198c0955dd38fe681759ded191c08e038c6babb4","datavalue":{"value":{"entity-type":"item","numeric-id":1426870,"id":"Q1426870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$DAB0D7C5-571F-4902-B0EC-9E1BFC260A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$B9375D45-47FA-472D-BB5D-791C9E42176D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32abb58c39a4ec8c7a5998cdd99f63bc2359aa7c","datavalue":{"value":{"entity-type":"item","numeric-id":3887455,"id":"Q3887455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$24948BA6-FCC6-4607-A21E-437C47393903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7aa565bdb2a148fd351c269e59a364d9556ee2","datavalue":{"value":{"entity-type":"item","numeric-id":1349674,"id":"Q1349674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$4A241C65-693F-488C-A4B6-A6D423ABE0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$2DE841DE-3953-43B4-A56C-68F49D3F554D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3528791b2d72341145ead8443ceec77b79252da3","datavalue":{"value":{"entity-type":"item","numeric-id":1365680,"id":"Q1365680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$9C8FB5B5-027E-4438-9870-8B11CBF84D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcf81f897a63d71cc9627e7e186f8ab7cb4d955","datavalue":{"value":{"entity-type":"item","numeric-id":3707989,"id":"Q3707989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$ED29DFB1-CCC2-43CE-A9A8-FDFC5029993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7fd6b76c425a1eddd71b188c06c1fb381f0159","datavalue":{"value":{"entity-type":"item","numeric-id":1193590,"id":"Q1193590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$1FD9BEF1-269B-40F4-B9BB-7B2CE012C5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175ce5d5083c8155a0a3300509bae00b5d459802","datavalue":{"value":{"entity-type":"item","numeric-id":4299012,"id":"Q4299012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$89C8C234-43BA-4CBD-9CDA-0957EC9203FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93b9ef61c0084a0591467148bf9b4a4d3b982a9","datavalue":{"value":{"entity-type":"item","numeric-id":4501151,"id":"Q4501151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$2E2108C1-D0DF-4522-9CEA-D060299AC985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a49a46f09ea03b96edc544d188f2b3b21c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":4942642,"id":"Q4942642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$93F8802F-22CA-4423-8590-9E5CB6D5ABBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$8AF977A2-365C-40C2-A4CC-4ED7D5F3A7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050744ad710b2732fc1db2e9f7bd06de890ca43f","datavalue":{"value":{"entity-type":"item","numeric-id":4274979,"id":"Q4274979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$6A710515-C535-4EC7-A781-B95A16AD0EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$627F5F32-DD88-487F-A637-B1B5BCC3F726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d92dc238774fd1c651af2baa062a030c6eec7a","datavalue":{"value":{"entity-type":"item","numeric-id":3680263,"id":"Q3680263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$5845CD44-BB3B-468D-B221-F532EF303965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$57F090B0-CB25-4BFF-AEC0-ED2BDC15D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$F562F7A1-3EA6-46A7-82CC-68089B292CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$D2003834-09B5-4395-96D7-E18C24932669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$4CC51D9D-9C81-4831-B9D5-654546CDD75C","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":"Q1357009$4272BF82-BF66-4161-BAB5-25C0BF30B87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ad066144a6504bc489d20ac28205d89300b341","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$165C3A13-3098-4B6A-BA53-B6E30328E4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"886dee40f42def471a97967ad48c04c047f9b17d","datavalue":{"value":{"entity-type":"item","numeric-id":3322086,"id":"Q3322086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$F15F4EBA-8E5D-40BE-B3BC-1C08C5BC5C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e085c4847c227118c61fb798400661bb25f4681f","datavalue":{"value":{"entity-type":"item","numeric-id":2639840,"id":"Q2639840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$61ADD682-26B9-479E-9E18-2F8DDD65B606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$DBA3D155-8D9F-41C7-94C9-9DBB86381728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fbf07c6f749da016ac999f15f40a7e50020af0","datavalue":{"value":{"entity-type":"item","numeric-id":5878916,"id":"Q5878916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$A8783747-82CD-49EC-B7B8-FA00E759B7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc587412882e37995c3af3beeec45eef8553b13","datavalue":{"value":{"entity-type":"item","numeric-id":4281487,"id":"Q4281487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$924D427D-40A6-4F55-A06F-62689CD9AD86","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":"Q1357009$E22C0372-7E5B-4106-A837-A3D183614EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$7E78412D-0F06-41BC-B070-F7899F62A370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357009$A074E8B1-1B94-4FCA-B683-823E741C72ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13e842695c556ac742c8cf5336df3b85f6b31592","datavalue":{"value":"10.1006/INCO.1996.2622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357009$07E6FCEC-4FEA-4BAE-85F9-725AB6677660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3731b13ffcfcd2791dd812dcf159bf727e2a0f06","datavalue":{"value":{"entity-type":"item","numeric-id":4501146,"id":"Q4501146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecb96fda3bc6754ae2b934e298aa8143731c5f4","datavalue":{"value":{"amount":"+0.9595213","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":"Q1357009$3B7D7D34-091B-4AD5-BD9B-94B7AAA339C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f1896d4af55a7de22770ce3e8705c9fb7bff57","datavalue":{"value":{"entity-type":"item","numeric-id":5292634,"id":"Q5292634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cccdbe12fab39e9c76d85ec3218424cde9ba8c2","datavalue":{"value":{"amount":"+0.9591433","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":"Q1357009$A6943457-93AA-4EDA-8023-E2C37772D138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9445485e73c2efc6d54dbc8fecdefce9e5ef46a","datavalue":{"value":{"entity-type":"item","numeric-id":3024920,"id":"Q3024920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6056e9866a51e30036a9ad4fbc43d873466a43a","datavalue":{"value":{"amount":"+0.9554506","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":"Q1357009$16713082-7B3F-4547-B758-93867B65C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434105c8ed405f81c95f3ebc906d1fb712baaeba","datavalue":{"value":{"entity-type":"item","numeric-id":1426886,"id":"Q1426886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcb302c0f471dd32d1cf2ade8811ed5f05a2387","datavalue":{"value":{"amount":"+0.952533","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":"Q1357009$E702CC35-B196-4C5C-B1AC-AC8458E12422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cea523d31af0a90d90e89810f4a7bae88b6511","datavalue":{"value":{"entity-type":"item","numeric-id":5435199,"id":"Q5435199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a39ac161b3a7458ff6d30fade70e5aa187a646","datavalue":{"value":{"amount":"+0.9498596","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":"Q1357009$24F5525D-48D3-4043-9036-497114D4DB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7e2cfcf9f8ac0233557b6d690d557c3ef22bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871864,"id":"Q2871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d29007de956002e64a81b8db314c8a7c9c7f14c0","datavalue":{"value":{"amount":"+0.94084203","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":"Q1357009$B0A8797D-DA50-4CF4-BE0B-08D02AD1EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd9fb05afa93505174a6c97176992065267693","datavalue":{"value":{"entity-type":"item","numeric-id":2894559,"id":"Q2894559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc700b525ac4a86a09cbd565eb1200778173cfc","datavalue":{"value":{"amount":"+0.93013644","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":"Q1357009$C9D46D74-22D4-4DD0-BE8B-5BF7844CBC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3807dcb7ed967243532e238e81423ccca34c5a49","datavalue":{"value":{"entity-type":"item","numeric-id":1001367,"id":"Q1001367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b49827cb91091ad481a70a87b20d4db44e874b","datavalue":{"value":{"amount":"+0.92959297","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":"Q1357009$20D938E2-57E6-4245-B337-8960D9D45E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba44848112c45188b4bcb33e6101ecb0e15ca16f","datavalue":{"value":{"amount":"+0.92820275","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":"Q1357009$AFDB0042-2797-4C3D-AEBE-EFD5BA74A3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79724a902ef851155de58df4436c9dc71307a9e","datavalue":{"value":{"entity-type":"item","numeric-id":5149155,"id":"Q5149155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6d494ce3d9e788c3ad663dd7abe26f478f9fd96","datavalue":{"value":{"amount":"+0.9277985","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":"Q1357009$1933B87E-01A5-45D1-8CFE-D801B5FA9375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization from weak normalization in typed \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_from_weak_normalization_in_typed_%5C(%5Clambda%5C)-calculi"}}}}}