{"entities":{"Q3550582":{"pageid":5580486,"ns":120,"title":"Item:Q3550582","lastrevid":50944673,"modified":"2026-01-15T21:16:45Z","type":"item","id":"Q3550582","labels":{"en":{"language":"en","value":"On the role of the collection principle for \\(\\Sigma ^0_2\\)-formulas in second-order reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688759"}},"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":"Q3550582$EA6C3EC8-2687-4E55-BE36-10B27C755B3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e621c1995e633594eacd4cbf4228482fb19be5c8","datavalue":{"value":{"text":"On the role of the collection principle for \u03a3\u2070\u2082-formulas in second-order reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3550582$D133776C-2228-41F6-8BB0-A4E6E05B83B3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b5773239e552112f14e758fbea67497da29ca0e","datavalue":{"value":"1195.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$AD65AD3B-2406-40AE-B1E7-21A31F8B9880","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f4e85805e233cd931b1f7bc62a1e00c9f3367cb","datavalue":{"value":"10.1090/S0002-9939-09-10115-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$8974936D-FBA9-46D6-BA0A-0A9125ADE869","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$149B32BA-DA34-4749-871E-030CE146A267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4103685926a903a30f8c32ed60fa8061b1add04","datavalue":{"value":{"entity-type":"item","numeric-id":189918,"id":"Q189918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$B2FBF02C-B218-46FC-A098-D8B95A6B8CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dc0ddf828d4beef5c46eca267e549e642b2413c","datavalue":{"value":{"entity-type":"item","numeric-id":2260473,"id":"Q2260473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$98139DA7-E571-4DE2-8458-F1A39A9D5E29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e7b55aa1a8dafd08ef90d95361f82f1155bd5da7","datavalue":{"value":{"entity-type":"item","numeric-id":115236,"id":"Q115236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$1036A4F8-1D79-4C6F-84F3-3E7D4761F50E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"994f357a1419be047d68415ba0ebb81a34390d78","datavalue":{"value":{"time":"+2010-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3550582$68144088-1F34-465A-8F7A-1F8DB6A11FE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$02BED31E-7D5E-4EED-84B9-7375FC569F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$C2C58FD0-1A79-4FBA-996D-3E46E19B51E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04767bae989df3cdd1e9daf50d4c4a9b0c85b2b0","datavalue":{"value":"5688759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$D51DF457-5F93-4EE7-90B6-46B169FE4FE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$90DB27C6-B464-4687-A844-D442B1578538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0f4cb4cb3ad2433bb3863a1ef6f9bee7272120","datavalue":{"value":"\\(\\Sigma^0_2\\)-bounding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$92CE2F88-40FA-4F1C-8CEA-540358078005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8439c3c323b21d48b0e534a0ebe58f84d18c385","datavalue":{"value":"linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$244EB61F-B1E4-4973-A715-71F03F5BFFEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db78843ef44764a5016fc4e54850ddb593e74288","datavalue":{"value":"tame cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$10E660A1-8C4F-4DB6-9888-C374B84E3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7469cf8743e23622efef0f03442c20cd50c3957b","datavalue":{"value":"bi-tame cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$523691E2-DA46-4725-9B2A-7495F089173A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aacdf68dc6c024c917ceba88b5d1883af9f945d","datavalue":{"value":"Ramsey's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$0F8358B6-3ED4-4FCA-9191-B83BB8E8D068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5726293ba1b80c37fee15be6dbd3d9929ce77f6b","datavalue":{"value":"polarized Ramsey's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3550582$29B1B130-2CDC-4879-BD71-0CF0FD2B020B","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":"Q3550582$76C0EC41-A48D-416F-8885-927F57CB63CB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe1f8f54ba03c49cff0d68f7b9824a34fdf219b","datavalue":{"value":{"entity-type":"item","numeric-id":2732267,"id":"Q2732267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$33EB5E6D-AE76-4381-BC88-356D4802F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9674d6db26e800084496901824aa455d72df4c89","datavalue":{"value":{"entity-type":"item","numeric-id":4133623,"id":"Q4133623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$51B048BE-76DC-4A79-82C2-4139C2AC405F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a055d5458d7b36248a382e7a5e4ddf1f87bbaaf5","datavalue":{"value":{"entity-type":"item","numeric-id":1368581,"id":"Q1368581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$CDEE4DBE-7D36-47C8-A442-3264FC7B330A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5bef25bf28ebce0c8dc4719615dc3b84fe63927","datavalue":{"value":{"entity-type":"item","numeric-id":3233344,"id":"Q3233344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$3EE023ED-B675-4948-9014-C72AA57C35A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d68be8cf3d8a6f66d42ab1d29da10c290510f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1014283,"id":"Q1014283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$AD89573B-7B52-4647-9720-E4562E96C02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9288bf9e5d4edf35ccf3b3881a1dda64b056728a","datavalue":{"value":{"entity-type":"item","numeric-id":4384146,"id":"Q4384146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$7BE1C0B9-9D0D-4045-A996-D33266110D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aacf0d9eee94cb147aba63928e7a70459be73","datavalue":{"value":{"entity-type":"item","numeric-id":3426570,"id":"Q3426570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$45033C7C-3FA0-45E9-A05D-354FC81B0E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195b3d2683d70f457cbdd48623192c2929671d","datavalue":{"value":{"entity-type":"item","numeric-id":5677471,"id":"Q5677471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$B4E193D8-FCB0-441C-8742-3CB1D42DEF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6af8b14e3e35f4108a39f58b550626f0e8699","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$E8139EC6-C576-4DCA-96D0-B042FE0AE41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f7410f2b3f3aa678cbe756d1c8df423b0162108","datavalue":{"value":{"entity-type":"item","numeric-id":4813658,"id":"Q4813658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3550582$87EDA27E-6090-4289-B7FE-03B95EB0E1FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4edd6dce836c528bfd5cadc5a801ce8e49284a1e","datavalue":{"value":"https://doi.org/10.1090/s0002-9939-09-10115-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3550582$00962EEF-C737-474E-997C-615719FF53E1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a550553b4144b2745163d05ba8b107c5661763e","datavalue":{"value":"W1966303569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3550582$74656F10-8D2B-4ADC-AED3-89D08648C662","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0746ab003dd15d8fa557f36c9e19fbcfc9064d59","datavalue":{"value":{"entity-type":"item","numeric-id":5004961,"id":"Q5004961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd559c05faa4a79024056293d80b629ec84d39d4","datavalue":{"value":{"amount":"+0.7667186260223389","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":"Q3550582$F480305D-042D-467F-B75E-566EEE897069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d888702055863ee42be75bbe7ef25f9da1cd786a","datavalue":{"value":{"entity-type":"item","numeric-id":2976339,"id":"Q2976339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555576934e02bf7e855c84bbc634112397daf0ed","datavalue":{"value":{"amount":"+0.7593322396278381","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":"Q3550582$1B6E0BB2-1638-4FF5-AF1B-3F093A192C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45d8573794ada1aa64f19f03d8c714a44e3e92e","datavalue":{"value":{"entity-type":"item","numeric-id":3530396,"id":"Q3530396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0177d301c48d7aecb40a0bfbfdde0bb4483b540c","datavalue":{"value":{"amount":"+0.747602641582489","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":"Q3550582$B138FE1C-A8FB-4C56-8DA4-88A14723D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0ce4da0562e48802d4d33b42e34d41eb397d00","datavalue":{"value":{"entity-type":"item","numeric-id":436224,"id":"Q436224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d5b88ae980db57031275950b05f7df6a294c3e9","datavalue":{"value":{"amount":"+0.7384037375450134","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":"Q3550582$765EDE3F-7780-45AE-B641-412B7C948E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f79ab86eba0b5964976186eb57e07952f1444220","datavalue":{"value":{"entity-type":"item","numeric-id":5401600,"id":"Q5401600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa9e46e5c5ba63b05e8c3e2dc1716893592ed03","datavalue":{"value":{"amount":"+0.7340232729911804","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":"Q3550582$65478825-5C37-4BD9-9848-6D59ADFB8E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3550582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3550582"}}}}}