{"entities":{"Q3138013":{"pageid":3148729,"ns":120,"title":"Item:Q3138013","lastrevid":47195233,"modified":"2025-12-31T23:34:57Z","type":"item","id":"Q3138013","labels":{"en":{"language":"en","value":"The Baire category theorem in weak subsystems of second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 431182"}},"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":"Q3138013$8AB7F5B0-41D6-4A81-9C53-CAEA7E8EEF44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cb4882a3b7948b8749a4575b079d37054a76342","datavalue":{"value":{"text":"The Baire category theorem in weak subsystems of second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3138013$E782F917-DFBC-4273-B138-074164178151","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94aacf20c1196214f87484b9a226be844b4a05e0","datavalue":{"value":"0794.03085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$943B8941-2932-4FE4-8BBC-B9825BD063D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38d90e2fd292e1b31093d5dbd41d09d0d4300709","datavalue":{"value":"10.2307/2275219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$02C26585-6815-4A2A-A516-22FF51256A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$D98BED16-2A54-41B3-8C82-F4EED6DC9710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa7aeec9ff770976657d107c6c83eb35f0c13e65","datavalue":{"value":{"entity-type":"item","numeric-id":1407534,"id":"Q1407534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$7F9BD82D-E559-415F-B5EF-C85209644E2C","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":"Q3138013$6A29B270-D105-4263-9943-3E007D287B6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a4582cf37b19337c7eae16fd67b6e107844c9e6","datavalue":{"value":{"time":"+1993-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3138013$7CA71A80-18F1-4E98-A92B-A2D397E6526E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$028AF967-986F-4B42-950C-2417E48F015D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$C9862650-46CF-4FD5-A6C5-AF764CC5B574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52bb5e71cc0b069dea134f87fc705725f0e1420a","datavalue":{"value":"431182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$055404BF-DAA4-4CE8-8F7A-602BE995C09F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1977d0a5b7b49ae7dd84fafadd17e00608a2ea8f","datavalue":{"value":"Reverse Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138013$DD0BAFC1-259F-4EF1-BD2D-89306E2712F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b094949d1477dca480431bde79a717ee524ecc86","datavalue":{"value":"weak subsystems of second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138013$C4831361-0EB3-4A00-A9BC-650416D5D38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bafa7a4734e48362839531cbeeaf7c1cf6645b","datavalue":{"value":"Baire Category theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138013$4B0FEB20-4ED4-4453-B17C-967C25EFCEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac29fe212ac0c4f3218093771cefb4e2fa0aea78","datavalue":{"value":"Hilbert's program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138013$4C6C9354-94FD-47A1-9F69-14C04FF6B9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f649787e311d1d17a9cc36bea714473be983220d","datavalue":{"value":"functional analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3138013$31D90107-9649-4A70-A34E-15F341C0898A","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":"Q3138013$FC65661E-3F51-410C-A662-B01B668C198A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76b3cc73bb2642670000cf55b2a376e6dfeaa78c","datavalue":{"value":"https://doi.org/10.2307/2275219","type":"string"},"datatype":"url"},"type":"statement","id":"Q3138013$E329CD7E-1D19-45E0-9094-7E1163E5F244","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e816f9428456f6cb25352bda3d09bf21473ead5","datavalue":{"value":"W2055394931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3138013$E9FCFC98-DF7A-49A5-99ED-E301E50E3990","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4f7d5d967bc58beac3514f316741fe13abe703","datavalue":{"value":{"entity-type":"item","numeric-id":3708798,"id":"Q3708798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$AD133A55-AD51-465D-BC5D-13E44D4367DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f56c47bfb5e73f38c450fc9d4e062064c197b7","datavalue":{"value":{"entity-type":"item","numeric-id":5596777,"id":"Q5596777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$E1CCD9DC-B41A-47B8-9E9C-9C961101ECB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c45866e6366266fc85213b2eb8d896f6640763","datavalue":{"value":{"entity-type":"item","numeric-id":1063593,"id":"Q1063593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$AD9F2D26-6570-4D58-A192-3D259C23F967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$54626F99-9EC1-4D45-81DA-BAD4534A82CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04eefff02b2e316a44c6dd3a4910700df42c66c","datavalue":{"value":{"entity-type":"item","numeric-id":1820779,"id":"Q1820779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$EA422505-C3F6-484A-AB0B-FC12CB637B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71e96c0cd6d7001896586f0c9f90297d270dee0","datavalue":{"value":{"entity-type":"item","numeric-id":3035281,"id":"Q3035281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$A0CC420D-A73B-47F1-872D-B22F0ED8C0D9","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":"Q3138013$429D090E-733F-4CB3-8DB0-C11C82F00866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe67cddb1d2e8d4582eb3ba360c56bb29576a54c","datavalue":{"value":{"entity-type":"item","numeric-id":3329452,"id":"Q3329452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$9E047408-7DEE-469C-9DEC-419B489F8369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04918380c7e36dc72e72591ef80b07a5da57de19","datavalue":{"value":{"entity-type":"item","numeric-id":5659493,"id":"Q5659493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$A274A750-F392-42E8-8A66-C30824C4BBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857dbc721bde21e7be82840ed4977ac267de115f","datavalue":{"value":{"entity-type":"item","numeric-id":1082338,"id":"Q1082338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3138013$87A2ACE0-08C8-4F7F-B625-8EDADBA7AE4E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43cfa1a09cffde7b1f79f82c983250b6bff0cdd","datavalue":{"value":{"entity-type":"item","numeric-id":4863246,"id":"Q4863246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb179f082d02a6b797c8bf66e0ed2c744690a83e","datavalue":{"value":{"amount":"+0.8774318695068359","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":"Q3138013$021840BB-8151-4BB7-8EFB-64C397AD7888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a0054b324577f06410e3f3adb185598e441a66","datavalue":{"value":{"entity-type":"item","numeric-id":5203004,"id":"Q5203004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7a7ac70880db65cbb1bcaccf7977074758c529","datavalue":{"value":{"amount":"+0.8733084797859192","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":"Q3138013$B8A5C852-13F0-42F1-8290-33E60C57F3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df1aef512f66dac142e29685ed6fadc4aeee67aa","datavalue":{"value":{"entity-type":"item","numeric-id":2443120,"id":"Q2443120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc43531cb791005fb660632fab9dc569d9e6d38e","datavalue":{"value":{"amount":"+0.8516907095909119","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":"Q3138013$554A2647-0119-4C74-91C5-FABA97C66F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449838dd14883a8197ca8071f57388e9bec4a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"303878b0c879fa468c1da2fa4e632a1a957bfa2f","datavalue":{"value":{"amount":"+0.81063312292099","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":"Q3138013$B75507DB-C814-44AA-ADB6-96AC58C7D4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa45cf84a6df40381c68a154997c50d0259c4090","datavalue":{"value":{"amount":"+0.8094413876533508","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":"Q3138013$95A8F1FD-FBC6-4626-9C64-839D15CC1E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3138013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3138013"}}}}}