{"entities":{"Q685962":{"pageid":687811,"ns":120,"title":"Item:Q685962","lastrevid":63464526,"modified":"2026-04-11T13:20:35Z","type":"item","id":"Q685962","labels":{"en":{"language":"en","value":"Functional interpretations of feasibly constructive arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 425685"}},"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":"Q685962$71AECD11-E97D-4FC1-80ED-20B59F62F024","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0314187874a9c4fd4441d2ce9d2d9b5a6b1dcb53","datavalue":{"value":{"text":"Functional interpretations of feasibly constructive arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685962$AEBF683A-3ABF-4B39-AA6F-544A7215EFFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"97cd884322a2e4184d9f3a3ce2243411ee7175f7","datavalue":{"value":"0780.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$C18186A4-4D3C-4C6D-9B05-48D848F0DFA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"793c772a359eceffe289687ccb366e2f612cfd39","datavalue":{"value":"10.1016/0168-0072(93)90044-E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$A3C8A791-12F7-4B95-BAA7-04CC92878720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffd6a40ad54574dfdc72407e5223fefee18b3ec7","datavalue":{"value":{"entity-type":"item","numeric-id":647404,"id":"Q647404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$2F854F4E-D08D-438D-B25F-A3BDD840B3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ef32c5864b607ccf80c983c44b8c3fc4484c5b","datavalue":{"value":{"entity-type":"item","numeric-id":1096389,"id":"Q1096389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$940CA40D-8C35-4804-9D44-4E8F41A6B8C4","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":"Q685962$8A739BC6-4CF9-43D1-85F8-203FFA980E42","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60c2b639ed933d9c3ab73b6b321aab5ff3dea7d5","datavalue":{"value":{"time":"+1993-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685962$BCB1C9E9-4EAA-4F90-A006-FD82EC27958A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d2205ecabcf7ceb43455fb88a9f8ad6f01cf015","datavalue":{"value":"A polynomially bounded version of G\u00f6del's primitive recursive functionals is defined here by suitable bounding of primitive recursion (which can have arguments of higher types but only numerical values). Necessary properties of these functionals are established in suitable free-variable calculi (which requires about 30 pages). This opens way to the use of realizability (Dialectica interpretation and a \\(q\\)-version of Kreisel's modified realizability) in a more or less familiar way to prove conservative extension results for classical systems over intuitionistic ones and for higher-order systems over equation calculi. Another consequence is a characterization of provably recursive functions: if \\((\\forall x)(\\exists y)A(x,y)\\) for sufficiently simple \\(A\\) is provable, then there is a polynomially computable function \\(y= f(x)\\) provably satisfying \\(A(x,f(x))\\). The latter result for \\(\\text{IS}^ 1_ 2\\) establishes a conjecture of S. Buss.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$CBBE0850-39C6-45D1-B58C-38C85479B683","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":"Q685962$04BE50DA-360E-4648-913E-C92DBBC4E400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$D3FC041C-D146-4FD7-8E06-46AD00CFBFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$58E9A0A1-EEE2-49B4-B37D-9524C4B7F79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$64F7BFA6-226A-414F-B713-DBCF7B1E97ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$11DC88E4-4894-468A-B892-B8C8D898496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$1307E4BB-8F53-4719-BA1C-995C4CC39F06","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"340bf8a569fb4591d431a890cc6c4a83298b893e","datavalue":{"value":"425685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685962$45DA581D-9EEC-4E2F-A351-A96E1F37EFF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2d13a8c91d666678856eb228e9852659a51af5c","datavalue":{"value":"realizability Dialectica interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$48FBC9A0-92EF-43B0-87FE-330EB7C3B3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8327d88ccc2102b7556d29425da82fbb58772155","datavalue":{"value":"polynomially bounded version of G\u00f6del's primitive recursive functionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$94FF0428-74F4-4B86-89A6-EC1C5FEBF10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628ad435f142d8d8c80673526425fc3fcae5482a","datavalue":{"value":"free-variable calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$377DF2E7-B0E7-4A91-8E6D-4912CB709A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$DD8C1228-75DD-4B4B-9B43-2DCAD1662F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q685962$64E29D46-74B7-449E-B82A-EF4238E3F0FC","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":"Q685962$FBFC66AC-D710-403F-A47C-7CF0195312C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1f6a6893359ffbe91108962b27d4ad64b47707","datavalue":{"value":{"entity-type":"item","numeric-id":5604461,"id":"Q5604461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$BDA40BDE-065F-4D51-948A-083354F3DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a628cb64400cb3daffe7c8b3b6a4710e9daa6946","datavalue":{"value":{"entity-type":"item","numeric-id":3800030,"id":"Q3800030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$9C0473B2-D190-4E00-A175-1A32E6874FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d8b6d3273c9d452cc54c762042193e6ccc7c32","datavalue":{"value":{"entity-type":"item","numeric-id":3138830,"id":"Q3138830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$1F0A5A27-F2C4-49D8-A4A6-D5133F30FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4489775ac4fe4693cafe9f4393b82cee4cc4e5dc","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$A539470B-1268-4186-988E-839AE32B6A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$6575449E-DF18-42D1-9927-0D786C4C49FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eebf16191862862b24fe0cd666db95e98adee5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3757904,"id":"Q3757904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$431885C7-9C84-46F6-9FE7-991B035D8467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7ff0806f1ab7acea7c14619a19f6ad28e395de3","datavalue":{"value":{"entity-type":"item","numeric-id":915457,"id":"Q915457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$2F2FEA24-D0A9-47B9-9222-040F5F669129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a549ed1d776396be3e4308655e166de224ba89","datavalue":{"value":{"entity-type":"item","numeric-id":4133141,"id":"Q4133141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$61197AF4-B75D-43C6-9125-B36BB439AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042b462873b75a514ad6c8f2994d63c7c697e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4010352,"id":"Q4010352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$0CB4B29B-702F-46E0-9070-A2BAE5647FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ee77292425d1348b2117691d6e3566c745e7258","datavalue":{"value":{"entity-type":"item","numeric-id":4011103,"id":"Q4011103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$5AFFCB69-8CCA-4A68-80B6-DFE9DC0A164E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24767a8d698bfa7d4c473315d4d9fb022ab6caeb","datavalue":{"value":{"entity-type":"item","numeric-id":4035304,"id":"Q4035304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$1517EC7C-0A9D-4E50-8120-09AA2FEE1A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$193E3D21-F03D-494E-8189-FBDD9BCFA86E","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":"Q685962$ACFF3AA5-B288-41C9-AB40-2EF14FE0CE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$6A03A848-DDA3-4F6D-9329-36417668AF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0f8183cbda123ce43acce41bfdebc0fdb8836d","datavalue":{"value":{"entity-type":"item","numeric-id":4032632,"id":"Q4032632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$5F0723D2-748B-44B5-B24B-EB27F14D2F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$7BA200FD-D29F-4170-BF67-A92CF4B2F9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$799F06C0-D3AA-43A0-A753-380BA2D22292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$3450EC30-A57B-4112-9429-55D83946AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$D198B8AD-18AB-48D7-9840-79224F2E179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4622804a4a5864d5bd07b0d1d16a6f64d614c609","datavalue":{"value":{"entity-type":"item","numeric-id":3722497,"id":"Q3722497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$4316D5B5-7CCF-4662-9E7E-D0C9CB62852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3330fa5c6279898dcc093948722963f954b2b34f","datavalue":{"value":{"entity-type":"item","numeric-id":4726219,"id":"Q4726219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$91CE4ED7-2E47-41AF-9F1D-FD33BF32AD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$D9913E57-632E-41B4-ACB5-025179A7C148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61e6605e489532b204b04b5ad3c3446540c1f577","datavalue":{"value":{"entity-type":"item","numeric-id":4694254,"id":"Q4694254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$1140551C-5F25-48D8-AD12-837CE9B0DEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acc84c64e46319842ef17497b61b468633b165c","datavalue":{"value":{"entity-type":"item","numeric-id":5622168,"id":"Q5622168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$7D947189-B11B-46AF-B6FE-306B6632319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605e89106f7538f51796b42000eb0e7f643c7c6d","datavalue":{"value":{"entity-type":"item","numeric-id":1259590,"id":"Q1259590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$A5E076BE-8DBA-4254-9EA5-296F84801A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$D0E030EA-B965-4A82-9E7B-F9271A2B7C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01f3c9efa192a49157794cc5646843be5e89451","datavalue":{"value":{"entity-type":"item","numeric-id":1086559,"id":"Q1086559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685962$0E130A14-92DF-410C-B61F-720B8AD86A86","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":"Q685962$644C0B14-5953-4459-94CC-6E5460C97DB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1566a8661a3749d8a0e2cb3993b7dd8bb7ac742","datavalue":{"value":{"entity-type":"item","numeric-id":866559,"id":"Q866559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"709da75dcd6c5d21f2ba3bf3f48adb4d4ee27a5b","datavalue":{"value":{"amount":"+0.8314909338951111","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":"Q685962$047B9F89-CBE5-4AF2-AF20-71615BB97A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ece1c04276edf21fa91a8377e563644ec3448","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106476404f728250a03ce5a079b5b10d2b47a2b4","datavalue":{"value":{"amount":"+0.8157733082771301","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":"Q685962$F1DEF5E1-F5A3-4B66-8AA0-F61AC095CB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"863a6de8d24b1c2e795f32c30073bca5671a860e","datavalue":{"value":{"entity-type":"item","numeric-id":4876321,"id":"Q4876321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f3db20c22655a35259ab35480592cfb58c9ad93","datavalue":{"value":{"amount":"+0.8153607249259949","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":"Q685962$CF504A34-F100-44AE-9154-1BA5B03D5BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1507afc774026e87094fbc6fa5d6fd6e3eeb31ca","datavalue":{"value":{"entity-type":"item","numeric-id":4243761,"id":"Q4243761"},"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":"Q685962$464784B2-557F-4659-969B-84BCA73C4AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1339b6db41afc80b35b6f9bf2120591cf5357de","datavalue":{"value":{"entity-type":"item","numeric-id":817959,"id":"Q817959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"877f6c366190c951f07a62ddbdcf61d2a1904135","datavalue":{"value":{"amount":"+0.8054276704788208","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":"Q685962$EA3B410B-41AB-46C9-82EA-21962B452861","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functional interpretations of feasibly constructive arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functional_interpretations_of_feasibly_constructive_arithmetic"}}}}}