{"entities":{"Q787965":{"pageid":789813,"ns":120,"title":"Item:Q787965","lastrevid":64339332,"modified":"2026-04-11T19:11:14Z","type":"item","id":"Q787965","labels":{"en":{"language":"en","value":"Computation of recursive functionals using minimal initial segments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841834"}},"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":"Q787965$ADB49C1C-F1FD-47BD-B014-103165F283B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77eebc10fd8194b1e24094a363108c37e65ef25a","datavalue":{"value":{"text":"Computation of recursive functionals using minimal initial segments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787965$0ADF1562-4217-4B3C-9B2B-129EE4F7FA70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f31947c09811a60a8fe71d66667193afcbed8c50","datavalue":{"value":"0531.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$3A64491A-E110-4B2E-8495-568BA0BC85C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45ddbb9ed9eb12b7c81e74440b0cdc4b7f96a0fa","datavalue":{"value":"10.1016/0304-3975(83)90036-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$FE54BB19-8F61-41F3-896B-EF92BCFCBD01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f68dae29d344c01b0db9e3a857bb382c417f307d","datavalue":{"value":{"entity-type":"item","numeric-id":350157,"id":"Q350157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$78B13B35-2229-49DA-9635-1F2F678F8AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ce7e5d73a44b21855e590df7d20e1c2a5b5c37d","datavalue":{"value":{"entity-type":"item","numeric-id":787964,"id":"Q787964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$49BF3720-8D11-4071-8376-2F42018B65D6","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":"Q787965$5B06FB99-8ED1-443B-829B-F7FB94C5E65A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q787965$132C2EF3-5566-430E-BC0D-AF346876BF4E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76813075fa8223d562fff330cadc3f390ced2719","datavalue":{"value":"The computational complexity of recursive functionals has been extensively studied (e.g. by R. L. Constable, N. A. Lynch). In the paper under review, the authors initiate a different approach to this problem, namely the study of the ''amount of information'' requested by the computation of recursive functionals by measuring the length of the initial segments used as input. This approach is suggested by Kolmogorov's definition of complexity [\\textit{A. N. Kolmogorov}, Probl. Peredachi Inf. 1, No.1, 3-11 (1965; Zbl 0271.94018)]; a connection with the algorithmic information theory is realized in the last technical paragraph where the authors prove that a machine for 0-1 sequences which realizes a given level of significance in a universal P. Martin-L\u00f6f test [\\textit{P. Martin-L\u00f6f}, Inf. Control 9, 602-619 (1966; Zbl 0244.62008)] must have unbounded redundancy. The paper ends with a discussion concerning alternative measures for the amount of information which may be relevant in this context.","type":"string"},"datatype":"string"},"type":"statement","id":"Q787965$40B7A1E8-0F8F-49DC-AC71-6D932ACF78DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$0581C461-1951-43A1-AE88-A4A823124073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e1f144a9ab7064f6f8c78503075f6cd455ea06f6","datavalue":{"value":"94A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$A4123778-E330-44D8-A696-64E30C4BC6FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfedcb35385cdcee002b69f8aa90463d7be71a76","datavalue":{"value":"3841834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$95F1D762-8ED9-459F-956E-5E314FF59904","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d619ab860811741ad4cb6dec8b14eed08291743a","datavalue":{"value":"recursive functional","type":"string"},"datatype":"string"},"type":"statement","id":"Q787965$69F049E8-A1FA-43E1-B57B-B3A24832FC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17c9a0c807e67f03164e3148d8f1185bd3cac75e","datavalue":{"value":"Martin-L\u00f6f test","type":"string"},"datatype":"string"},"type":"statement","id":"Q787965$A0658271-2085-4D31-AC46-B0DD180DCAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5b4d90a51d33bf7d1ab538f3dad33d79ba87f8","datavalue":{"value":"amount of information","type":"string"},"datatype":"string"},"type":"statement","id":"Q787965$25E2B87E-9769-4DB6-8DBB-332F78A8399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9baf9b21255bc7c4f08f1de2606000e9b9a9e18","datavalue":{"value":"algorithmic information theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q787965$80D8EFAA-4674-49C5-A5DD-6B20B97A5282","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":"Q787965$64A47FA3-BDCC-4978-A343-EC46E93AEAE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76161f4d75a4c78a153e6ffcd5c09c1e957974c9","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90036-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q787965$9FEFFF86-9809-4C11-B18C-1E627AFC6855","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9faf77edabc3e97e0572f1dec89b2ce4ac6d8584","datavalue":{"value":"W2052114327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787965$F9331FD0-87A8-449D-9588-48ED0739E4EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c24dd6ed314e381f1201d74b01e464630328fab","datavalue":{"value":{"entity-type":"item","numeric-id":4401425,"id":"Q4401425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$E407FD87-768D-45F2-8FE2-33B86F129CBD","rank":"normal"},{"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":"Q787965$542F1CDB-C053-4104-BC04-221DBC8BCEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb71ea59fd47b573033df9513037924711bc7127","datavalue":{"value":{"entity-type":"item","numeric-id":4062633,"id":"Q4062633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$4ECB7338-131E-4980-BC4E-9C704BEEAEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8e864a0681bf6de054feb57f74b07f09f28147","datavalue":{"value":{"entity-type":"item","numeric-id":1232180,"id":"Q1232180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$0D41201C-3F55-44FF-AB22-24BD349408AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2101bf575819ec51404b7497898d8ac47e76852","datavalue":{"value":{"entity-type":"item","numeric-id":1153082,"id":"Q1153082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$C2D824ED-2600-411C-8AC8-568641C53417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830b7c2e687406b6aec73542f3f86742d97b5bac","datavalue":{"value":{"entity-type":"item","numeric-id":5633652,"id":"Q5633652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$8808D119-9A44-4CF8-8936-AACA3BAA46AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb06568540491b4e4dd3a7ff2ead4eda703f71e","datavalue":{"value":{"entity-type":"item","numeric-id":5656214,"id":"Q5656214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$D1E75612-8462-4E5A-820E-F528974D29AE","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":"Q787965$1E88309D-F28F-4802-A01C-26CF5F14D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0afd5532278da9a5d9cf1957582e7e12c5b70b","datavalue":{"value":{"entity-type":"item","numeric-id":2626398,"id":"Q2626398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$8C411A7C-13A5-4872-A916-44BA43C886BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331194fab78996fcd62fc1db85c435b36ea650e0","datavalue":{"value":{"entity-type":"item","numeric-id":4133139,"id":"Q4133139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787965$2D2DC22F-1B55-4D05-8FC6-55D59C65E900","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f93f00bc633405b69ca797119646e486efad789","datavalue":{"value":{"entity-type":"item","numeric-id":4218151,"id":"Q4218151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f952f5420a57403fda19de311f2f3d57e15400cc","datavalue":{"value":{"amount":"+0.7646628618240356","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":"Q787965$153FE215-C906-48BC-8C4E-B92D6218A102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d4f945d05228f1c005066abe1f647c85d4d7aa9","datavalue":{"value":{"entity-type":"item","numeric-id":5958280,"id":"Q5958280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5162857219fb358b6f4588194e355873cc9a5980","datavalue":{"value":{"amount":"+0.7646627426147461","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":"Q787965$DAD783FD-B54D-4CBA-9245-7C86F5EC4AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87a0585d9289813324faf3c9bdb9690a043003f","datavalue":{"value":{"entity-type":"item","numeric-id":3827541,"id":"Q3827541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c09e1e2e9303b5777e608e02124a9d50c93bb06c","datavalue":{"value":{"amount":"+0.7419162392616272","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":"Q787965$13F28948-91C2-45D6-8F86-E079243E4D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"363030eaab0200e9d7889fde389b8314b386eeff","datavalue":{"value":{"entity-type":"item","numeric-id":5402506,"id":"Q5402506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9041d7d56d6d9d4c7058a492329d31887bf8073","datavalue":{"value":{"amount":"+0.7391205430030823","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":"Q787965$405CBB7E-EAFE-4CF2-B9B3-616BC1889032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31a1df0349c41d85a00dbe805b45e0c705bcd388","datavalue":{"value":{"entity-type":"item","numeric-id":4133535,"id":"Q4133535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9aee3213f67feb53db150e5c3f3cc7d6368608","datavalue":{"value":{"amount":"+0.7350702881813049","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":"Q787965$678AA78C-8379-44AE-9941-44FE4F298B2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computation of recursive functionals using minimal initial segments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computation_of_recursive_functionals_using_minimal_initial_segments"}}}}}