{"entities":{"Q2304540":{"pageid":2315283,"ns":120,"title":"Item:Q2304540","lastrevid":73897842,"modified":"2026-04-14T17:39:43Z","type":"item","id":"Q2304540","labels":{"en":{"language":"en","value":"Pincherle's theorem in reverse mathematics and computability theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7179727"}},"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":"Q2304540$5F8037DE-6A53-48DD-A3A5-1F4D0CBEB491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06c40c7460a1da53e8d64dd2476ff7fd35212e60","datavalue":{"value":{"text":"Pincherle's theorem in reverse mathematics and computability theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2304540$E24595F7-9125-471A-A1B4-9A49DD7E45C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3be4e95f6bf84c425c2284c75e43b6f01a1c199d","datavalue":{"value":"1443.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$30952617-8CD4-46C3-ADA8-542546C4A39A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e2194cbd076f554310c20043be5c70c039c27e","datavalue":{"value":{"entity-type":"item","numeric-id":1063590,"id":"Q1063590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BB059DF0-9131-4BF0-B644-D3E3572F5177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$6D8BF139-DF0A-410C-9F4F-CE43C1D3768F","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":"Q2304540$FADA806E-880A-4335-9568-26F92A49C6B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3ddeab2841725759b2e820b7ea1589750ac80ae","datavalue":{"value":{"time":"+2020-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2304540$613C7806-9A2C-4EE3-A38C-A4F4CA6473F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38493688fa90303a07cd2594c6c2cd9b85f568c","datavalue":{"value":"https://arxiv.org/abs/1808.09783","type":"string"},"datatype":"url"},"type":"statement","id":"Q2304540$67DD83BB-A3D5-4DEF-9A4B-DA9FC38B7792","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"41e8c36e008e894bfa5c88a5c75dfdd560b01ebb","datavalue":{"value":"The authors analyze higher-order arithmetic formalizations of Pincherle's theorem. Informally, Pincherle's theorem states that a locally bounded function on a bounded and closed subset of \\(\\mathbb R ^n\\) is bounded.  The main results concern two versions of the theorem adapted to Cantor space, \\(2^{\\mathbb N}\\).  A functional \\(G:2^{\\mathbb N} \\to {\\mathbb N}\\) realizes local boundedness for the function \\(F:2^{\\mathbb N}\\to {\\mathbb N}\\) if for every \\(x\\in 2^{\\mathbb N}\\) and for every \\(y\\) in the ball of radius \\(2^{-G(x)}\\) around \\(x\\), we have \\(F(y) \\le G(x)\\). The original version of Pincherle's theorem, \\(\\mathsf{PIT_o}\\), asserts that for all functionals \\(F\\) and \\(G\\), if \\(G\\) realizes the local boundedness of \\(F\\), then there is a number \\(n\\) such that \\(F(x) \\le n\\) for all \\(x \\in 2^{\\mathbb N}\\). A stronger uniform version, \\(\\mathsf{PIT_u}\\) asserts that for every \\(G\\) there is an \\(n\\) such that for every \\(F\\) the conclusion of the original version holds.  Many equivalence results are proven in extensions of \\(\\mathsf{RCA}_0^\\omega\\), the base system for higher-order reverse mathematics created by \\textit{U. Kohlenbach} [Lect. Notes Log. 21, 281--295 (2005; Zbl 1097.03053)]. For example, using \\(\\mathsf{IND}\\) to denote the induction for all higher-order formulas, \\(\\mathsf{RCA}_0^\\omega + \\mathsf{IND} \\vdash \\mathsf{PIT_u} \\leftrightarrow \\mathsf{HBU_c}\\), where \\(\\mathsf{HBU_c}\\) is the Heine-Borel theorem for uncountable covers of \\(2^{\\mathbb N}\\). Consequently, for all \\(k\\), \\(\\Pi^1_k \\text{-}\\mathsf{CA}_0^\\omega + \\mathsf{QF}\\text{-}\\mathsf{AC}^{0,1}\\) cannot prove \\(\\mathsf{PIT_u}\\).  Note that \\(\\mathsf{QF}\\text{-}\\mathsf{AC}^{0,1}\\) is a stronger version of choice than \\(\\mathsf{QF}\\text{-}\\mathsf{AC}^{1,0}\\), which is an axiom of \\(\\mathsf{RCA}_0^\\omega\\). For the original version \\(\\mathsf{PIT_o}\\), \\(\\mathsf{RCA}_0^\\omega + \\mathsf{QF}\\text{-}\\mathsf{AC}^{0,1}\\vdash \\mathsf{PIT_o} \\leftrightarrow \\mathsf{WKL}\\). Working in the original base system, \\(\\mathsf{RCA}_0^\\omega \\vdash \\mathsf{WKL}_0 \\leftrightarrow ( \\mathsf{ACA}_0 \\lor \\mathsf{PIT_o})\\), a rare appearance of a disjunction in a reverse mathematical equivalence. Section 3 of the paper explores the relative computability of realizers associated with the theorems.  Other theorems discussed include Heine's theorem, Fej\u00e9{}r's theorem, and the Lindel\u00f6{}f lemma.  The paper extends previous work of \\textit{D. Normann} and \\textit{S. Sanders} [Ann. Pure Appl. Logic 170, No. 11, Article ID 102710, 42 p. (2019; Zbl 1430.03035)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$B9B8FEB3-C2D9-40C5-81BE-97506701AE2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$5D033849-553F-427D-BB09-6AEA88FDFD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$98D3DF0A-5D5D-48FC-B01E-B902EE0A3E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$4B3E1A10-DA51-481B-801D-8137CABC54C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$E161BB88-F55C-48D7-AA7F-5671D097C6B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a9b939a17bfd3126e46afbdcb536b946770bf34","datavalue":{"value":"7179727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$C040BB45-A989-495B-A365-C387BB8DCCA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d31c83b82fd129dffbd25a82175608da957586","datavalue":{"value":"higher-order computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$8E35A827-0A2F-4B5B-89E4-E1D5D57D9E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$1D18EF59-3FEB-40BF-A840-F5A9899831C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$21D1479A-4BCB-4D7A-916D-CA876AA502D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8adb46bc76c81baf1541140bfb4e49ad9571310b","datavalue":{"value":"local-global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$4C1B2BAA-4703-4D9A-87E4-1FD5389AE47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86f292c9651abc69043120a89477ec2dee3feca8","datavalue":{"value":"Pincherle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$852F76B8-BEF1-4D4E-B41B-D28BE0CF3998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c0a3cc23611174b858a33f0bc992391dad14b1","datavalue":{"value":"Fejer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$08CF7895-A60C-41DB-A25B-EB334208E824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"005c7e55a14fa8d096179f0cbddc2ad1f6d18eea","datavalue":{"value":"Heine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$87E86983-CE92-4204-990E-734396AEBE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5714c74bf3b3d8137c7f44340af0205a3c8b4667","datavalue":{"value":"Lindeloff","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$04CABC7F-269B-4666-A5A1-0B0AE28F294B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ab51a8aeaa474b8a92b5e013dadc3998990986","datavalue":{"value":"realizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$029AB7B1-1453-45FE-B60C-9DF3EFA82FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da5e24bacd525561ffe962e4f8d3b6d1af56ba38","datavalue":{"value":"locally bounded","type":"string"},"datatype":"string"},"type":"statement","id":"Q2304540$A7E1E90C-5E26-4C71-8A03-68D1DB0BFE0D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c2c7a0f70c0b7cc2161585e985e86183cb70d3ef","datavalue":{"value":{"entity-type":"item","numeric-id":335001,"id":"Q335001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$3CCD2B03-770D-40F8-8796-B9B039F9A76E","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":"Q2304540$850697E7-92B2-4560-9296-381E1E0EA23F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d2569bed12353346bb96c736cb7195f8502b8b4","datavalue":{"value":"W3006582179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$D1156A5C-FD10-41CE-99F2-75F281D5D0D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dded7965113e8378c9b387c165b67e54e4e0a0c1","datavalue":{"value":{"entity-type":"item","numeric-id":3241303,"id":"Q3241303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$C50385C9-DD0D-42A8-872E-69CEC3B253DB","rank":"normal"},{"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":"Q2304540$33CC559B-EAB3-4AB6-ACA6-912A8D250F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c8c9812570fe8461ea8d674c0e1db7893e1586","datavalue":{"value":{"entity-type":"item","numeric-id":4067293,"id":"Q4067293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$75206DE7-1BAD-4C76-B807-0C189D622949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb64f8b7745166e348b41a7109c37c633201964","datavalue":{"value":{"entity-type":"item","numeric-id":3957169,"id":"Q3957169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$E608F88F-C84D-4FBF-8DC9-0A4576BB7CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b8a910afb435d6e5bed28de33d82ec1fa65ec5","datavalue":{"value":{"entity-type":"item","numeric-id":3156943,"id":"Q3156943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$CB97AF70-5AEF-4CF3-AEA4-E91D49AA6B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8ae946a8e37ccac648397357b7f6adc44561c26","datavalue":{"value":{"entity-type":"item","numeric-id":2520021,"id":"Q2520021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$A1421A86-8FE6-4A63-A4D4-52B441190B91","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":"Q2304540$8FA03228-EDF0-4E12-8E89-E9DA2DC5B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c4ebcbfedb918900c951366886c692d4f850fe","datavalue":{"value":{"entity-type":"item","numeric-id":3839701,"id":"Q3839701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$1EEC73EF-73C3-4E0B-B394-AC2E3A740B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ff1b34014cc7399686865d6e9395ed0c3d71e3b","datavalue":{"value":{"entity-type":"item","numeric-id":633852,"id":"Q633852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$E9126612-AACA-4C47-B875-323D6B18F6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d410c9bfc2cb2ec49057149c42c8ee51c20366","datavalue":{"value":{"entity-type":"item","numeric-id":2443117,"id":"Q2443117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$9A48FFA3-434B-480D-A94D-DDD7643A76E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad30dcf51cc217162bdb5a03b006ed2d9c1e1c0","datavalue":{"value":{"entity-type":"item","numeric-id":2796522,"id":"Q2796522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$D25922D6-67A4-4912-9F61-81911DC50EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3d3765d4be9155461fe9d446e8494fea431ace","datavalue":{"value":{"entity-type":"item","numeric-id":5381030,"id":"Q5381030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$C8BCD07C-EE7A-4A3E-8194-17BA6DADD1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0842236f0f9c6282c7fbe6f5512cae3e61d9ccae","datavalue":{"value":{"entity-type":"item","numeric-id":4111536,"id":"Q4111536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$36130B80-B127-4B3F-B194-CD49C95907A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58f821670709e882ba31b880fc6d88299e0b75f2","datavalue":{"value":{"entity-type":"item","numeric-id":5326367,"id":"Q5326367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$3A76F46D-1F58-4BD2-A8D1-8E4F9A093748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5be009b432d1223d455b100479db5ed1f6278c","datavalue":{"value":{"entity-type":"item","numeric-id":5419204,"id":"Q5419204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BD2A12C5-9A67-4819-9E05-9D726CC11F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f9b7f11ce3ed41e36da2d156b65ee2ce067bd49","datavalue":{"value":{"entity-type":"item","numeric-id":2529778,"id":"Q2529778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$AF63DC57-11D6-4E6F-8D29-97B074BDEB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86317a24ff1a69701fa28b9d706f9fc28cca249","datavalue":{"value":{"entity-type":"item","numeric-id":4527932,"id":"Q4527932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$1D257367-B7C2-4F3B-AA9B-BCF761F14738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83a30c5f43e790affc68fd47027bc2195b8fd45","datavalue":{"value":{"entity-type":"item","numeric-id":4707661,"id":"Q4707661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$CE0F1CA4-CE18-4E23-A47B-D43D7FB00915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cfd6c1eae275322760f9afb8b377e175b7b093d","datavalue":{"value":{"entity-type":"item","numeric-id":4221590,"id":"Q4221590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$8F088618-8A7F-4B86-B70F-A9BCC7BDE740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdfc7bf1a7f8a198b748cc5d4656bd3d3dee5e2","datavalue":{"value":{"entity-type":"item","numeric-id":3135405,"id":"Q3135405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$EBF78BCD-9A86-43F0-972F-DD4EC8F5DDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49c8f5c1ba58fab10b3d3550f74cb9c96bc9903f","datavalue":{"value":{"entity-type":"item","numeric-id":4955903,"id":"Q4955903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$A84A00CC-4FB8-412C-9D5F-D2994A3F4B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ae890d102328ee8a14a47f99cbedb8b8afc8a34","datavalue":{"value":{"entity-type":"item","numeric-id":540402,"id":"Q540402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$4F80259E-5146-4800-B91F-62A84B807D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5039dae357336c077d411be3733ff0cbac146","datavalue":{"value":{"entity-type":"item","numeric-id":4064160,"id":"Q4064160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$865A3F80-E801-4CBB-BC24-B1162FE37A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3745ae91f09e7f0f9a2b417c03527861cc4d71c3","datavalue":{"value":{"entity-type":"item","numeric-id":1407509,"id":"Q1407509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$8BC249FD-1873-43AE-AA2E-B99CE3EDB00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216af102ccb44d662812207029900e8d656601f9","datavalue":{"value":{"entity-type":"item","numeric-id":3102710,"id":"Q3102710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$5B6F4CAE-E282-479E-878E-B02151500DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888411bb25ee3bc84d602f1be7d6410fcd9b7064","datavalue":{"value":{"entity-type":"item","numeric-id":5461181,"id":"Q5461181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$7FE2E02D-AA1D-4F70-AC5F-ED8F74A62A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c12487475a660e5b69149e6fc4aed45a6e0fe2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4793025,"id":"Q4793025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BF07342D-A789-4C11-BE87-FDD6ED92A294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$296D5185-69BA-4C0E-9552-095F27100865","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":"Q2304540$0A7C0108-C6D9-4B2C-95BF-5288D43E0E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddd93328d629c483b6d8403174a63e9090692ae","datavalue":{"value":{"entity-type":"item","numeric-id":3967968,"id":"Q3967968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$EA773FDC-CAAB-4DEE-A64F-252D57D42439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a2f0de82d29a568ae697fc0a8250bd82955aac5","datavalue":{"value":{"entity-type":"item","numeric-id":2718896,"id":"Q2718896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$A290EBF3-5A9B-4757-A1FA-583C170302DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b728d7680c9858e40e6f4070446c72d96d60c75","datavalue":{"value":{"entity-type":"item","numeric-id":3069455,"id":"Q3069455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$E5797A10-B00E-432D-A438-3D96C567383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9833d791c4d78617f839e36750b66851729243","datavalue":{"value":{"entity-type":"item","numeric-id":750869,"id":"Q750869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$21A20DBD-3E5F-464A-B133-9DB77A10EF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fefcdda7bf616827053741c3d4864232e0b191","datavalue":{"value":{"entity-type":"item","numeric-id":3457676,"id":"Q3457676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$34983280-BBB4-4A9D-BC11-81A7E1BAFAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c8346e52190cd161a692e13e851bc8860ab1328","datavalue":{"value":{"entity-type":"item","numeric-id":684576,"id":"Q684576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$2D4F30F8-3AC0-4CA6-B632-787FE139E4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2029e781547df7ecfd7ef0a3d1f1b2fab6e3dd7f","datavalue":{"value":{"entity-type":"item","numeric-id":4000341,"id":"Q4000341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$2F4C80DE-0FD8-42D6-B4DD-032B2E378AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e3c9246ade4e627aa3c06b74a55302b9d6bec0","datavalue":{"value":{"entity-type":"item","numeric-id":1374464,"id":"Q1374464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$D2A7419D-36EB-44CC-8984-2B7432A87A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a72f587f83807cddf540afe9ea56397188388e","datavalue":{"value":{"entity-type":"item","numeric-id":4864591,"id":"Q4864591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$EBAE8B34-BC45-4DEB-8228-3A45EC37AC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f6958cb6248476ba25cd5766bb6e192186a469","datavalue":{"value":{"entity-type":"item","numeric-id":3174640,"id":"Q3174640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$467AAC5B-E527-4D48-ABBD-524F7554DA5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f774356b2559d2ed4dd55413aa790e0fe381016","datavalue":{"value":{"entity-type":"item","numeric-id":3760781,"id":"Q3760781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BF4B3C59-A8F9-4699-9343-E2398142F792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b147d222d5f41d2ccc0ce1556aedd90c6212b","datavalue":{"value":{"entity-type":"item","numeric-id":5472644,"id":"Q5472644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BAC5BBC8-0A31-48AC-8A8B-7954CCE13704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9d5d87ef023df4f1d55709b29268b24bc809a","datavalue":{"value":{"entity-type":"item","numeric-id":4485837,"id":"Q4485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$06FC34B4-37E9-4D25-8A08-50C1CA5FB53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02bc83f0a522489db5fec7adf1a230c767c40bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4098341,"id":"Q4098341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$DC32775B-9005-427D-916A-81617E7119C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954742cd4d0af163f01ea462b947d91339fe6ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1145694,"id":"Q1145694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$6A75C60A-7E16-417F-A7F7-838C16E2FB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1825481a294748761f59d07bf93359b30214410","datavalue":{"value":{"entity-type":"item","numeric-id":1670758,"id":"Q1670758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$45EE3EA3-CFAB-4689-B19D-C29BD53D7D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b50bc744c9afb9fb3d74c9f4e1fcb6b8ae0a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2326415,"id":"Q2326415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$9DE574DC-092C-4A6B-8DCD-35814E350E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ed83d79ac2e42ce9242da4277967b9ce274421","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$A29D76F7-211E-4644-8954-D446CB7B5FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4838237fdb1cbedda56b256ef821560ec77d29bc","datavalue":{"value":{"entity-type":"item","numeric-id":5207560,"id":"Q5207560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$654EAA46-00DB-4297-B30B-54D9D8D65052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8372d06b230499a8f0305bc66978e3b5398e5103","datavalue":{"value":{"entity-type":"item","numeric-id":851091,"id":"Q851091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$5DC7F5C3-D0B6-42A0-9442-83644B460E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b54f44c0cb500f1923d333971c3bb9618d2b9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4122117,"id":"Q4122117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$C8D28E96-E78F-437A-A03D-70433FF55778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f37d6b2a97a68518267f9fadeadd89a5800290","datavalue":{"value":{"entity-type":"item","numeric-id":1978861,"id":"Q1978861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$0F857765-7651-474B-B685-27947FCEDDBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4010809310a2b72fb71417d02518fa2897e31c61","datavalue":{"value":{"entity-type":"item","numeric-id":5297301,"id":"Q5297301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$40F4708B-6A7F-4719-9841-0762A5CF241F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc1eae19d26dedf39074ff685f832a12a5993ec","datavalue":{"value":{"entity-type":"item","numeric-id":4115333,"id":"Q4115333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$A9D2F8BD-8736-45DD-9833-BBFDE0D2A173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1787d2c081da04d535b4c5accca825bb6c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":4340161,"id":"Q4340161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$7C9FAA1F-BD37-491B-B1A4-6E8895E6CF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bdfd82fd0a1838b5b1c0f7fae5af48c6763fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2568467,"id":"Q2568467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$D4BFDE2A-43EC-4C90-B9EF-879A2A705A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07ae007fd7d2773d6f84a20f1d34b8ce24af5d6","datavalue":{"value":{"entity-type":"item","numeric-id":4040890,"id":"Q4040890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$BD4A3021-0896-449A-AFD2-6D719DEF5AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9228f63e7ff799d648ab485f0f33e099110f58","datavalue":{"value":{"entity-type":"item","numeric-id":3159415,"id":"Q3159415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$0D3EE519-C11E-4094-A286-940E54A8BA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6eb01f23c1cf45fa1bdb22a0339743a6735826","datavalue":{"value":{"entity-type":"item","numeric-id":4608444,"id":"Q4608444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$77E7C9A4-1008-49F6-B207-27F2EC5AACD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893d1094fdbab7758b2764f448634e0ad3199aa5","datavalue":{"value":{"entity-type":"item","numeric-id":1981984,"id":"Q1981984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$EADEBF53-E0DC-4AE7-AA52-3DA4F1099DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3723be062e99c1d3bfa14d38a58c13995e7a793f","datavalue":{"value":{"entity-type":"item","numeric-id":2176407,"id":"Q2176407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$9681D177-0108-4F66-A8C0-CD2B99FF96FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e33b9396c8bf54f94ae09770b8c93e636165fe","datavalue":{"value":{"entity-type":"item","numeric-id":2179368,"id":"Q2179368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$83856BED-87F5-49DB-8ED6-12B5427F463A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5595484eff39fa110b7e66a44598d9e83b743199","datavalue":{"value":{"entity-type":"item","numeric-id":2303616,"id":"Q2303616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$FDB534E2-3A58-455F-B7AA-497D49000924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2597c92e4e9f5cc6dbc17115bb0e54c82d82e4","datavalue":{"value":{"entity-type":"item","numeric-id":3464661,"id":"Q3464661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$21B3953D-FCC7-4D4E-B94A-FA05CEF02019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$E934ABC6-2C9A-433D-96C9-EEBA342C1FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f2bc685339dd7af4016f81fe51e1d96804c4c2","datavalue":{"value":{"entity-type":"item","numeric-id":5348541,"id":"Q5348541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$C464AF27-335B-4838-A095-EF4CB515241A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcabf9649696f2fa850a9b24793293589a1a673c","datavalue":{"value":{"entity-type":"item","numeric-id":3597347,"id":"Q3597347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$70B5551E-43F8-4DE3-93A7-7686C5E284C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407762279669fa784f7ede33d53d3ffcedaba1fe","datavalue":{"value":{"entity-type":"item","numeric-id":5891882,"id":"Q5891882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$131B97A6-270C-4640-8809-4424C1C38C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bcf60c009d6eae57088e2445535fdd849feca48","datavalue":{"value":{"entity-type":"item","numeric-id":4787441,"id":"Q4787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$18CA98BA-4A51-4AC3-9F91-4E6C9C9C9B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$89DDE0FA-7FD9-4615-8BA7-890B39C042AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb3106391fb8593f71f4603eeb901c6c4988ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3743551,"id":"Q3743551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$9B31C02A-E98F-446E-BA2E-A34FDBE77FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54af4da0eb920891895081c686e03a256fd1cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3994397,"id":"Q3994397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2304540$DC0172FF-6DBF-4AF1-B78E-F82AEAF52A29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9382e9edeceed1668c8b8444e5129b44d39c7a83","datavalue":{"value":"10.1016/J.APAL.2020.102788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2304540$5D5A1060-3E5C-4C4C-870F-F05F952C5494","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5628ad45dcfc86e69e386c6c6a01022861c545fd","datavalue":{"value":{"entity-type":"item","numeric-id":5223120,"id":"Q5223120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"501ea8061d4e63b4ea3c61a573245ff871b9e157","datavalue":{"value":{"amount":"+0.735115647315979","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":"Q2304540$51EA8025-48B9-43E4-BB27-E7FE4D669B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9a359d3244d4be13b9504f0d18b47c9e70a4a31","datavalue":{"value":{"entity-type":"item","numeric-id":2326415,"id":"Q2326415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0634fdc3ee14d1ade078c225e0c681e7232af303","datavalue":{"value":{"amount":"+0.7258577942848206","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":"Q2304540$31C9A8E1-CA8A-4B68-AF23-1069D8C7C89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f983d9695716f52a58b2d200f422ff3c34c0d166","datavalue":{"value":{"entity-type":"item","numeric-id":5711886,"id":"Q5711886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040921274e30c5735a801c3d53770a543bbf9e39","datavalue":{"value":{"amount":"+0.7097466588020325","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":"Q2304540$D6A08789-181C-4D1D-BA59-1695B5F2FB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3ca7d4300263f4fe4328de522ed1ffd35f969a","datavalue":{"value":{"entity-type":"item","numeric-id":5718575,"id":"Q5718575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aa7fb454bfb7ba3aaa8863ad92b19e18800d8d","datavalue":{"value":{"amount":"+0.7049162983894348","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":"Q2304540$1BB3DAD4-D275-4F9A-89CE-69DB4F8688AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f6677213c71df10208adab80997dfc426dc3ab","datavalue":{"value":{"entity-type":"item","numeric-id":3083466,"id":"Q3083466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6440c1341b1a3ae6f3411f910f8f06f197f7f44","datavalue":{"value":{"amount":"+0.7041673064231873","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":"Q2304540$18F4D497-4931-473F-800D-6E66F42126B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pincherle's theorem in reverse mathematics and computability theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pincherle%27s_theorem_in_reverse_mathematics_and_computability_theory"}}}}}