{"entities":{"Q450951":{"pageid":452718,"ns":120,"title":"Item:Q450951","lastrevid":61928334,"modified":"2026-04-11T02:36:30Z","type":"item","id":"Q450951","labels":{"en":{"language":"en","value":"G\u00f6del functional interpretation and weak compactness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6086895"}},"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":"Q450951$B85CC0E1-2451-4EC5-A56D-FE838337D9D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426ace637289373511695e803b4d5028126abbf3","datavalue":{"value":{"text":"G\u00f6del functional interpretation and weak compactness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q450951$3C1B820D-1A15-4083-B7DF-B12E358AD0C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cbe2fcad49112118e5cfb390f0954f49d684c9e","datavalue":{"value":"1275.03152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$1F1E106D-BEEF-49C0-86B9-17DC2620F447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3757c450e8ea3891f056e58fdb032b2670ff909f","datavalue":{"value":{"entity-type":"item","numeric-id":175049,"id":"Q175049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$F6254265-9DE4-482E-BAB0-697A2D551199","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":"Q450951$9583EA2A-9654-40A5-A190-BEC0DDC92A8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ff14cc0faaae3f6137e4b5dbfd88aaa86e04aea","datavalue":{"value":{"time":"+2012-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q450951$242F962F-5669-493F-9A5A-7983B46A539B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7383c9e3f621a58df4189f178a716bacc94d2572","datavalue":{"value":"This paper gives the construction of a bar-recursive functional \\(\\Omega^*\\) which provides a uniform quantitative version of weak compactness. The existence of \\(\\Omega^*\\) was established by the author in [Commun. Contemp. Math. 14, No. 1, 1250006, 20 p. (2012; Zbl 1245.03093)], where he analyzed a proof due to \\textit{H. Br\u00e9zis} and \\textit{F. E. Browder} [Bull. Am. Math. Soc. 82, 959--961 (1976; Zbl 0339.47029)] of Baillon's nonlinear ergodic theorem and extracts an explicit bound for the metastable version of Baillon's theorem that is primitive recursive relative to \\(\\Omega^*\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$9DE841D2-1ACA-4D82-AC23-9799C77BEB9C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"62b70b9796d45b1d2ff767f1b609c223d300570a","datavalue":{"value":{"entity-type":"item","numeric-id":590977,"id":"Q590977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$5637D33A-679D-4851-8B4E-F2A74800FA30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$429A35F4-2FC7-41E2-AB84-ACB509317D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05e6210e40591bf6d46e34fb771f5fdc4d5a5a2c","datavalue":{"value":"47H09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$421123F2-A7EA-4177-8135-A648018B16FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0c9a7f0ab97436d9d0b79bcd2b7d18e56ec7366","datavalue":{"value":"47H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$D8E3ABF5-6ED3-4CD8-BA94-F5D5F870A15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c85614b38f7f480e4ff6806240c1eb1d00a2d64e","datavalue":{"value":"6086895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$08810E52-2758-4CEA-9447-91A62E23BEEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb79855fc0fb11e33dc1c7bd0fce63b3cffbf12","datavalue":{"value":"weak sequential compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$0CC28F20-BAB3-46CF-AB1D-148AAF76D2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cedb220a47f6cafc2f2b5fa711d1ddf0f6ecc6c","datavalue":{"value":"metastability","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$4496490E-B1F2-4296-92C7-808D40DAF8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834f1c297d83c4c39bbc3f53a6bfc9e4b98c599a","datavalue":{"value":"monotone functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$C1C6762E-EC32-4FEE-863A-7061AA0881F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$223E3A52-6ED3-4E4A-9DF1-BCCC6A6ABB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3406b2ffcdfd69728c8811117cdfc686bc72134","datavalue":{"value":"nonlinear ergodic theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$D88DC9C8-16A8-486E-BF29-C80AE90C8B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q450951$DC50C6D8-78BD-4F0B-8529-60FEB7EFB7E6","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":"Q450951$29AFC7CE-770D-4FB6-929C-EF1F376D0FD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6083fac5980b5cea030b5ecb0eb17ba3e21f2060","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q450951$D5E733CD-A56B-4955-8A59-4B6ED9E8AED9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eaacdc2aa2ddda37f6ccb134fe55a318a08d942c","datavalue":{"value":"W2152286463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$00F0624E-2A77-432D-8C03-E6A12163058D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0afd2a21a4923cc3273152badc30c6a967a3bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3402200,"id":"Q3402200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$427CDCEF-5554-4755-BB20-58F9DCCA200F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91710f46485c647371243527d9971fb5ce6606c","datavalue":{"value":{"entity-type":"item","numeric-id":2368910,"id":"Q2368910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$BBD927B5-1AFF-452F-A393-9BF4D26D2E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4fe88aed722fdafb0a1831cb54f54af2181969e","datavalue":{"value":{"entity-type":"item","numeric-id":4064547,"id":"Q4064547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$98770219-96A3-4F9E-9A31-D2851F2A0501","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":"Q450951$8ED3909E-B035-42D5-82EB-554AAF5524EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22da255b0853c62b5be5fa5edbf23c9c59fb18eb","datavalue":{"value":{"entity-type":"item","numeric-id":4107528,"id":"Q4107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$F4396999-D65C-433C-BC94-7EEF4C254A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79c5bd3e06697127b49b51d5e6b5994c3207d56","datavalue":{"value":{"entity-type":"item","numeric-id":2524761,"id":"Q2524761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$C57808EE-78FC-4829-A285-3AB791272982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bf5183e83020857f9feaa7e31500545a55a1f65","datavalue":{"value":{"entity-type":"item","numeric-id":5442144,"id":"Q5442144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$62916CCD-DA93-43CF-BEEF-AA791B72C37B","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":"Q450951$3027F895-5E95-4583-AB27-DE099C4E9807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ade55e2c6c484c833d7e5a2d3940069198c8b4","datavalue":{"value":{"entity-type":"item","numeric-id":3912574,"id":"Q3912574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$6998B944-14FD-4799-86EA-A1498522DE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa6c57aae1d21de49bf812d56ed5b9bb9f3500f","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$6855A79B-FD0A-479E-91A5-A64D151DFD1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77765a4477c55f314baec87f180c178599579624","datavalue":{"value":{"entity-type":"item","numeric-id":4948521,"id":"Q4948521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$B7D0D473-97E4-4C57-96A3-7DAC7E560E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$E1E5F798-705C-40F4-9411-84CF3298CCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$AD8A8CF7-6AE0-4E4B-9982-49B9DB57C586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86fa0b2a26e6da0f4a9cb15e00fdd7aa2d8e9711","datavalue":{"value":{"entity-type":"item","numeric-id":5384977,"id":"Q5384977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$B8F2DA82-1F83-4DAF-99AF-F84A976ED9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2abb9f50f843d428d4acff9529920c1519e3096d","datavalue":{"value":{"entity-type":"item","numeric-id":3001098,"id":"Q3001098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$E22D0770-CB4D-4B57-AC18-B340DB60ED2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6b8a2a444418de61c101f6a9924c85774d21c5","datavalue":{"value":{"entity-type":"item","numeric-id":2856500,"id":"Q2856500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$777186C8-4836-458E-B8C3-3575FF42C891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f1cf6b61b7bdb9c38bbb02278d82c5cfca0ad0","datavalue":{"value":{"entity-type":"item","numeric-id":624339,"id":"Q624339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$1665329E-260F-4CF3-BAB7-5F7B3A4B8C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46188d52472a9ce7148dfc0c59b876ea5a01dba","datavalue":{"value":{"entity-type":"item","numeric-id":3225557,"id":"Q3225557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$5F2F6AA8-5651-49EF-8229-948828936DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f4dff8afce7a8c2bce9c0a7cb97023463b7dff","datavalue":{"value":{"entity-type":"item","numeric-id":3650303,"id":"Q3650303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$CEA3EAD4-E307-4C47-B0B2-947F0F647EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ef6412e9ce2e5bde21cdf321bae09faca040e4","datavalue":{"value":{"entity-type":"item","numeric-id":3053232,"id":"Q3053232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$70F0968D-9023-4432-B40B-57F2C39EB810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$89C83445-CF3C-4BC6-93B9-14F107D5B2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dac56f2072a3893c756d692707c0c07bfe6e585","datavalue":{"value":{"entity-type":"item","numeric-id":5519134,"id":"Q5519134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$466DD2C9-C93C-41B9-9BE3-27A2AF0DCD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14498f16b9ae97f035b0d401c10929eb4bf810d1","datavalue":{"value":{"entity-type":"item","numeric-id":5387252,"id":"Q5387252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$A1A7AB37-163A-4C11-ADF0-BB47734938E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2af7e8d7b6697550aa4f95998ed153b8820a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1203524,"id":"Q1203524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q450951$AAB58301-077B-4C08-8014-3B8F8D62E709","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c086bf976ba18f3ac534160864c0abc4dfcd666c","datavalue":{"value":"10.1016/J.APAL.2011.12.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q450951$D4C34AB1-4E92-40AC-8BB7-08171F4C9EDB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4249ee99f5919a521146ad315340de91722d50c","datavalue":{"value":{"entity-type":"item","numeric-id":3225557,"id":"Q3225557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b230fd05e5638336e20e88ebffbc503fb61771f","datavalue":{"value":{"amount":"+0.8083937168121338","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":"Q450951$A284E6A6-7B89-427F-B307-38370E65AB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d4f1fad70227d4b702838da4ab7451ed29165c","datavalue":{"value":{"entity-type":"item","numeric-id":2324564,"id":"Q2324564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f5b6f32140fb1e605911b664b9102f5b4f0818","datavalue":{"value":{"amount":"+0.7908250093460083","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":"Q450951$56772013-859A-4CF3-AFCF-9A7589FB5468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef8556dec4fb1b7d74dabdc29d515df420c7b46","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4837f6de8d354f12b755e5a1837834a1b5b92938","datavalue":{"value":{"amount":"+0.7855831384658813","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":"Q450951$41DB7FDB-EA4B-49B6-A7A5-B4886210967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e42f71f56b705b565b1d6fafd60e33d492f3b3","datavalue":{"value":{"entity-type":"item","numeric-id":3570171,"id":"Q3570171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3fdcdec20f4c4ac992ac087c7a4bcaf45ab6fd","datavalue":{"value":{"amount":"+0.7825947999954224","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":"Q450951$A3AF33B5-C99D-42E8-B6FD-153FA9E13D70","rank":"normal"},{"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":"71b69e92ec6e4e902453def49a6a48aed0f092bc","datavalue":{"value":{"amount":"+0.7453083992004395","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":"Q450951$8EBF8402-DE72-427A-91C4-69B2913A4650","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"G\u00f6del functional interpretation and weak compactness","badges":[]}}}}}