{"entities":{"Q5224158":{"pageid":7253727,"ns":120,"title":"Item:Q5224158","lastrevid":58485648,"modified":"2026-04-05T10:29:34Z","type":"item","id":"Q5224158","labels":{"en":{"language":"en","value":"Principles of bar induction and continuity on Baire space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7082968"}},"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":"Q5224158$EDF98743-F035-4252-A646-EB6EC206C284","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0874c0d3da5c28d64ee947c32a8858a9528bae","datavalue":{"value":"1445.03071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224158$BC4D4387-916C-4471-9F89-B28CF2BF807A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9aecb6ededd34480101a3f509344c31123c7055","datavalue":{"value":{"entity-type":"item","numeric-id":1734271,"id":"Q1734271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$9513950D-4ECD-403F-8CC8-28012F99FFAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece95d7ccc35ae193da592a9c00d3e800c49febd","datavalue":{"value":{"time":"+2019-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224158$96616271-93DE-4869-8FF7-69EDEE82E1B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a0a4b27677a5d0328fb93764ea85b35cc7184e7","datavalue":{"value":"https://arxiv.org/abs/1808.04082","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224158$6EF31EFB-9A10-4CE8-B9DC-0FA2A04F4E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c4d7dcc8631d8d60e20965ff8e54da61b4cbbc3","datavalue":{"value":"http://logicandanalysis.org/index.php/jla/article/download/342/151","type":"string"},"datatype":"url"},"type":"statement","id":"Q5224158$C08E6144-BD11-4BFE-8050-AACA972B7D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224158$481B438F-2165-4566-8C06-992BFEDB7B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224158$E4505041-E8E9-4B34-A788-0FBB7F683AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224158$46004B14-5394-44AD-BF03-BDEB357BE16A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2626929423bc83572cec2949031187380c11a05","datavalue":{"value":"7082968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224158$A3C7A2CD-D5FF-4F67-9930-9B797A1297A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224158$7E6EB023-0B8D-408C-935B-F514C6127D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224158$5EEBED7C-6AB1-4113-B299-3E2E41869F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"191860442ecb66daa006e1e4efacebb0fe57d879","datavalue":{"value":"continuity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224158$2E53F1F9-F4C1-49EB-9830-F9D014E2DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a17c5c57445ef547e046bd9f15cdbf1ca133b42c","datavalue":{"value":"Brouwer operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224158$4AF02253-E379-4044-BBFC-5324DEC490F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d278d91d33134d454caac0cb9b809519edd50f5","datavalue":{"value":"Baire space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224158$E0330380-A73C-46B6-AC88-5A4D269EC443","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":"Q5224158$503011D3-8D8C-4C69-A854-438ED684DA95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$6E8473B2-F70B-4BF5-8301-CB8A83C07B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"589326d0f79b834fbef4975100d69a276962543f","datavalue":{"value":{"entity-type":"item","numeric-id":5717045,"id":"Q5717045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$2ABBAE77-EEAF-4AE3-85E0-AD4AB399BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc41adec87a13691dce7b4e1221782150d60a19","datavalue":{"value":{"entity-type":"item","numeric-id":5898798,"id":"Q5898798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$F120926C-F989-47E4-8588-ACA844F1CA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$C1D57818-9F11-4D1B-8567-154548AEB14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4e58c25b3453d9125c4c48d9600b2360c05ce","datavalue":{"value":{"entity-type":"item","numeric-id":5537358,"id":"Q5537358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$86946342-B836-4CA3-A1D2-B5DA49F11018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224158$3B7B2192-728B-4508-A4E4-BF26F15C85C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db6c560262dea147d39c3c6ffea00c84eb2a79","datavalue":{"value":{"entity-type":"item","numeric-id":2219099,"id":"Q2219099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37c689513b57b6bd216769358643cd40e84f457","datavalue":{"value":{"amount":"+0.8484179973602295","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":"Q5224158$AAA5C41A-8FAE-4702-B2DE-E4AC0C9B9026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f1455a99360a2051c1896dd988fc7e88d9c81b","datavalue":{"value":{"entity-type":"item","numeric-id":5502822,"id":"Q5502822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d060b066ffa17137dbcd80e0da7b4945b1a8cc","datavalue":{"value":{"amount":"+0.8361495137214661","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":"Q5224158$447D0ECB-6C1B-4C15-8DED-5BAC541CD071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ceb45adb29cbe87f5851685a4063130dc3386bc","datavalue":{"value":{"entity-type":"item","numeric-id":2417961,"id":"Q2417961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a59ea61301f02371a51867fba63a7c95d1a4b484","datavalue":{"value":{"amount":"+0.8235556483268738","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":"Q5224158$63F3EB70-46A9-44EC-8DE9-315CDF362042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4ff00e925dae7967b7de8981834fe84131321d","datavalue":{"value":{"entity-type":"item","numeric-id":3121524,"id":"Q3121524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26e25ca09e54ee67bdb79c8e3e2863f44a129d8","datavalue":{"value":{"amount":"+0.8196074962615967","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":"Q5224158$DAF0892A-F8E1-4F0A-9B11-D99CA2A55909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd06189883c3f0fce011b8da4ce8a30bf64151b","datavalue":{"value":{"entity-type":"item","numeric-id":1788331,"id":"Q1788331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5fcf8d3acd75e942d69434ab136c9fb184327e","datavalue":{"value":{"amount":"+0.8126291632652283","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":"Q5224158$181D54E6-C4D8-494F-8236-A4BAA98D7217","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224158","badges":[]}}}}}