{"entities":{"Q1426886":{"pageid":1437626,"ns":120,"title":"Item:Q1426886","lastrevid":67419924,"modified":"2026-04-12T17:31:07Z","type":"item","id":"Q1426886","labels":{"en":{"language":"en","value":"Strong normalization from weak normalization by translation into the lambda-I-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057347"}},"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":"Q1426886$801758EE-EDDB-4BF9-A931-52EE498B4BBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"947d6d7d24198f7a7f46974a685479d1785605c1","datavalue":{"value":{"text":"Strong normalization from weak normalization by translation into the lambda-I-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1426886$E9E99505-AF1A-4008-9594-89E6B7376741","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"829e156a728e190cd800a0c71924c356efe71c61","datavalue":{"value":"1074.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426886$4EEB85DF-30A5-42D1-81DE-65ACDBD6A0D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78f8ef8335836b2bfefe757bcb72e0983a89b303","datavalue":{"value":"10.1023/A:1025693307470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426886$457E8250-3722-4B01-8E5B-9CF9DD4C6118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c38be2d927510b18159216bafcbe52ffea34d20f","datavalue":{"value":{"entity-type":"item","numeric-id":294945,"id":"Q294945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426886$E08740DA-1342-468A-89D3-B28E4625A760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd2d63d4f01caf133cdd763e8cc7f784ff89407c","datavalue":{"value":{"entity-type":"item","numeric-id":1426885,"id":"Q1426885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426886$76A9BC84-2206-479C-BD35-23B61A0A853F","rank":"normal"},{"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":"Q1426886$0A2F5CCE-0A3C-4854-B3B5-E7ACE83AC840","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1426886$DB04A426-A0FD-4767-A004-E6440144A5EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1426886$36252754-6E22-4A34-B209-F6277A400923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426886$BCBA17E6-A06B-4E0A-96A6-8467EB42BAE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c70c3bc9fcfc3a2882b45338ecf1d9a635fd7dda","datavalue":{"value":"2057347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426886$826ADC18-67CE-4875-96B5-BECD5C3EAB9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0a1d1d9a88fc1788ccdc0d3e1936d7954c4daf","datavalue":{"value":"lambda-I-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426886$6A7D8322-B626-4C20-89AB-0776FC4BEFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426886$6070EF52-F790-422B-8CE0-1748D4E31A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"601a2dfd63944037c848478d25d0bbe41296aa8f","datavalue":{"value":"functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426886$1FCF73ED-FDC0-4B4D-8813-5501F1792877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09596a93d2c29e615b68a83aff1667e00f32c7ae","datavalue":{"value":"continuation passing style translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426886$450D7D0F-8412-4895-89E2-6D561EC3541F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1102e13861ff2013985107d7bdb0b894d64d5840","datavalue":{"value":"thunkification translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1426886$962226D8-D776-498D-8100-2C5C319C58FB","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":"Q1426886$967E1957-329D-4AEC-8DE5-3028A5606496","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":"Q1426886$353DBBC9-7275-4198-B734-A35823337D86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c66155596ba6bc3d628e856c9a3c6a01c476ccce","datavalue":{"value":"https://doi.org/10.1023/a:1025693307470","type":"string"},"datatype":"url"},"type":"statement","id":"Q1426886$C11E0AED-07DF-4657-AC1F-422721A0FC8C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6b3ff2463fb110b35b2326f87295cf3b9b427be","datavalue":{"value":"W1554512155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1426886$0AC003B0-72E4-4519-9166-2341A9F3B4DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1426886$75943582-D7B7-485F-A2E5-112ED1D49DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c9dabfd933ff635a7a9e4e8a9890f93ed5414a3","datavalue":{"value":{"entity-type":"item","numeric-id":2958535,"id":"Q2958535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ad11a94f2e97d9f3e58720ff2c5b35a99a80fc","datavalue":{"value":{"amount":"+0.9243425","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":"Q1426886$82F25285-B68E-462F-B65D-A637EECE3F02","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":"0d105048161b4c541d89096dd21fad5401151f2a","datavalue":{"value":{"amount":"+0.9241505","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":"Q1426886$945BC4F8-F746-413B-B6D4-2BDA2F060986","rank":"normal"},{"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":"20782a9ece2f57bfdf0a303436f0c3babf4353f1","datavalue":{"value":{"amount":"+0.9235742","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":"Q1426886$241A5374-9A10-4030-869E-FB6665B15A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb8ec8be874d7ffa31a025193401dedc39219192","datavalue":{"value":{"entity-type":"item","numeric-id":5411470,"id":"Q5411470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ce75bb3e24172ce72355a6465d005a9b93d17b","datavalue":{"value":{"amount":"+0.91865766","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":"Q1426886$E053C2E8-3A14-42BF-80EE-8E3BABAEBEB5","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":"19e7720e04e1abc544953d3f95186bc759456354","datavalue":{"value":{"amount":"+0.9160459","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":"Q1426886$7E766053-245D-47DE-87CC-06E221F94FC6","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":"9530dfa4379d39d24deae067f3d5e1be8e540f09","datavalue":{"value":{"amount":"+0.91576934","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":"Q1426886$C2363314-C47D-4C31-AACD-0272BE33EE34","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":"41914da185f460beed18dc9457bbca4cabfddef4","datavalue":{"value":{"amount":"+0.9115733","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":"Q1426886$F349A468-84F4-49FE-92C5-1AAFD083173B","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":"8677a68736402458258ee321aaae6dd5ca7bcabc","datavalue":{"value":{"amount":"+0.9110676","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":"Q1426886$1BB7A542-E85B-48CB-8C7A-9E38E09B80AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee8524167afef8c04160f248cc881339fe6189c","datavalue":{"value":{"entity-type":"item","numeric-id":631760,"id":"Q631760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3308b243862d3a275540459a3b95d7421a8ae18c","datavalue":{"value":{"amount":"+0.9094661","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":"Q1426886$511F1507-A6ED-45D1-B95F-F674779A39DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong normalization from weak normalization by translation into the lambda-I-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_normalization_from_weak_normalization_by_translation_into_the_lambda-I-calculus"}}}}}