{"entities":{"Q4953213":{"pageid":6982795,"ns":120,"title":"Item:Q4953213","lastrevid":91272605,"modified":"2026-06-04T22:43:43Z","type":"item","id":"Q4953213","labels":{"en":{"language":"en","value":"A non-standard construction of Haar measure and weak K\u00f6nig's lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1444044"}},"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":"Q4953213$2F139898-EDB6-426A-81ED-3CFE347161CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2206f5006e3f0528180e8b1790b09d0ddab16cab","datavalue":{"value":{"text":"A non-standard construction of Haar measure and weak K\u00f6nig's lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4953213$1CF2310A-204E-47D1-BBED-5902AC6DB8A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c8a0ed4de0361cb9fc429b2c1e7435f00a3ebb6","datavalue":{"value":"0949.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$08219902-453D-4048-95AD-0AA8261024FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f5f707074d7e085c20a48ddfdc6387b7ea897d","datavalue":{"value":"10.2307/2586530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$C6A22160-CDDB-404E-8DBB-7896108594C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eea4f97108b5d4f7a0bd80664332764ce166d4ee","datavalue":{"value":{"entity-type":"item","numeric-id":676309,"id":"Q676309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$CE53C2AA-3934-48CF-A193-966011D47BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6bb43a942f467a7751dad22d578372df9f5bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":527336,"id":"Q527336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$4448BA97-95F7-410E-B14B-7651696BA6F8","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":"Q4953213$918FB7F9-D2E5-4FDF-BDE6-4D3D42383AAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11286054835b1b2494bd8502ba10b3e5bed697b4","datavalue":{"value":{"time":"+2000-06-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":"Q4953213$36FA6173-BD1C-4F84-A4EE-E98927F8486B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$5D18BE28-ACD6-4870-975A-FCC7F20D9BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$75BE8146-0B35-4B25-9986-E876FC6BD574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$142B2A79-7754-4234-A725-1531BC5C85F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"042247497c87912347e9595c7e8f4af0a995087b","datavalue":{"value":"46S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$73863B1E-1295-4D65-8096-C4A06128C06B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ad5b64632919d52f43c7672e32d62c8e6dce72a","datavalue":{"value":"47S30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$E20BD9A8-C3EC-4D83-A37F-9C4F0EBB35C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$804B2896-0B19-4E06-BA90-33D9A89E8E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27590cbbaa88a45661ef059e9bbf2ff445db2a08","datavalue":{"value":"1444044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$B6349DBF-7B11-4EB1-AE35-AA4DD6C7C596","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953213$F98CFA58-BACE-4749-8EEE-56D8A4903F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef11e18bf2bb7d95c32c5bda96964243791862fc","datavalue":{"value":"Haar measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953213$10CE5C8C-7DEB-4ED7-8DAC-62895D5C73E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953213$65ACFEE6-7C71-4B52-86B3-64A97E2F68A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953213$B7189B40-4054-4F0A-8E96-8E6231A0ECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4953213$5863FD5D-7929-4178-8305-36E042441A41","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":"Q4953213$BBC6ECBE-A429-41AF-8358-0DA1BD98EAED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d138b6c9c1d837dbd4b2099c3067290c0b04cfb","datavalue":{"value":"https://doi.org/10.2307/2586530","type":"string"},"datatype":"url"},"type":"statement","id":"Q4953213$768E8A34-3209-473A-96CD-1A67EBE3C26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd51bfd1cabc82f19acf63fcba9009abedefe87f","datavalue":{"value":"W2128167204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$95BA34AD-7033-4CD9-842D-AF83B1214B26","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17e7186154da9d183d6776b67e0202613a491ca5","datavalue":{"value":"Q124940154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4953213$8B8BE066-C9C9-4318-A162-48D4C47ACFD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6d944eccc85e7313c0930c6b005453dcc51c6e","datavalue":{"value":{"entity-type":"item","numeric-id":5644219,"id":"Q5644219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$A9CD2B7D-51DC-4298-A988-AF514D93753B","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":"Q4953213$CA588AED-9C10-4F10-A89C-EC4E04346F01","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":"Q4953213$845AB837-2517-479C-8F6B-E0D6D6B037AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ac8787e7c7893030486590f5fa75efd9f4d57e","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$570FDA21-FB76-45EA-9C54-483A3B9439B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bbba6cd1f1c8123f083e2f7c6bcf7bf52744286","datavalue":{"value":{"entity-type":"item","numeric-id":922541,"id":"Q922541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$8AA5BF4C-0B44-44F5-B04B-8829B0ABF76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108c4df29528d49dafe758344585c98ff817e022","datavalue":{"value":{"entity-type":"item","numeric-id":4351929,"id":"Q4351929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$C0C327BF-5346-4460-8AF3-368ABD090048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdef1a2f853d54e55c9c98e176228c1775ad9cde","datavalue":{"value":{"entity-type":"item","numeric-id":676310,"id":"Q676310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$9CB7BCDE-E0C1-4666-B53E-418AE643C5FE","rank":"normal"},{"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":"Q4953213$4FD9E4FF-EFF1-40BA-A88C-2A684D012E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832a6a024a950e3d72a82cd0db85ed5cdfda72e2","datavalue":{"value":{"entity-type":"item","numeric-id":1208086,"id":"Q1208086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4953213$A5DEF40F-4563-4B81-B382-D988DEB1E76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13082ed675a72ec435a8e50495da0a3f8efd9a2b","datavalue":{"value":{"entity-type":"item","numeric-id":2639061,"id":"Q2639061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e57db2f4a1f6443fd48be161097bd884497c3a","datavalue":{"value":{"amount":"+0.8200408816337585","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":"Q4953213$32846ECC-301F-4B50-BED1-568BC95E9996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d795d0854b22c364c336a78b99c70153d9f7a2","datavalue":{"value":{"entity-type":"item","numeric-id":4644705,"id":"Q4644705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50fc337bd4588e50c11b9add4bc5069b89a3b552","datavalue":{"value":{"amount":"+0.7741565108299255","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":"Q4953213$1C2A6AC2-F8B7-4834-B0DB-0A43225D6389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b19f9eba52eeb621bf423ee4cdcf9091678372","datavalue":{"value":{"entity-type":"item","numeric-id":2910983,"id":"Q2910983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a3b535b78090978999ae43dce577d2f058f1fa","datavalue":{"value":{"amount":"+0.7330628037452698","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":"Q4953213$4147B0D2-7019-4E72-8921-8E024A743426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d689b827168b81555b37855a271948435fcb886","datavalue":{"value":{"entity-type":"item","numeric-id":645739,"id":"Q645739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d48bc44b60fede8480d7a38370ba40fe9b42d320","datavalue":{"value":{"amount":"+0.7295824289321899","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":"Q4953213$BF87298F-B988-487E-BD86-DD0148FC36F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072927200f5839b42119633479f3f345e80cd589","datavalue":{"value":{"entity-type":"item","numeric-id":1407535,"id":"Q1407535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7259b06c7c4d54c31094eab0574d007ae397d111","datavalue":{"value":{"amount":"+0.7263363003730774","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":"Q4953213$B7A182F4-8C36-4AB6-BC3A-4BF170A6EC75","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A non-standard construction of Haar measure and weak K\u00f6nig's lemma","badges":[]}}}}}