{"entities":{"Q922528":{"pageid":924376,"ns":120,"title":"Item:Q922528","lastrevid":65434632,"modified":"2026-04-12T02:33:59Z","type":"item","id":"Q922528","labels":{"en":{"language":"en","value":"On a complexity-based way of constructivizing the recursive functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168663"}},"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":"Q922528$6FDE4F2C-39F6-4ADD-A14E-3503B539C499","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35db05af81a09aab2a840130b7bb2ebb73fff1a5","datavalue":{"value":{"text":"On a complexity-based way of constructivizing the recursive functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q922528$61A291F1-5726-4FAC-BC17-0B3BA6964AAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57fc03e11255b0a2f4a006cfae098141a3532bce","datavalue":{"value":"0711.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922528$D6E6A44B-C40C-4D95-9AC0-AA897D06FA97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68176faeef791d210dc102d36571faded3d91d06","datavalue":{"value":"10.1007/BF00401559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922528$51EB7B71-3B58-4D2E-A87D-15162E8B5470","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"000eb886d08bdeba44011365aa7a2cbfd96d1fc4","datavalue":{"value":{"entity-type":"item","numeric-id":922526,"id":"Q922526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$0309BFC5-FC19-4AD1-8ACA-2D6D3E8CA392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21dcdec693971808480a231f582d786ca94811d1","datavalue":{"value":{"entity-type":"item","numeric-id":1044728,"id":"Q1044728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$D7268933-3D4E-4ADA-8B7F-DF5B0F4C1567","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$0E3BC404-39B4-4542-A8B4-078B3016A839","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q922528$72CB43A0-0F25-41C8-912C-E06505257D44","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8273ece5273111eb81fcbfe67e24e79131c6e301","datavalue":{"value":"This paper discusses the problem of constructivizing the recursive functions. Various attempts to this problem have been analysed. It is suggested that the class of effectively (or constructively) computable functions can be captured with a broad possibility by some type of hierarchies which are based on some kind of complexity defined in the paper. The hierarchies of this type can be constructively generated, and will be (under some conditions) progressive as being shown in the main theorem of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q922528$57DB22D0-862E-4A1F-98E5-6C0C41E00623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922528$13F9ECA4-2C92-4821-852D-CF92D523C935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e07e88ae8be6629328bc4e8e8e68ac5e199ebc54","datavalue":{"value":"4168663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q922528$2FB9CCF4-9775-4F33-A201-58C2BD8B7038","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a9392c19beb4b711afe8ac141a5d83eea6e9b8c","datavalue":{"value":"constructively computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q922528$E42E961B-76B6-4126-B81F-881E53805FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08d098bba8dc18c9358ef058f09fcb3db52e382d","datavalue":{"value":"constructivization of recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q922528$05AA42A2-8FD5-4613-941D-9F07D9C91837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba97781dec966e4d1de3b8b0d6e5ba78afd5f2f","datavalue":{"value":"hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q922528$423229C0-8912-47F4-AD2B-35AF87B19564","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$4B726E52-399F-4230-9589-D6D868498E05","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":"Q922528$063B9445-2B71-4B1E-A442-E2391F2ECEB3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45854da7df1d421d45b7aeb6b91b2908960cc1","datavalue":{"value":{"entity-type":"item","numeric-id":5537605,"id":"Q5537605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$291B45A7-7CFE-4D79-83A9-33A97EFC9B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ad898f482280f7235226b9e02630986c02f7ee","datavalue":{"value":{"entity-type":"item","numeric-id":5737079,"id":"Q5737079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$ABACBE1F-0253-4865-B6E8-D27C3583BC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cee115f650dd9b2c9350f8cdefbe2dab8f0e067","datavalue":{"value":{"entity-type":"item","numeric-id":5824357,"id":"Q5824357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$16D088DB-1F34-4D2E-87D3-85BD82B33A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1952070df6a8e1f3cb10934cf1b1f6c6a601b313","datavalue":{"value":{"entity-type":"item","numeric-id":4778264,"id":"Q4778264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$FFB7321B-4FA9-4095-987D-8E0514BF899B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e8f06eca56508ef2854264afd0467b0beaaafa4","datavalue":{"value":{"entity-type":"item","numeric-id":3256313,"id":"Q3256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$F417620B-ACF8-4223-98F4-AF173AFF7C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d26c46fdbfe5269302e25eb644fa84e236f509","datavalue":{"value":{"entity-type":"item","numeric-id":1219687,"id":"Q1219687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$E30B0779-5253-4EF0-83B3-19D9BE2F7D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2146e12d70096585412fa50f364e0fbe43b7e82d","datavalue":{"value":{"entity-type":"item","numeric-id":3293402,"id":"Q3293402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$F6E6B7F1-CD10-45B3-BA33-49565B12C8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$70E05B77-8F95-457F-B733-7B1B819D5CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$23E31297-E0AE-491E-B9A9-59D4F6F9C754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a6cb0db00599c2e1155dc2bfdb97fb7dce98a4","datavalue":{"value":{"entity-type":"item","numeric-id":3216621,"id":"Q3216621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q922528$4A786E51-B054-4D1C-ABA6-78743DDF33BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e371fe0e319f8160402525b9248445a9a9815b51","datavalue":{"value":{"entity-type":"item","numeric-id":4694230,"id":"Q4694230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48f9e5dc00c7b96fc5834255d2b5a5adaaf1b8","datavalue":{"value":{"amount":"+0.7349291443824768","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":"Q922528$AA6A0396-B41E-4141-8A0D-4B6E22F60138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7978f3a99cf1bc6df4c0b1a74a1e5a6328c44818","datavalue":{"value":{"entity-type":"item","numeric-id":2366356,"id":"Q2366356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa48f9e5dc00c7b96fc5834255d2b5a5adaaf1b8","datavalue":{"value":{"amount":"+0.7349291443824768","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":"Q922528$58D181B9-A7F2-4601-AF0A-3EF223774F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dd7abeb8659ae11ddcecea39d2c0fc5819c72a","datavalue":{"value":{"entity-type":"item","numeric-id":4437079,"id":"Q4437079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1854798eff0c7264cd2410c5087b3f1bb15ca8","datavalue":{"value":{"amount":"+0.7298272848129272","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":"Q922528$8FC7A09D-6902-43EB-9DED-7765EE919E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb40ab915a08b109474337572c55db113a8e4631","datavalue":{"value":{"entity-type":"item","numeric-id":1914754,"id":"Q1914754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a992029a3d07c2a443228775ef480bd9d759ddd8","datavalue":{"value":{"amount":"+0.7271538972854614","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":"Q922528$D1256348-E677-4E28-99BF-05E0110EF35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d0ae397e1f6cb1d42840dc2b18965ea92058d66","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd87e25be46a63f30a08e0ebc19a9232c15849b","datavalue":{"value":{"amount":"+0.722016453742981","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":"Q922528$8091FD3F-21D9-494C-9299-4015286EC85D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a complexity-based way of constructivizing the recursive functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_complexity-based_way_of_constructivizing_the_recursive_functions"}}}}}