{"entities":{"Q1590659":{"pageid":1601399,"ns":120,"title":"Item:Q1590659","lastrevid":43229434,"modified":"2025-07-22T14:39:05Z","type":"item","id":"Q1590659","labels":{"en":{"language":"en","value":"Characterizing the elementary recursive functions by a fragment of G\u00f6del's \\(T\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1547899"}},"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":"Q1590659$25FA7911-5C35-4E2E-932A-7191489D6AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c7ec5fbb7dee2975a496ee5b006c414834cf540","datavalue":{"value":{"text":"Characterizing the elementary recursive functions by a fragment of G\u00f6del's \\(T\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1590659$C2EDA5DB-7889-4D62-9647-DF7C2C3F8B3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a526a4be5b28e754b812a22fb48f88d49ce9604","datavalue":{"value":"0965.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$51D9FB8C-0C9D-404A-8336-40C75356C6B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590659$53ABB5B9-A9E3-4FD7-9D64-A861C1C6D0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590659$41F850DE-F982-42A6-AB18-2903062CD576","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1590659$F2B5FB22-730A-4D61-8B16-5EA0A12E998A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b450668c82a8cd1fc850a44d0109b0a4a4df4467","datavalue":{"value":{"time":"+2001-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1590659$532C37CA-4972-4A88-9527-2DF0697765EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6af76710da92edb59e4b68194d0a3b3339046720","datavalue":{"value":"A fragment \\(T^*\\) of G\u00f6del's \\(T\\) is obtained by restricting occurrences the iterator functional \\({\\mathcal I}: 0(\\rho\\rho)\\rho\\rho\\) to terms \\({\\mathcal I}t^0\\). The Howard-Sch\u00fctte termination proof for \\(T\\) is modified to yield a Kalmar-elementary bound for terms \\(a\\in T^*\\): the number of reduction steps up to a normal form is bounded by a tower of \\((G(a)+ 1)(d(a)+1)\\) exponentials, where \\(G(a)\\) is the maximum type level in \\(a\\), and \\(d(a)\\) is the iterator nesting degree. Every Kalmar-elementary function is represented in \\(T^*\\) via random access machines. Modifications allowing to include into \\(T^*\\) recursion with parameter substitution, simple nested recursion and unnested multiple recursion (preserving Kalmar-elementary bounds) are outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$6ABC0E7C-8E40-4BC2-A3D7-658B8E10929D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$5CEC8EA5-FBBB-4B42-8E01-B2ADA252A5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$BE98B664-3008-411A-8ED6-DDB90C86B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$A8E2ABCD-5682-442E-B916-6A6E29EDCAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$16629132-A42E-4ABD-A20D-39E698CDC63D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87318fbaa5bd38fa8617a40b25075f5361d94a79","datavalue":{"value":"1547899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$FB12DCA7-ACBA-4C11-84FC-BEC2071FB815","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c51ac3e565566ec5d97f133cd017cc8df95b404d","datavalue":{"value":"fragment of G\u00f6del's \\(T\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$A1393F67-84D0-409F-AD4B-4816C5000E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1864bce7b10f2bef82d2dcd377a0aa3b8882268e","datavalue":{"value":"Kalmar-elementary bound for terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$393ED8E9-B6D5-4437-8740-FA31CE7CB774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$383E6D3D-E0B6-430F-8D4F-62103FB5C644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aac5f9a6198765db2def713974c16facb363f7fa","datavalue":{"value":"tower","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$797CC554-8A63-4A31-B2B6-D1A5475AB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ae4f3b9b2a6f1a8f67f2fb1dbdf882b4641598","datavalue":{"value":"Kalmar-elementary function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$F0FB9CF1-01BF-4CE6-B5EC-1A97F05AF732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b8e6a69d5187e24416116126c9514dd77c9c5f1","datavalue":{"value":"random access machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1590659$777A7C16-7771-416F-B22C-18C24C9F0E4A","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":"Q1590659$8B1EBF20-915B-450C-9201-AB19F7F208AF","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":"Q1590659$6DF4EB3F-773A-41D5-AC2E-9147031E2F20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"544cf7bf890e486f83e46095e9a566a27562fbf2","datavalue":{"value":"https://doi.org/10.1007/s001530050160","type":"string"},"datatype":"url"},"type":"statement","id":"Q1590659$C297D2C9-D707-4AA5-83EA-22E82EF43F86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e37ab4bed6ddfb27cbcdf942c6c163f58b01de8","datavalue":{"value":"W1969119492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$869B95DE-9B86-4AC2-BC9D-2C62D0304192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7411c79836507e89e7ca343cd1a96ddd76e492d","datavalue":{"value":"10.1007/S001530050160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1590659$EA81E9A8-6252-46AB-92E1-0D75266CAFDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221c1a3500b4a2ad2078691c049b06a41968a68d","datavalue":{"value":{"entity-type":"item","numeric-id":4722040,"id":"Q4722040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0c766f9d6c2884427d772e037570d0c8c49a24","datavalue":{"value":{"amount":"+0.88742495","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":"Q1590659$287B684A-1F5D-43DB-866C-798D88460AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98177fbf10ce707badca4635c26289d2eed802f","datavalue":{"value":{"entity-type":"item","numeric-id":1073791,"id":"Q1073791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234272f09b93ab770bb7c73d76825a7908026e05","datavalue":{"value":{"amount":"+0.8755923","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":"Q1590659$CCE018E0-3FE1-4D79-985E-AE7DC448BFB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"758c0b78f117399875077d5348def1538213d39e","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd75295a9fc122cdca67dcc8013d8161765c3a9","datavalue":{"value":{"amount":"+0.8569695","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":"Q1590659$6883E5BD-AD7F-4125-B4A5-1BD2B4E87A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51be2da8fd9a258de31396ad570437feb2166afb","datavalue":{"value":{"entity-type":"item","numeric-id":4339320,"id":"Q4339320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29891df646544455c3a4e6c2336d64269af5b686","datavalue":{"value":{"amount":"+0.8561324","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":"Q1590659$961804BE-6349-4E46-915B-B54A69A579C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"442ac36bb417514e27cd9ff039b47e32d6b5fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":5311268,"id":"Q5311268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e335fcfab43e17cca8eb5aef7369d5a19f860601","datavalue":{"value":{"amount":"+0.85547876","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":"Q1590659$BF24AD59-8F69-4824-B5FD-E1EE911AAC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95143a7443f98c2bdf90de386faacf1246be46a7","datavalue":{"value":{"entity-type":"item","numeric-id":4531994,"id":"Q4531994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc8904ac8aed5522c400f6a868dc2061c92feb8","datavalue":{"value":{"amount":"+0.85331094","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":"Q1590659$E8930892-E5CD-4FDC-AC5B-E92F40F9E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d24a525b0697ff8e91162c90916dbede8a9aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5551452,"id":"Q5551452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75256efb1898a1d6b1a8beac5ea68d6875d8c579","datavalue":{"value":{"amount":"+0.8498061","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":"Q1590659$5816D458-157E-4B58-935B-806124526DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4216aa45ea12ebae8fdddc2df318d1daf774af91","datavalue":{"value":{"entity-type":"item","numeric-id":1349924,"id":"Q1349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d73396df9cc37296b3f7139ebe6aceaec9f7b60b","datavalue":{"value":{"amount":"+0.84937835","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":"Q1590659$3AF78A8B-4060-46E1-A38D-B072996E2CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747926ebc36a5550fddc3c55feebb2327bb1a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":3998241,"id":"Q3998241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32c19c00aa4eeaa139dfebb746fc702528384bf","datavalue":{"value":{"amount":"+0.8490257","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":"Q1590659$310D4CFA-2227-4AAB-9AB0-9186D7EDB7B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1590659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1590659"}}}}}