{"entities":{"Q5107225":{"pageid":7136801,"ns":120,"title":"Item:Q5107225","lastrevid":100255946,"modified":"2026-06-05T21:42:33Z","type":"item","id":"Q5107225","labels":{"en":{"language":"en","value":"THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7190471"}},"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":"Q5107225$447558D6-F53E-4874-97F0-989B31D07E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37a7454ea06027fd942c8a035c26cbe668fa4863","datavalue":{"value":{"text":"THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5107225$6EDD85E2-FD83-4ABF-A43B-0D2863DDC142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48816c6d4a3d50f4c4ad66d34620b81e9bd028a7","datavalue":{"value":"1506.03123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$6779EF71-9F93-426D-ACB3-56CB0EDAEBDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d17dc8f93fc87f40639525a78914e163ea6f34af","datavalue":{"value":{"entity-type":"item","numeric-id":2400496,"id":"Q2400496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$4EA6F75D-1DB3-4624-81BC-FFCEBA43B543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df47b160552dc894c1aa471ca705195c5906bca7","datavalue":{"value":{"entity-type":"item","numeric-id":375887,"id":"Q375887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$C82913A7-D137-47F1-A7C0-C77506EC7420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ce5ab41f7629f8f674c94fed05f6d1f4b53855","datavalue":{"value":{"entity-type":"item","numeric-id":453199,"id":"Q453199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$1F0578B6-21DF-4B66-B6A4-536E2B420C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22619fa0bcfede8dabe102ce78dd2250f3353f67","datavalue":{"value":{"entity-type":"item","numeric-id":218974,"id":"Q218974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$71E196E0-DEED-4C0B-84C4-AF500597B212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5065c86847ed4fbc57249485872b478df70ba5d","datavalue":{"value":{"entity-type":"item","numeric-id":1680549,"id":"Q1680549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$45F31D15-15D7-42D2-B042-AF33FBB9CE83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15784d321aac3bade60fa378317d3f88af56df9f","datavalue":{"value":{"time":"+2020-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5107225$3050D555-FD2C-4112-8A90-B8B1E20CBDDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3db0e2f96f22da1eed885021214863679fb8910","datavalue":{"value":"https://arxiv.org/abs/1809.03940","type":"string"},"datatype":"url"},"type":"statement","id":"Q5107225$94F64B6D-091F-47AD-9D11-287BD89EF37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$CEF72B44-2BA4-4F81-8F4E-6D0728268757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$74F8D76A-C4F0-4158-8057-737BFAD47273","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89e5f2bd1dfff792e07f26270e4429d9ff2db4a7","datavalue":{"value":"7190471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$B9AF7382-9820-48AA-9D2A-1503FF26D266","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107225$60CC0D28-FC75-4A91-AA00-CDCEAF6D4C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1d1bc8b17c743a5c8c42ee615ed4b9acd085099","datavalue":{"value":"Borel sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107225$4D2F94C6-B662-4204-AF66-4D9B420DF980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6885b48b5a6ab5d0d122bc86c518723f72c628","datavalue":{"value":"property of Baire","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107225$6112ECD4-48BB-4303-932A-B02212A8247E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fef2f12b2c979255c5cd7432c2bb22a5f2b0f8","datavalue":{"value":"dual Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107225$D28FEFB0-A39A-4519-97B6-1206F51F0FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3de4f89338ab386c40109805749d0153d84f66","datavalue":{"value":"theories of hyperarithmetic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5107225$0069442C-8BC1-4571-85FA-5E171027D671","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":"Q5107225$6DFFB30B-EB2F-4C3C-9F79-EFBE4BFCA1EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6dc6fd192e8f8060a47a38de2f3802f65b98becc","datavalue":{"value":"W3103204530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$D97E67EF-6D55-443C-B053-159EA4E81D1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"431ba3ec1a052b9e89178dda950c60e38dfa0948","datavalue":{"value":{"entity-type":"item","numeric-id":3797180,"id":"Q3797180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$05607D7F-B7CA-47B7-B67A-551EF5819C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b269b5fce98a926189a052caa254851e102354f8","datavalue":{"value":{"entity-type":"item","numeric-id":1057862,"id":"Q1057862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$C4EC14F1-41AD-4EDD-A6D7-1747406E3FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da8b1fe00d8758aabc762e4b8dd6e9c4246b9d8d","datavalue":{"value":{"entity-type":"item","numeric-id":2841359,"id":"Q2841359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$D9FD083D-408D-4AD4-8078-175EE53F6D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$B7A8786F-30CB-45AA-AD81-3DBF16735838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5097d1bf0ee737064ffd363c7f6f8ff8792e1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":2075273,"id":"Q2075273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$F5BB3386-89AB-4EDD-8D77-70F35A5014E6","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":"Q5107225$B04AD508-BF05-403A-85D6-3FFCB4E7AD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd70416e604ac463a18022a078b0383d85208060","datavalue":{"value":{"entity-type":"item","numeric-id":4599263,"id":"Q4599263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$41CE285A-6385-4302-8380-147B28D1C37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1402b5e1e9f50633f916c3d2fa802da9d602a90e","datavalue":{"value":{"entity-type":"item","numeric-id":5579489,"id":"Q5579489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$99794073-8D71-414C-A327-EF2A15F75BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1426762377715ccec104f47d5406e4a840d54bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5549803,"id":"Q5549803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$B244B2A2-201D-468C-A297-5E35E0EA42E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29269a79a028b3466c07cf309c87e9e12f509e76","datavalue":{"value":{"entity-type":"item","numeric-id":5485751,"id":"Q5485751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$B252B579-3030-42FC-A66D-F3099C6A8361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e6d1a89a982c0adc362e605b70c8a97c773e92","datavalue":{"value":{"entity-type":"item","numeric-id":3698804,"id":"Q3698804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$524986A5-84FE-4ADD-BEF2-C4EDFBCF17BF","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":"Q5107225$0C78237A-E177-4F04-8857-FEF3299A96BF","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":"Q5107225$F0726618-C1FA-4B11-91BB-41AFC6A6E9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f9e605bbed59a679eaddbc4e2f59017a1a3029","datavalue":{"value":{"entity-type":"item","numeric-id":4189261,"id":"Q4189261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$BB60D183-8CC2-4204-91EA-FD4335CD5D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc308dba43a90b4c06565f220ced2f0f0d5d87c","datavalue":{"value":{"entity-type":"item","numeric-id":818521,"id":"Q818521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5107225$F9C97B81-ABFE-483F-88EA-A17765ABFCFA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d658d4dac4c5bab59b5cebbc9cc49d1dd201de0","datavalue":{"value":"Q127291439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$11A862BF-59FA-465C-8E5A-2183E0CD55E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40b586e6d7563f400f8f0b734f1fa9462508bd0d","datavalue":{"value":"10.1017/JSL.2019.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5107225$6CC58C5A-DF6E-4E11-B45D-BE755E75E9B7","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":"Q5107225$37BC88F7-A31C-4050-9ED6-288D20DCB2FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa8d5cb584de281f82114d0c39c82a441d4a815e","datavalue":{"value":{"entity-type":"item","numeric-id":3028979,"id":"Q3028979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6e2e677863ca15195b5a495808ca4c48d39b41","datavalue":{"value":{"amount":"+0.790405809879303","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":"Q5107225$F1C8536C-66CA-4F2A-B350-71A39F24F44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb98b297707f5898d36133ff17752b23ab79205e","datavalue":{"value":{"entity-type":"item","numeric-id":2271113,"id":"Q2271113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926d38c71cb15042ba6c7f8f1273b9aa56445f52","datavalue":{"value":{"amount":"+0.7759677767753601","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":"Q5107225$9BACE76C-5ABC-411E-9906-861F3F3631A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"440b28a74b16d349c960067f323141d2b91ce89c","datavalue":{"value":{"entity-type":"item","numeric-id":3427935,"id":"Q3427935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc4f7cc48a681189ae3df3095483c68f6ab54b7","datavalue":{"value":{"amount":"+0.7735350728034973","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":"Q5107225$39233FFC-873D-4DD5-B1C6-D2C74287CD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de1cbf1e3a451871d376f3be99fdff77494c1da","datavalue":{"value":{"entity-type":"item","numeric-id":3524924,"id":"Q3524924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0845817071315f1a82fae28f8850a1ba22b30baf","datavalue":{"value":{"amount":"+0.7730280160903931","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":"Q5107225$CBA2FC1E-A89A-49F7-8A62-B8766560ADE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce60a6a80ae8aeca351fe89883885c433248745d","datavalue":{"value":{"entity-type":"item","numeric-id":1971780,"id":"Q1971780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f531952314e9db19340c40011ff4c6635b722e20","datavalue":{"value":{"amount":"+0.7664013504981995","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":"Q5107225$93E08BAD-7A32-471F-98BB-0164E6C07B8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH","badges":[]}}}}}