{"entities":{"Q1114667":{"pageid":1125416,"ns":120,"title":"Item:Q1114667","lastrevid":49239388,"modified":"2026-01-06T20:12:53Z","type":"item","id":"Q1114667","labels":{"en":{"language":"en","value":"Strictness analysis of the untyped \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083579"}},"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":"Q1114667$98CAF088-6788-477D-AF04-231C0DAE4300","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6aaa27bd387eb6cb4081a847c125d5ea13efabc","datavalue":{"value":{"text":"Strictness analysis of the untyped \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114667$06C9D707-B466-4DC0-A6BF-3AC2CD5595D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afbc97fad8979cfc8b70019de83562834e274483","datavalue":{"value":"0663.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114667$D6E58109-3FC7-4BA2-90B2-30F8A278958F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9901cc81750d8ebe1869ad7cbc3377d3afb9aa2c","datavalue":{"value":"10.1016/0020-0190(88)90156-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114667$19645F7D-B536-4FA7-B3F1-D58553080EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8d91fd0881e6ef6215cd6d50b076c8812b98415","datavalue":{"value":{"entity-type":"item","numeric-id":914356,"id":"Q914356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$1E8F36D3-745D-460D-BBA5-E5B4392F8255","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$BF13AAF0-2729-4640-8571-9CBDF64552F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114667$AA3B4A05-014D-4525-8DC6-26AF7B251B72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d1a6e1acc2fe94da97c08db4024481b13702891","datavalue":{"value":"The author defines ``strictness'' and ``eager evaluation'' over the untyped lambda-calculus as follows: \\({\\mathcal E}\\) is a primitive recursive function that reduces a \\(\\lambda\\)-term to its head normal form (h.n.f.) (if any). Given S a finite set of natural numbers, a closed term M is said to be S-strict if whenever \\(k\\geq \\max (S)\\) and terms \\(N_ 1,...,N_ k\\) are such that if \\(i\\in S\\), \\(N_ i\\) has no h.n.f. then \\(MN_ 1...N_ k\\) has no h.n.f.    If p is a natural number, a closed term M is p-eagerly evaluable if whenever given \\(k>p\\) and terms \\(N_ 1,...,N_ k\\) such that \\(MN_ 1...N_ k\\) has h.n.f. then \\(N_ p\\) also has h.n.f. and \\({\\mathcal E}[MN_ 1N_ 2...N_ k]\\) reduces internally to \\({\\mathcal E}[MN_ 1N_ 2...{\\mathcal E}[N_ p]...[N_ k]].\\)    The following results are proved: A term is \\(\\{\\) \\(k\\}\\)-strict iff it is k-eagerly evaluable. If M is a closed term and \\(M=\\lambda z_ 1...z_ p...z_ kQ_ 1Q_ 2...Q_ n\\), then M is \\(\\{\\) \\(j\\}\\)-strict iff \\(j=k\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114667$64DD3BBF-B316-428B-A725-3F4C968B2FC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114667$48BAAE77-0B5F-4363-8A88-12DDDFA60FDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0db5b47bf4f060d2f338b16a3246a41931965635","datavalue":{"value":"4083579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114667$6A78A606-3115-448E-9648-D38168052305","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561c5651cfff884ba20aac2a45016ca309cb583b","datavalue":{"value":"strictness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114667$2CBC4D3C-015E-40F7-80E0-3A5B4DD61DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e897b8e6f055acb64f481c8df4a48c6b02e98a","datavalue":{"value":"eager evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114667$34E40FD7-C0B9-49A1-830F-55846DEDFFE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28a3d023ed54f1fd6c510b4a4b4bbe4ff857a978","datavalue":{"value":"untyped lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114667$FF410748-2DA7-4BE4-A41B-12260A2BF264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44879bf9e240d04340594e1b6b5c54ddb118567f","datavalue":{"value":"head normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114667$CEC04D64-8407-43BE-8EC8-A15162774A4E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$486262F1-6B0C-464F-BFAA-347E29142FA3","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":"Q1114667$3026C6E3-CF8C-4C91-94B7-7BEA69A96C6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d0ece47174948de584fa695fce5fc70612dd1a6","datavalue":{"value":"https://doi.org/10.1016/0020-0190(88)90156-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1114667$706F162A-C429-4BD9-9CB5-1F14654ECE82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f574301df3bd14d05c10c2fe22eb1bd3cc1ff9c","datavalue":{"value":"W2042043178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114667$2EA9B948-F611-46B9-920F-167EBBE4BD76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$1AB3ADF0-9DCF-4B15-B81F-94CAF49D2A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de880688783f8430991fcd8dea08e941fcd50481","datavalue":{"value":{"entity-type":"item","numeric-id":3729991,"id":"Q3729991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$7B34E85F-7EB6-4590-B075-D154814614EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dccfba157a696355ea793f546eb49959318e628","datavalue":{"value":{"entity-type":"item","numeric-id":3685169,"id":"Q3685169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$397CB171-2C08-4DEF-A38D-847638725802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee11c29f2cd39ec0f5cd745fde563272453559d7","datavalue":{"value":{"entity-type":"item","numeric-id":3746868,"id":"Q3746868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$AF8C6772-B190-48BA-9006-D8BABDFF4A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488617a7b77a34e7047203bf2a3aae32481a3b77","datavalue":{"value":{"entity-type":"item","numeric-id":3875320,"id":"Q3875320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114667$2AF6D6AC-9B9F-4162-AE45-DE35B49C744B","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":"Q1114667$4D8D55C4-C1C7-4ECA-B766-FFA9DDBD2136","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8b624e9e4a654aaf0b668490cb71f29710f799","datavalue":{"value":{"entity-type":"item","numeric-id":4836020,"id":"Q4836020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f143dd848a57c0371f8bd49fc545380e686396","datavalue":{"value":{"amount":"+0.8114159107208252","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":"Q1114667$EAE6E510-C172-4453-8CDE-73605B9C16F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f88fc7721af382cc5b57a640bcf3c7ea5d2744b","datavalue":{"value":{"entity-type":"item","numeric-id":1818314,"id":"Q1818314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"072f7e052ee10545c257bb83b85798887d814695","datavalue":{"value":{"amount":"+0.7808347940444946","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":"Q1114667$39FD1F11-D28B-4D4A-B0FF-C436B6B7F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a11adc5392bdbab7d01391687033327baec558b5","datavalue":{"value":{"entity-type":"item","numeric-id":3746868,"id":"Q3746868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1bf5ceeff312d4c25b022a90e5e10d71f143be","datavalue":{"value":{"amount":"+0.7476733326911926","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":"Q1114667$AA917CED-81A9-4825-8692-C830A0BDA383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2210e42a745acd3fde9aaf4e65aaf2250ab240a","datavalue":{"value":{"entity-type":"item","numeric-id":2757801,"id":"Q2757801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34f9bc9fea0a3ec526a0996c7ed164cc420af744","datavalue":{"value":{"amount":"+0.7465147376060486","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":"Q1114667$B90909EF-D4AB-4A42-9800-0D765212D882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f953e2ee4e4da0dc2baca27f2305ee38b6c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":5901559,"id":"Q5901559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fe8844637cb43d607255a46c425c82f48e077f","datavalue":{"value":{"amount":"+0.7451070547103882","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":"Q1114667$0C53E4F4-C1FE-4F34-9B01-922142BF27F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114667"}}}}}