{"entities":{"Q866559":{"pageid":868407,"ns":120,"title":"Item:Q866559","lastrevid":64947171,"modified":"2026-04-11T23:17:47Z","type":"item","id":"Q866559","labels":{"en":{"language":"en","value":"Bounded functional interpretation and feasible analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5126401"}},"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":"Q866559$707AB87D-31E1-45AF-90EF-2F271AF852CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7528b9977bb78a460c3c97676063f3e28ca9421","datavalue":{"value":{"text":"Bounded functional interpretation and feasible analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866559$D963DDA4-2DD4-4C60-9817-9CC94BC170F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02abdad76069732ca581c446128307bfa3c255c6","datavalue":{"value":"1112.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$540AC9DC-614A-4152-A92A-0F7D09E49AFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"241055fcac63c6f72df96341f7230b9bedb68e6a","datavalue":{"value":{"entity-type":"item","numeric-id":558442,"id":"Q558442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$8D9CBF12-7E5B-4FB0-A50F-BF474AE7FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62de1bd65cd36d521902ae54b685bc4b017ceeca","datavalue":{"value":{"entity-type":"item","numeric-id":408161,"id":"Q408161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$F30BF7BA-ECF5-4174-8D4E-3EED9B82CD37","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":"Q866559$8EB38A44-CFD0-45BA-B915-2A68817206F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a94159f4ab38d8d1a06ee095402a858d13e226d9","datavalue":{"value":{"time":"+2007-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866559$F5A7035F-D7C7-4839-B67B-B10CC6225590","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f506af232b82b41d2f6f4d8a6ebde0109e331e62","datavalue":{"value":"Bounded functional interpretation developed earlier by the authors [Ann. Pure Appl. Logic 135, No. 1--3, 73--112 (2005; Zbl 1095.03060)] is proved here to apply to several theories of feasible first-order arithmetic that have weak induction and polynomially computable provably recursive functions. Combining it with the variants of functional interpretation due to Cook and Urquhart, the authors obtain effective version of a conservation result over weak K\u00f6nig's lemma.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866559$0290B179-85F5-4E59-8ACC-70EFEBF4A775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$F5B35F9D-AAAA-412E-BB22-8F6849C00490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$0BB1B86C-5AD5-4EB3-8B9D-9EFFC42B4254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$F9CD4B20-AB96-4EAE-804A-3E329520F6AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90d0b73d739f03c0e31c3934630f73730d22677b","datavalue":{"value":"5126401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$0CA3E0F4-55B4-4BCA-BEE7-C8CCEE3D5336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q866559$7807A22F-4C6F-4DA1-9AA8-B8ADAE0FF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06787681169b06aa6ebc24a622e3c68f2767c214","datavalue":{"value":"K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q866559$3EA76972-3282-4414-8114-6B90CA63E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb58ba5752a1d99ae68b4e57455f49ff31e8ee97","datavalue":{"value":"majorizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q866559$7E081EA5-1B29-43C8-8D27-F866482E6BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d107c8021cb7edf2bf3780a4c1d3754d63c5f3a0","datavalue":{"value":"feasibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q866559$ECC25BBF-BF3B-46BA-91BB-EFE250510505","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":"Q866559$4939A229-85C7-4245-858D-FE439A2B1F7B","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":"Q866559$057CC740-D9E5-4F00-A9DE-3C59DCB237A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77a4fe62ecd16b009eb2b12e1351912782efc76e","datavalue":{"value":"https://doi.org/10.1016/j.apal.2006.07.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q866559$FB00CD14-3E64-4E8C-B1CF-C4D5882E6695","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f4367de04cd1c75f4e4e1c7edd0b56656b0ff17","datavalue":{"value":"W2135734418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$DDCD446B-280D-4B41-8278-898B63B9C07B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$DCD4C143-747E-459D-9770-A8E50E4D4EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255ee49ffb6e409a3ee7cd255cf0ba0ce9b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":3699687,"id":"Q3699687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$082A4C9B-858E-4AF3-9D62-09DEA43D019C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$7A3929FC-F4B6-4492-B844-6A27377CFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff9a96a7712b20c59b87692f972375e9fa2aaa90","datavalue":{"value":{"entity-type":"item","numeric-id":4879205,"id":"Q4879205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$7C4E5F82-77AD-4173-983F-173EACE02472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92eb5e0d6bdd856710fcc42356898918428a387c","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$3B54F8B7-1577-4C2E-A0CD-5CB50A468EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb53b81f21a3100aa4f75a18211c202be61f48ef","datavalue":{"value":{"entity-type":"item","numeric-id":5711882,"id":"Q5711882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$F0B745BD-2E7A-4A5C-8441-9E95719D8A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cefe670f9982454779d95f4e88d1f7db605d5e","datavalue":{"value":{"entity-type":"item","numeric-id":4314687,"id":"Q4314687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$D3AF9D5B-C730-4294-8EA3-14AD7B15F178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa0876c6306cac1e06007928d66037d45133ea12","datavalue":{"value":{"entity-type":"item","numeric-id":3149983,"id":"Q3149983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$F402439A-3AA3-4993-A798-0B224148F94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18769645410cbe208da89866443af566a6afdaa8","datavalue":{"value":{"entity-type":"item","numeric-id":5711883,"id":"Q5711883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$2420427A-4EEF-4B98-B753-8BE2FB927801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$1313D7DD-A8FE-4E66-8109-5D83FC91F291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$8F757F01-01F0-4A68-ACAE-73AD81BDB9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$48C1E9BE-928D-490A-9451-79E6920C7EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5866c8cf369b26c2f36d05d1b0e488a542eba870","datavalue":{"value":{"entity-type":"item","numeric-id":4032661,"id":"Q4032661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$15051BA3-AC45-41A4-A20E-A29E6C66E416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be7e7575326e176489e7e8e8b0922b28875ea5","datavalue":{"value":{"entity-type":"item","numeric-id":688431,"id":"Q688431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$6B96C96B-357F-4A71-A534-ACC29B00811A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$7A49BBA2-E96C-43A9-9758-2FDD228344BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$05509873-EDF6-4C8E-A39D-4040A3B443C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e173e3f88a53b33fbc52906169cfc40c731fbc22","datavalue":{"value":{"entity-type":"item","numeric-id":2560813,"id":"Q2560813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$F007FE47-04C1-4FC2-9A1C-E11BD7799C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17618ddb1fd34bf255fc52b39503d1e91d300018","datavalue":{"value":{"entity-type":"item","numeric-id":5654035,"id":"Q5654035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$7D91A0CC-E993-40C3-BA08-F5508910F025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b533845aa4894eae6e125d0cfe5af55506aa2a49","datavalue":{"value":{"entity-type":"item","numeric-id":5711898,"id":"Q5711898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866559$C0045B62-B790-4C15-A8DD-5E208143EE44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"294e01f768d32d7eaede60147c8b6a2f0bc254a1","datavalue":{"value":"10.1016/J.APAL.2006.07.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866559$82AFFD3C-2FB4-4010-90AD-9BAA4A9A11C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2656726289b33a393d886ec7eaf0a6af51cb0d1","datavalue":{"value":{"amount":"+0.8517525792121887","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":"Q866559$FF56A8FE-82C5-4D46-9E7C-7FB890720D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeaa7fbf7881cee80c9fd3a53e96da1989d0b9a","datavalue":{"value":{"amount":"+0.8502224087715149","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":"Q866559$8AE4BDEA-5193-47D0-B6AA-489CDFC65D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e65ac90d4a760ad3fa17f4954ea5b53436616c5","datavalue":{"value":{"entity-type":"item","numeric-id":5108095,"id":"Q5108095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17690f18f2cc3d88f86a8478294755fbcda0b310","datavalue":{"value":{"amount":"+0.8287906646728516","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":"Q866559$2F882013-4972-44FE-91CA-EB9B9BE511C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0971ae14a0042af53c3be105ed8834bdf08b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2344622,"id":"Q2344622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a539bb5b254a12b0f519baf5d5f6f31be2c08b8d","datavalue":{"value":{"amount":"+0.8118044137954712","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":"Q866559$895D5385-3EBF-481E-83FE-3060C45CB9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccb27d047c72219b5e53b79a1b9773d81b035f6","datavalue":{"value":{"entity-type":"item","numeric-id":685962,"id":"Q685962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb056775e2238295579be86f03e2ffb2c12ac8e","datavalue":{"value":{"amount":"+0.8099374771118164","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":"Q866559$BA25B6D8-FFE5-41CC-A5E6-1783AE158230","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded functional interpretation and feasible analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_functional_interpretation_and_feasible_analysis"}}}}}