{"entities":{"Q1772771":{"pageid":1783513,"ns":120,"title":"Item:Q1772771","lastrevid":48467995,"modified":"2026-01-04T22:12:34Z","type":"item","id":"Q1772771","labels":{"en":{"language":"en","value":"Continuous normalization for the lambda-calculus and G\u00f6del's T"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2160241"}},"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":"Q1772771$BB1ECDA4-64E8-4D3D-B0EC-C9BDB1EDE235","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d11a95a42544bce4102085f87681e8d2d8851e45","datavalue":{"value":{"text":"Continuous normalization for the lambda-calculus and G\u00f6del's T","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1772771$5615078C-E9FD-44BF-956D-58853C304FE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07169c7e14c9737e6c4f89799f7da2c6149dc917","datavalue":{"value":"1066.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$6CE47A79-846E-433D-A315-8B38C4A5B9C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb8c6d7991f5202e4a9f96d80547d6992e4ea57","datavalue":{"value":{"entity-type":"item","numeric-id":636309,"id":"Q636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$65E06BF1-6E3A-444F-93EA-35EB668AE955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f016e1c2cc793035f3ba310dd78d5b56ab24db","datavalue":{"value":{"entity-type":"item","numeric-id":1407577,"id":"Q1407577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$018072C8-64EF-4D69-BE61-7D8CF01A76BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$F956FD18-4A8B-4478-8222-4FF46A41ECEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7ac129396c8451784f7291bf0c9d0937a6cf439","datavalue":{"value":{"time":"+2005-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1772771$4FA24BDC-AA2B-41DE-A747-00C9DCB5033B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6467a445c84a66b3cf8d962c4279ac76d2f811c5","datavalue":{"value":"Continuous normalization of derivations, introduced by the reviewer and developed by W. Buchholz, is used here in the situation where non-well founded (proof) figures make more sense than for logical formulas. Untyped lambda calculus has a lot of uses for infinite trees, for example B\u00f6hm trees. The authors develop continuous normalization for typed and untyped \\(\\lambda\\)-calculus, as well as for G\u00f6del's T and obtain some interesting new results as well as new proofs of known results. An extensive and sometimes unexplained use of co-recursive and co-inductive notation makes definitions and proofs shorter but more difficult to read.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$E57CF682-809C-4627-8D2E-9CD32C6CB58A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$D2861C4E-4F81-4D3D-8CF1-8DB256B06008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$B35BE9A2-8BD0-482C-8343-25ECE0EEED4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f02d411d4d322af4d2c36b46626c513f406046c","datavalue":{"value":"2160241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$1296CD41-A039-4E00-B466-5077D63A3AB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53c523c7653adae86a9993bd7ecc35ca5938aed2","datavalue":{"value":"Continuous normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$47F4705D-E423-4FB9-9299-8A45B979542C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$AE77013F-7ABD-4EB4-B350-FF6DC113A81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$67CCCE47-485E-4967-8BB1-A10D0922EF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f94befc4da5be7071619b0f9b036e4cc4809cf2d","datavalue":{"value":"Length of reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$D35A2DFC-53FA-49BC-947C-8B67D1414001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed120223a206942093c7e64609cd02c7599ca86","datavalue":{"value":"Size of normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$955C541A-79DA-462C-B2A7-87DD01DDA142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bfb0105f303c271df0648fdbc81e8654c82472d","datavalue":{"value":"Cut elimination and \\(\\beta\\)-reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$670AF8F0-1837-4F70-BF07-6C26848EA61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468019f5ee0d44c89b0171c3e2d4ed3cb3bada8e","datavalue":{"value":"\\(\\omega\\)-rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$BD8F8DC1-8872-425C-816D-3E88FDCB4131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7555859ae20fdaa5ecc81828fcb5d97eb98312c1","datavalue":{"value":"G\u00f6del's T","type":"string"},"datatype":"string"},"type":"statement","id":"Q1772771$BC529B33-04A3-48F2-9C03-36001E550134","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$301A75A7-34F9-4B05-A2DC-0836531C1040","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":"Q1772771$88DBC121-AFC9-4FCD-AC61-E2291073D5DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36aa2972f74709f9730faaed81606ec190dd5807","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1772771$A800EDFD-DDF4-4035-84C2-811DEEF3FF31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4aad9accea523700c69edc4c9e5cdfd4cb548176","datavalue":{"value":"W2024515723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$6B234B55-A188-4478-97BD-AFEB7FA647EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c297cceb6694553b86f2e0bf5eeb4c9b20f57b6","datavalue":{"value":{"entity-type":"item","numeric-id":4411815,"id":"Q4411815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$54914401-1212-4DDD-97B9-672C98A894A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db641df6040a1f12d84299126da223d00ffc4","datavalue":{"value":{"entity-type":"item","numeric-id":2758058,"id":"Q2758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$9220C730-74BD-405E-9690-96FB27D9D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0a3185357d581fdaea13e5e4413bc4de1451a7","datavalue":{"value":{"entity-type":"item","numeric-id":4521126,"id":"Q4521126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$4DB7015A-37FA-450B-8110-C9216342E551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc23233d37a7b707fdf4001c24c05adf785fcdc7","datavalue":{"value":{"entity-type":"item","numeric-id":2277451,"id":"Q2277451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$B0A075DB-2860-4F1C-A9A5-5F54FF81D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$E21B5A8F-FE15-45A1-A9DE-0858D190AD72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$DD6EDD5B-A897-4178-A444-78A54689E654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd9576338827d40c826493529bf493d7115819","datavalue":{"value":{"entity-type":"item","numeric-id":1884931,"id":"Q1884931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$4CA36627-6EE9-42E1-85C5-8B2AFC8A9AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81571db0d6266591d799a7e53da1e27f57a8ee43","datavalue":{"value":{"entity-type":"item","numeric-id":4552763,"id":"Q4552763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$849208CA-B712-411E-8988-F6A9DDE97A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff5899cb10d4648638b85deb045e4421cf26463","datavalue":{"value":{"entity-type":"item","numeric-id":2723897,"id":"Q2723897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$74D92CA5-4265-4609-8C18-1250F8BB66E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe478b1c9e3755ecb4683bf76c070eb4413865c0","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$862D62E7-D2DF-48A7-92FF-42BEA8D7B25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc20c39e0b33b874af0982ebf6bc1d64db55ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4079564,"id":"Q4079564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$6FF4845C-69D6-4838-B1D8-D6F5B000A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aebc943ac5d24a22afb75bda069005d466a4e98","datavalue":{"value":{"entity-type":"item","numeric-id":4088793,"id":"Q4088793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$0D524615-48F7-4DBB-8B28-350613D75D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f21ae813780ffb1b14b622d2c99e2bf7de1d2","datavalue":{"value":{"entity-type":"item","numeric-id":1254248,"id":"Q1254248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$DE9AF5BE-2C88-49DA-8E10-2F7E8CB031E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b457da286f9c5b2137a24a291ef4064e767ff24","datavalue":{"value":{"entity-type":"item","numeric-id":3708018,"id":"Q3708018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$E499BA45-2FE1-4FF3-AB6F-55638A69ABC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$34846884-16A7-4B81-8023-18DAF00AC8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b34a3bbe6833c1249dbe3ebbfcdb81d97201d76","datavalue":{"value":{"entity-type":"item","numeric-id":2649136,"id":"Q2649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$BB18FEA8-84AE-48BE-9B54-EF44B0E3A476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$AB7F6696-96D5-4CFA-B535-783A31E9302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919497f758d4946d9319398d358bf721e460afad","datavalue":{"value":{"entity-type":"item","numeric-id":1295405,"id":"Q1295405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$4D69C0F2-C3D9-4E6D-9B60-52B42B4B9E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$6F2A51BB-9578-462C-B904-D7403D490080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96402c587e01419c67cf21e59f14d59551744da5","datavalue":{"value":{"entity-type":"item","numeric-id":1374676,"id":"Q1374676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1772771$573360F1-6F51-4ADB-A665-D16E0A517A27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccc9b2edfdb62f89d143799071b9bfa2d9fb4767","datavalue":{"value":"10.1016/J.APAL.2004.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1772771$3DC10D9F-FDF9-4E77-A49D-10683DA88BA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3bf76a5d38859b6d5c79c9313c665099b16fae1","datavalue":{"value":{"entity-type":"item","numeric-id":4411815,"id":"Q4411815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a665031b2973cae82695b2d99b3874eacba26ff2","datavalue":{"value":{"amount":"+0.8400219082832336","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":"Q1772771$C7546A80-0990-4B22-8BE6-28A09C2314AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556c8726a188eeae301e8607b42a864399253dd4","datavalue":{"value":{"entity-type":"item","numeric-id":5300892,"id":"Q5300892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a665031b2973cae82695b2d99b3874eacba26ff2","datavalue":{"value":{"amount":"+0.8400219082832336","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":"Q1772771$4A7F5A7A-85F7-46EB-A9D0-F9D5B5240411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888ba22f80695c26bbe63d48f54c61452f5d569a","datavalue":{"value":{"amount":"+0.7792573571205139","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":"Q1772771$8D634BA4-7698-440D-ADEF-D5E6F9A95AAE","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":"201dd8850a6a3ae57d12d1c70680c64bb3686683","datavalue":{"value":{"amount":"+0.7763785719871521","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":"Q1772771$389A3F44-EC02-4F0E-8A18-68128ABE5B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19095695d51e2717ea9a5b5b5543a588beae2a57","datavalue":{"value":{"entity-type":"item","numeric-id":1407578,"id":"Q1407578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b7bb3f6f1b179406d4505e66c2b3b5d84be84f","datavalue":{"value":{"amount":"+0.7757217884063721","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":"Q1772771$409352DF-77E9-4EF9-80F4-49F18EFCDEA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1772771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1772771"}}}}}