{"entities":{"Q1314352":{"pageid":1325102,"ns":120,"title":"Item:Q1314352","lastrevid":81159890,"modified":"2026-05-06T17:52:24Z","type":"item","id":"Q1314352","labels":{"en":{"language":"en","value":"General recursive functions in a very simply interpretable typed \\(\\lambda\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 501168"}},"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":"Q1314352$3883330D-4F97-42D5-B40D-7D726A5D5645","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28fc4f93b767770a6b04f79a344fb40178367b09","datavalue":{"value":{"text":"General recursive functions in a very simply interpretable typed \\(\\lambda\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314352$3365422E-590E-4492-B6A5-2350B371960F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e187a22c922358c155e1933fd9b812a2a51d5e66","datavalue":{"value":"0796.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314352$9A6AFBBE-F413-4DA5-9631-95CB0825E165","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8d4514ad488400ea3b4735fffb526c64f0dda54","datavalue":{"value":"10.1016/0304-3975(93)90088-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314352$D1636927-D03D-4BDF-AA4F-77C42EE4B678","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45a3692d2c730bb6d269296c462e16937b7ea","datavalue":{"value":{"entity-type":"item","numeric-id":909467,"id":"Q909467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$22115C5E-5F07-4C71-8571-56FE37CA96EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ff4f0ddcd4f13096d9f5d8cd28dbd4a7dea0363","datavalue":{"value":{"entity-type":"item","numeric-id":1145500,"id":"Q1145500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$0E60AABA-058F-4C6B-8E42-7A4B501A2EBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$53D6D53A-9E47-42FF-B541-F933648B2DAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c738d73bef3f81bc2de3a0b0a93ed80833dc961a","datavalue":{"value":{"time":"+1994-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314352$28DC66FF-7591-4873-A313-80BDC5F68089","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0c32f175f9abc21c24c644e0122936b06f1bc1ba","datavalue":{"value":"This paper is in the setting of simply typed lambda-calculus. It is well known that not all partial recursive functions can be represented in this system. The authors propose to add to the \\(\\lambda\\)-calculus four constants and two reduction rules: the first two constants represent the zero and successor for type 0. The other two allow, using the new rules, the changes of types for integers which are necessary for dealing with primitive recursion and the \\(\\mu\\)-operator. This results in a typed \\(\\lambda\\)-calculus, where all partial recursive functions are represented. A model is provided, using simply a hierarchy of function spaces based upon an infinite base set. Finally a curious new extension with one more constant allows the description of some parallel operators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314352$D87F6563-C006-444F-AA9D-3EA43687FB7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be9393a59da8a8d1ea400e796ca1cda2084f6804","datavalue":{"value":{"entity-type":"item","numeric-id":1208424,"id":"Q1208424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$97E7EE78-3776-42F6-901B-1FD56FBA11FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314352$510067EF-65ED-46E0-A448-B44098E59F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314352$58C087EC-0290-4CE1-92FD-78C9560B32A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006a8a5dad80f1d3a08c6c27c77c94211d9b97c3","datavalue":{"value":"501168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314352$09C5C4BD-C185-4ED6-853C-94476B5FC348","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86e893a4a7addf8e22f8e3fcc6df8ecc660c5c40","datavalue":{"value":"simply typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314352$4E6A4E5C-8221-4D56-8DD9-5D6A20332917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314352$EC67C615-F5D7-489A-A3E3-A61123BD69F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e0564e2f0228862f073a1f3e78fbb0f5d2af31","datavalue":{"value":"parallel operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314352$649F00C2-6C3A-4719-BCE0-DEC37F995E35","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":"Q1314352$18A7F928-A122-43B1-B430-14C2BF5F65AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acb25dd7f01109043db25ec1276aefa0a257d9f3","datavalue":{"value":{"entity-type":"item","numeric-id":1257009,"id":"Q1257009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$16EDD0B9-DAFF-4856-BC18-490CB42B3243","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":"Q1314352$40EB3FA1-9355-4D2A-9B88-31A5359B662A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$29524706-E77A-44AB-84E3-0F253B45EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bff8d54ed35d6b3c12abec8db1759de88ef3e42","datavalue":{"value":{"entity-type":"item","numeric-id":1132085,"id":"Q1132085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314352$E7682D62-A8FF-4B7F-BE27-7506396F627B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd84d0c0513e8d7d92c4ca5d0c323570ac39f7d7","datavalue":{"value":{"entity-type":"item","numeric-id":2757815,"id":"Q2757815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d23fbc507f00259ad9196e62599df9128e117f2","datavalue":{"value":{"amount":"+0.9347331","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":"Q1314352$60472C58-8E37-462D-AA1F-2711C63D77F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622d51dc706493176237d6f56355331d44c81130","datavalue":{"value":{"entity-type":"item","numeric-id":2743705,"id":"Q2743705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb5990ba816c09663843e4d816911f5a14247a09","datavalue":{"value":{"amount":"+0.91084266","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":"Q1314352$5ACEE80A-473F-43FD-A3CB-E938A31DF23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f485f28ff130d0619a6bdb102f4132d10b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f95b9a4118cde7fca961905321c50b46d529bd","datavalue":{"value":{"amount":"+0.90448654","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":"Q1314352$2C29E2A9-534A-4317-BD6A-A2CC8A3C5A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b5a1842975a4d188a8c6221e0c6b1e5ae1eda8","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed7aa85fc9dfc2143c178d2dccbd8f0d3169554b","datavalue":{"value":{"amount":"+0.90424204","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":"Q1314352$5B397B7E-D257-4F6F-ACED-35B00F4D92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c272fab39923236d7ca2c0f33e274cea9181ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3138540,"id":"Q3138540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0668589cf03a86b93e623965921fd03ecc47b126","datavalue":{"value":{"amount":"+0.89766157","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":"Q1314352$092ABEDC-90BB-4329-B7D6-2B0649119689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d21a9d360cc2ab591eedaaa88d2204e76e5a57b","datavalue":{"value":{"entity-type":"item","numeric-id":6061875,"id":"Q6061875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce3571a29d447f3a85bba64ea9a4141f907ecb8","datavalue":{"value":{"amount":"+0.89653087","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":"Q1314352$695256CB-F303-4A42-A5EB-DBD2BE4F1C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdd36c4ef364df121f76ddcb51fef9f536c27ced","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd71563fffc640c02dd5370792ea876762a80b3","datavalue":{"value":{"amount":"+0.89596105","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":"Q1314352$E0F85D9B-214A-4975-8CBA-6BBA9AA83647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76ab0295fc0467218a9f23e19a5b632991a5cc2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd588f97a843310ad8316e06f508fde4b0310ed","datavalue":{"value":{"amount":"+0.89521694","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":"Q1314352$5AF5E049-513E-445C-8B79-7E6FE7D6A495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd733ef49a8a1eb28bb2213fd12288c10ac590d4","datavalue":{"value":{"amount":"+0.88986","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":"Q1314352$74D97A2F-C26A-4DF6-9B66-EC5696AD6E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b07efa42a1d20cec3cf91df82a00bbad64f0921c","datavalue":{"value":{"entity-type":"item","numeric-id":3745258,"id":"Q3745258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301ca5acde811cba09794bfca17c83df907e801f","datavalue":{"value":{"amount":"+0.88933665","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":"Q1314352$4BA47E6F-4DC8-4C28-BF8E-272017412B1D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General recursive functions in a very simply interpretable typed \\(\\lambda\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_recursive_functions_in_a_very_simply_interpretable_typed_%5C(%5Clambda%5C)-calculus"}}}}}