{"entities":{"Q2117782":{"pageid":2128525,"ns":120,"title":"Item:Q2117782","lastrevid":43523438,"modified":"2025-08-18T07:52:12Z","type":"item","id":"Q2117782","labels":{"en":{"language":"en","value":"On false Heine/Borel compactness principles in proof mining"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495168"}},"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":"Q2117782$3B7292A1-D543-4215-B147-F52ED87040F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ecef30274c50500b0ba29f088af5af9a70dd1a2","datavalue":{"value":{"text":"On false Heine/Borel compactness principles in proof mining","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117782$5B49F626-6AAA-4F73-A391-6A6A87D1087A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb8a919b976b3d4d0d73fc31ad79940a4aebcd9e","datavalue":{"value":"10.1007/978-3-030-80049-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117782$2AEC5F71-3514-4F2F-AFCC-CF8ADEA9FDEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117782$9424097C-BCFC-4B32-A4D7-72EA1CDA9852","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117782$FED2215D-B6AC-43FB-8AC2-EF6DA10B9512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117782$6C52DE28-6765-4058-8AC1-2DBAEE6F5912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29fcb7ed7ac50cc8196bd18ec6ed3e30642037e3","datavalue":{"value":"7495168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117782$4960C1FD-78FA-4A38-BDAE-EFFDB936264C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117782$2263BE82-E74C-4603-B092-719790094764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02dd66ff2f581d97a4892a35a38bf0d1ae78814b","datavalue":{"value":"Heine/Borel compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117782$5E1995DE-6940-49B6-AE95-3CA28EE5F766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57c3b8f6a90b2ac627e8c0c20f3daf27beb2c6","datavalue":{"value":"bounded collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117782$31096406-4F33-457E-8AC3-913EEB9196E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cac4359209bad0ceccfa3e5417b00041bbef1461","datavalue":{"value":"uniform boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117782$8272B893-88CA-4FC3-B9B7-EC2A27E014E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9dcaf5a139b06781aa7ffdacc1a94196c808bb8","datavalue":{"value":"bounded functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117782$470BC908-43FA-44AE-8E48-E6025B240AE3","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":"Q2117782$B0B5E6AC-2066-45F9-A395-DD458269FF5B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3037b93d8f6d973aca0764c1359bc0fe361be2c2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80049-9_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117782$4582484C-4E52-4539-AE5F-1820F94C251A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e7f36210cc180b3b483949ad5ef6405ffe46e4d","datavalue":{"value":"W3180143318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117782$FDD9E4C4-1504-4F61-9F13-C5710E03A2B3","rank":"normal"}],"P223":[{"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":"Q2117782$EC6A915F-FB3D-487C-8A81-BF89C64E1D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15b8e057a34ddc6ffe2f8a0b43e4ecfe22f5dd6e","datavalue":{"value":{"entity-type":"item","numeric-id":5004949,"id":"Q5004949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117782$4D0A862D-110E-468D-AA24-4B49E2ADE499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7185c4df781fd8db8ee0f4291d372fb5908671","datavalue":{"value":{"entity-type":"item","numeric-id":2324564,"id":"Q2324564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117782$9C9736D4-3B5A-4D48-973D-3D98F650E21E","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":"Q2117782$D998F2B2-EE92-4862-B4B8-90ED84CB3BDE","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":"Q2117782$C5232495-A69A-4C5D-A0FB-C12819E1CB51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c51effa3e7c091c300de40a9d7c55772e9fbb04","datavalue":{"value":{"entity-type":"item","numeric-id":2238150,"id":"Q2238150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117782$553468DB-4B45-4762-8AE0-2BAB18497DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50b119e57b8c8d11d0e2b6ad38ebbc0b08eb84","datavalue":{"value":{"entity-type":"item","numeric-id":5140330,"id":"Q5140330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117782$0FB8A87A-F5DB-4A8C-8573-A6A881BAE308","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":"Q2117782$EEFB2320-8794-4B78-B7E7-D9CB2DCAF638","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":"Q2117782$FB85C033-D87B-4946-9D0E-71F4E6418D1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117782","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117782"}}}}}