{"entities":{"Q1182467":{"pageid":1193216,"ns":120,"title":"Item:Q1182467","lastrevid":66441618,"modified":"2026-04-12T10:05:34Z","type":"item","id":"Q1182467","labels":{"en":{"language":"en","value":"General iteration and unary functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 31338"}},"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":"Q1182467$B2468222-63FF-4F9A-8F37-7D44735438E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41468f9bf9afb13a5b39a7d10badde896902e8f2","datavalue":{"value":{"text":"General iteration and unary functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1182467$DA78C797-DDE8-4F47-A7DC-59A26EECF832","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c758abee6027adf811b458bc911578bd4612df3","datavalue":{"value":"0747.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182467$F0B804FC-2A05-4B3B-9AE1-D57D1D48A46B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3949f11d8488757ba7d472070e9a0701220c558b","datavalue":{"value":"10.1016/0168-0072(91)90029-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182467$CAC27E30-A71B-40F1-823F-B2B90997418E","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":"Q1182467$AB4FBDF5-5C55-4B54-B764-2FA6179C1C1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1182467$1E110BA5-75A5-4B80-A307-815BBBA3741F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79cfe75db4c11cee9c9cafdb2c025f49503821f3","datavalue":{"value":"The paper provides a programming-oriented characterization of the class of partial recursive functions. Basically, it is shown that all p.r. functions can be obtained starting with the successor and excess-over-a- square functions by using addition, composition and a while-do iteration operator. Variants of this result, obtained by changing the arity types of functions or by substituting some of the basic operators are also proved. As a by-product, Kleene's normal form theorem is derived in a more precise and programming-oriented setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182467$3535A424-F582-4541-9B14-B9B06EE57C99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182467$816E9EFD-31A5-4241-AF98-E057AE10B2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182467$1A4B0DAF-F27D-4319-ABF1-D1EA2AE9BCD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"989880e11ab97a9f452341fcc756c580c47130b5","datavalue":{"value":"31338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1182467$9CCC6401-5D92-40BB-BAA5-A7F11D45CE97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0a770915e792f8f7c566c55ccd74ea47d89da63","datavalue":{"value":"general computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182467$F5A112BC-31D4-4887-AD89-F3D320FF8171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84be346d5b2e3007dfca566cae60632b5f37519c","datavalue":{"value":"partial recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182467$D2FD1509-6E5C-4D2E-B255-B22EC015C995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a271c0baa8d427d1d502631d6998b76ffb5022c4","datavalue":{"value":"while-do iteration operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1182467$2F3949FC-6720-40B1-BD85-5B2AE5C3B1AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52cccf60f0b7ae00b284e506a54e8eed8b433b9e","datavalue":{"value":{"entity-type":"item","numeric-id":1844220,"id":"Q1844220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$087874B3-192D-40A0-8A09-2E9831A1509D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26a317fd60e70e233c239ff7a7887169a825aff3","datavalue":{"value":{"entity-type":"item","numeric-id":342701,"id":"Q342701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$0C88DE05-7AC2-4C80-94FB-83DC0188C3E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fc8522c6547fe483c0d1ae4eec1b8d9306e5db1","datavalue":{"value":{"entity-type":"item","numeric-id":290243,"id":"Q290243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$5C959080-3159-4126-87F4-8EDA16DBE1CA","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":"Q1182467$6853A4D5-8CBE-4716-920C-8252E7E74CBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d3f64701a03faa6bc541055caaa6caf1658213","datavalue":{"value":{"entity-type":"item","numeric-id":5588632,"id":"Q5588632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$C0A8C1A3-EF91-4405-A1DF-0038F10690C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a897724b52da261ab542d51bea9b95ecc7685b","datavalue":{"value":{"entity-type":"item","numeric-id":5612462,"id":"Q5612462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$320889BD-F5E8-4A5B-A658-24D18E650C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f3f4ec38bd0e5e554d896b2fa49e9f2df818b5","datavalue":{"value":{"entity-type":"item","numeric-id":4769964,"id":"Q4769964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$09690312-E345-4295-8E3D-BE687A7ABA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211f62760e61de04b7ffecc78804e606024ef7df","datavalue":{"value":{"entity-type":"item","numeric-id":4087154,"id":"Q4087154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$C7FE5FB4-2EB7-4223-96A7-4CE19D79687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12751d15a3d1034c6bb2a2f18c6ed9611743184f","datavalue":{"value":{"entity-type":"item","numeric-id":1216945,"id":"Q1216945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$A04E33E7-C42C-4BCA-85F6-9F3C3D9068C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21711fe26339144f174fe05ee878223a10b87a62","datavalue":{"value":{"entity-type":"item","numeric-id":1219273,"id":"Q1219273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$7AF8B600-CCA1-43E3-884F-2A77586E6B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedff660b94158a0c7d2fed929441f4f9bbd17b6","datavalue":{"value":{"entity-type":"item","numeric-id":4113810,"id":"Q4113810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$E163F4D4-EB02-4828-95EC-44D22CDED3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b423a0b88752e078a7e08a92c1fd56d35f405d16","datavalue":{"value":{"entity-type":"item","numeric-id":1137385,"id":"Q1137385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$022CA584-16A3-4B05-82E8-7799B312AFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3c1b727c4d314ee5f8af41fbaa75eee27f7dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1154263,"id":"Q1154263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$0C1DE043-C49B-46BA-B6B9-884A21C75C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd48c34c6b4b3ec9ec0b5e13202cf63192a4faa","datavalue":{"value":{"entity-type":"item","numeric-id":3216120,"id":"Q3216120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$3DFEE973-85D9-42D1-807D-265D701652C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cf251730a1093b3d8175fef1aeb7d46368f7045","datavalue":{"value":{"entity-type":"item","numeric-id":3773864,"id":"Q3773864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$C7449374-2E0B-4356-AA60-87B79CD12BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b0566944902fde24e2b5868ef1c868cd4107d3","datavalue":{"value":{"entity-type":"item","numeric-id":3815464,"id":"Q3815464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$ADA2EB5E-6C07-4104-B1F9-BA2EC46BBEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f7b87d9347a3518db83345544d16d8116551c9","datavalue":{"value":{"entity-type":"item","numeric-id":1115608,"id":"Q1115608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$F6D83521-D5DD-4F00-8284-745BF2DB159B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309ab90603e953d53edf7a2a2b6a4da6987a2601","datavalue":{"value":{"entity-type":"item","numeric-id":808275,"id":"Q808275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$0F7F42ED-3ED7-49A7-8388-0351BD7CF513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7309ebf258012286490768eb0219131e8ddc06","datavalue":{"value":{"entity-type":"item","numeric-id":1182467,"id":"Q1182467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$1C2136DB-23DE-461F-84DF-88A8CD535558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66289590a4b612587da96e22b04d6428402994e6","datavalue":{"value":{"entity-type":"item","numeric-id":5661859,"id":"Q5661859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$0ED8C5FF-C5A1-4639-8975-D9CE359E989A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$3017B540-9DC4-4829-AF31-F2FAC93E9D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0f2e26d1a5e637b7f483d125d085e6f10f6ade","datavalue":{"value":{"entity-type":"item","numeric-id":2645094,"id":"Q2645094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$EE9DDDCE-A71A-4FFF-8418-064C920ABD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02254fdc5572a5c2d16818f27919b133888bee22","datavalue":{"value":{"entity-type":"item","numeric-id":5763659,"id":"Q5763659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$F158EB7A-96AF-46AF-B356-6CED42D18E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1611b135004f831d7071e76e759985fb2d50987d","datavalue":{"value":{"entity-type":"item","numeric-id":5801336,"id":"Q5801336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$A885F53F-73A8-4EB0-B031-4B7ACCAB4D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a50c7e812b24785d6475b6c5a5ea944e0989fa","datavalue":{"value":{"entity-type":"item","numeric-id":3227566,"id":"Q3227566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$CB6F1B36-2F9D-4223-ABDF-E23C448B79EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee7f445bad00be8e64da6a901bb83345f3486b1","datavalue":{"value":{"entity-type":"item","numeric-id":5551451,"id":"Q5551451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$32737CD1-84C2-4E6D-AF2F-7CBBD05B9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0d5237ba02ae5d4978449cd2f94fa27dfd3b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5792036,"id":"Q5792036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$2AE9276B-05E3-4CB2-92DC-E537765EDDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b4df3af2e7109d12a4e24ac4477f029cd71aa0","datavalue":{"value":{"entity-type":"item","numeric-id":5792037,"id":"Q5792037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$DD337980-C532-4BA5-BF84-2533D0CE9918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d1ddd84095c488fa75ff932a144b72b161480da","datavalue":{"value":{"entity-type":"item","numeric-id":3227565,"id":"Q3227565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$0AEEFED1-C58F-40C0-8300-F0D2DE78D6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1182467$7DA8D82E-54A0-4D6F-BCDE-4F69949A9B41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f15052df7ae61c5ad9cc7144d74f05757755aa34","datavalue":{"value":{"entity-type":"item","numeric-id":1115608,"id":"Q1115608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca18d3163e34bdf5e1dd9128f4eba8546f16fd35","datavalue":{"value":{"amount":"+0.8354451656341553","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":"Q1182467$C2328F80-48D4-42A9-822E-05AACB0C774D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72166a075f4040bbd6934edf639ec92a0ea40924","datavalue":{"value":{"entity-type":"item","numeric-id":5411500,"id":"Q5411500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cd709a67ff73a66dadca5443e7a0fcbf7631cd3","datavalue":{"value":{"amount":"+0.8019081950187683","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":"Q1182467$13DD7E19-2084-4B69-9D16-E81BA4ACF296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9293a31791914b729099ade27e039c1e11c110f7","datavalue":{"value":{"entity-type":"item","numeric-id":5502807,"id":"Q5502807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da35393a50539b79098046ceb2cc965456fae23","datavalue":{"value":{"amount":"+0.7933726906776428","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":"Q1182467$D2DEE7CE-B87E-447A-9D4E-CE126DEDC80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d657a0fb918653e1047efeeb0f9dad50e9da17","datavalue":{"value":{"entity-type":"item","numeric-id":672834,"id":"Q672834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535a67eeb7085bf46b717b95b550cf1cf7db4f55","datavalue":{"value":{"amount":"+0.7882936596870422","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":"Q1182467$5B8B3BA0-72E0-4650-9019-A5C05D78E88F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"General iteration and unary functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/General_iteration_and_unary_functions"}}}}}