{"entities":{"Q4032661":{"pageid":6062395,"ns":120,"title":"Item:Q4032661","lastrevid":55238149,"modified":"2026-02-05T04:46:28Z","type":"item","id":"Q4032661","labels":{"en":{"language":"en","value":"Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150017"}},"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":"Q4032661$5E518B2A-AE1D-4785-B8AB-9CB2719CF753","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a0d64e64af581f19f0aee6ec98ca981ee63e380","datavalue":{"value":{"text":"Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032661$C1EC5DDC-FED5-4331-83E6-C002ADFC3E6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04bf6282cc994631ac954178ddb38cb74da458c7","datavalue":{"value":"0781.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$F8CF402C-B180-4F7A-AB3B-4C1A33B2A1D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1be6e4d7c9d6bdd8d06cde84f3139b20dad4c38c","datavalue":{"value":"10.2307/2275367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$22FE7438-A34F-467B-816D-6698ABBE1F84","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":"Q4032661$7C12C48A-98B9-4B6F-9F8C-A05B69FB3107","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$F0C9C1CA-2CD9-47C5-908D-DAA27B8A1CAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032661$29E1E9F3-854E-4C51-965F-CBC430347FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$9545F18C-AAFB-4B7D-AF25-44C215AEEBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$96443F66-82D7-4D84-B0C2-9D668BF35D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$639BB134-CE38-4631-921A-0B9A0EA9A1AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a956ed430d20c7b2b63513156638ba56564f6b93","datavalue":{"value":"150017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$9808561A-4CF3-4A84-A738-D1F16969B8D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032661$A0FC09FD-ACBE-4760-A7D9-EE1A9428604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032661$0274B45A-EE49-4C2A-BE52-7067D154F0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"718c0c1de8e7a131ed814e7ce1f12b545e14f5e3","datavalue":{"value":"extraction of bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032661$21F90772-B9CF-4010-9B62-E8A3F4397889","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":"Q4032661$6A4E3BBA-F69D-4350-ADC1-CE3FD19BE157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10f23885577c6884608c3b0a413a84bd8114c03e","datavalue":{"value":"https://doi.org/10.2307/2275367","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032661$9546C02A-FE7F-4EB7-95D7-8B2C0852F8F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08fa164f3c241fd95da6f826cc8c2d4c5823569d","datavalue":{"value":"W2004219814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032661$215E75BD-2097-46D1-BCA9-30E2D7D8FF31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aa51cdd02fdd2047f384db0852ec7eceb677846","datavalue":{"value":{"entity-type":"item","numeric-id":1151535,"id":"Q1151535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$55532801-FDB3-4E03-BAD4-6AA9CD42CC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bacb5aa102ce6c71274c34a5360472cea903ae3a","datavalue":{"value":{"entity-type":"item","numeric-id":2641297,"id":"Q2641297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$AEBCCFD0-1971-46EF-8D46-5FA1832EFC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bbb39bcfe69bda1f8d488da6e73412c05ff49a","datavalue":{"value":{"entity-type":"item","numeric-id":805612,"id":"Q805612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$ED470771-A28B-4D21-8E2E-3A84621704F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$90E59434-48A1-4AFC-8315-4314E5FD922F","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":"Q4032661$5C8A67F5-1164-42F3-A74A-B4BA4CEBC6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82318748b8514096d13bc80763ff6e3cbefb3d9","datavalue":{"value":{"entity-type":"item","numeric-id":762484,"id":"Q762484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$BE036360-B4E9-4857-8446-392693DF5FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc7afc2322ff86f0e37d02850a7c7eb8b89014f","datavalue":{"value":{"entity-type":"item","numeric-id":5825661,"id":"Q5825661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$821FB5EA-AC9A-4DF0-81DA-42AAF2EAA039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9d6aa79ae87b9cf543d548b640bf19f0d0e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":5801440,"id":"Q5801440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$DC0F1E3B-5350-4CE7-A0C2-F7B1215DA4BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0854fcfbf377fed25fc0745c48f82f38889a384","datavalue":{"value":{"entity-type":"item","numeric-id":1813063,"id":"Q1813063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$28A6677A-C81B-458C-81A9-11859BA8476E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea89e4b72d8d2ea532bc22d6fccc64e4d3c4230e","datavalue":{"value":{"entity-type":"item","numeric-id":4165377,"id":"Q4165377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$2D5A33C9-86AB-4F86-9E8E-EAA888C80EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aae2a08f7a2b5e1c257a710321ddb1f6bd108cd","datavalue":{"value":{"entity-type":"item","numeric-id":1264147,"id":"Q1264147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032661$91990615-0C58-4D13-A2E3-5185A8FF3DB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fc081a98040ffd9f11ae72b5885d72126cbd13","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d3c8d33001b8e8cb3512f1234c16402f2a6782","datavalue":{"value":{"amount":"+0.8342928290367126","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":"Q4032661$1E669326-8453-4022-84A4-5F43D90CDC86","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":"3675913404dfa64034ffe82a287ac41be171416e","datavalue":{"value":{"amount":"+0.8184012770652771","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":"Q4032661$EF0ADE02-3277-41CD-B87F-5CB2F560D0B1","rank":"normal"},{"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":"f219aec2e5a655209f7006778ecf77fad69d72e6","datavalue":{"value":{"amount":"+0.7981258630752563","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":"Q4032661$A4602079-8374-4470-9059-53445D3854FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7487ff1a9649572c55e0c96a509c37c51f48c3","datavalue":{"value":{"entity-type":"item","numeric-id":3079692,"id":"Q3079692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c9a7c17cffe6609dc87ba69a10eadb6f6d8e84e","datavalue":{"value":{"amount":"+0.7958542704582214","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":"Q4032661$F1F37136-5011-4247-9D9D-4C3A825ABDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e3d57445ac71dfe4d08202580f03728cd06977","datavalue":{"value":{"entity-type":"item","numeric-id":5717044,"id":"Q5717044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7dd5b68e9010daaca3c646feaf50fd21a5948f0","datavalue":{"value":{"amount":"+0.7916303277015686","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":"Q4032661$668BEC10-4E17-468D-8F16-509FE2E1DDB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032661","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032661"}}}}}