{"entities":{"Q5268786":{"pageid":7298361,"ns":120,"title":"Item:Q5268786","lastrevid":100541207,"modified":"2026-06-05T22:23:51Z","type":"item","id":"Q5268786","labels":{"en":{"language":"en","value":"Brown's lemma in second-order arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6733946"}},"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":"Q5268786$7C84CA18-B067-48E3-9FDB-294D7449A99A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8f154a7e738a0982f9deaaf694cb0f7644da043","datavalue":{"value":{"text":"Brown\u2019s lemma in second-order arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5268786$DFB80453-4FF8-4791-BA2B-FD4C0AD26FE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee2e4779fb199a5bc4f250d6aeae52d69ecb4195","datavalue":{"value":"1420.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$D48C2EF3-CFEB-4989-8C44-64291FFCD5CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdba517a72e055642d2ff66728516f186cb57fa","datavalue":{"value":{"entity-type":"item","numeric-id":283109,"id":"Q283109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268786$CED481DC-1505-47DA-B651-0F82DE4A8F94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5268786$61D547BF-6B83-49B3-9284-17677F20CDE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45ab5f4056988d923c86758a1a35479e5313b50c","datavalue":{"value":{"time":"+2017-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5268786$4DC26047-2633-4DBF-825F-ABF40DAC2AB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7492b65e998ead851a37119d0544835e181789d","datavalue":{"value":"https://arxiv.org/abs/1512.04195","type":"string"},"datatype":"url"},"type":"statement","id":"Q5268786$CC1E6E02-A8C7-4B2D-BE60-25E12A90E90E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$D34ABB96-2F88-41FE-AF54-55BCCA56AC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$D6831797-4DBC-4EDF-8F42-B2739FA7894A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b4b251e34f965e85a4a30c5d646e0bae1192967","datavalue":{"value":"05D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$5C91EDAD-6F44-4703-A9B3-AE53E12ED79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$75E4BCD7-8249-41AA-902F-B1A494FC9DCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d841bfcbbab05e39f6fe226890c9d058048238f","datavalue":{"value":"6733946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$A343649F-6CE6-4DF3-825F-49D111037074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5268786$C6C0FF91-C6BE-4500-8E18-F97C8EDD7764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"499e97d60bedb6f36b641406164ff0c44b4576a7","datavalue":{"value":"combinatorial number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5268786$3F07CF09-8F4D-48E7-A3B7-95EAE27088CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5c1c11888d58a95f058162538790ccc84513ca","datavalue":{"value":"piecewise syndetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5268786$71D7AB7F-591B-4416-AE03-81036B516E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5e88689ac3689e3c3aecbdf92fed59d8785dc68","datavalue":{"value":"elementary function arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5268786$65B76DDC-F669-43CF-A5F9-D1E0A5E31A37","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":"Q5268786$AF0C68F7-8CBB-4009-A2A2-2537549CF6FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03c1eb326a980374f01d49a45f057a29632f479c","datavalue":{"value":"W2963347580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$1A924E38-1054-4C47-821C-8DB7ED24C2D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2ecce7bfcbb587a9c940600e39e8a7908bbba542","datavalue":{"value":"Q61308194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$FBDB5477-181F-4C15-85E7-13577E79D9C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79f97904c9b3589173ed48f48b00ad801b813694","datavalue":{"value":"10.4064/FM221-9-2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5268786$D8CBB913-7E06-4031-8FEF-F0CAF5612BD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48ab7ba3c64ae2a85fb7f7e8484f0fd6fd551ea","datavalue":{"value":{"entity-type":"item","numeric-id":3068162,"id":"Q3068162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8264729e8439d6bc4c317ec4ff2cb9dd50d0ecde","datavalue":{"value":{"amount":"+0.8107936978340149","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":"Q5268786$28E6936F-468A-4B84-A4C2-CDD2559CABD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c701ac7c7598082b138faaee445e9015cd4403","datavalue":{"value":{"entity-type":"item","numeric-id":5488107,"id":"Q5488107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bd209b546e030ea5a61c94b21fad986a3df89b","datavalue":{"value":{"amount":"+0.7202051281929016","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":"Q5268786$A6EBCEA1-14D5-4277-9585-D75BDD63BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e213e5a57a2230f087bf04f0c671ed2e5c54400","datavalue":{"value":{"entity-type":"item","numeric-id":4323045,"id":"Q4323045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da38668e17e3d5a38cdd3952f078cd1117484844","datavalue":{"value":{"amount":"+0.7051104307174683","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":"Q5268786$AF3E7698-C07B-48AD-8C54-777D0D20AC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fcf34acea7e91b715f055db96bf397c5b1e6a68","datavalue":{"value":{"entity-type":"item","numeric-id":2312088,"id":"Q2312088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c408cf598c9813d1609a858bc72495c8f2c83286","datavalue":{"value":{"amount":"+0.7026859521865845","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":"Q5268786$8D06B061-DFB1-4EC8-ABA1-0C35C358548F","rank":"normal"},{"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":"8dd1a13dde93ddf46e3f3c9ddb2fe867261e3790","datavalue":{"value":{"amount":"+0.7026272416114807","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":"Q5268786$D4EC0761-8523-4059-A189-5D6134193CD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Brown's lemma in second-order arithmetic","badges":[]}}}}}