{"entities":{"Q1633897":{"pageid":1644638,"ns":120,"title":"Item:Q1633897","lastrevid":72390831,"modified":"2026-04-14T04:35:21Z","type":"item","id":"Q1633897","labels":{"en":{"language":"en","value":"Refining the taming of the reverse mathematics zoo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996545"}},"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":"Q1633897$8AD0E384-F123-4211-98E6-1D5ECD18AAAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21cc5010459daa79a0728595357b25536a253515","datavalue":{"value":{"text":"Refining the taming of the reverse mathematics zoo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1633897$C88126D2-55C0-4857-BE45-74077A05E843","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac3492b2c6e1068bda8be18e1c3266f0847a5bb3","datavalue":{"value":"1455.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$AF1338DD-A4C8-497B-8F01-9831F2266CF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a414b7b0d5473b3db8098e43c8d222225d9d4c5f","datavalue":{"value":"10.1215/00294527-2018-0015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$EB264BF5-4C45-417A-ACE4-79491CF20DF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc20d12185e1fc903399436bb39b62d4644cd56","datavalue":{"value":{"entity-type":"item","numeric-id":636386,"id":"Q636386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$80B19676-C9C1-4439-A779-E87BB85E93D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$162D3B53-EFDB-4120-A1F4-5074A4DC0E18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1633897$76712F82-A9E9-4065-BACE-6BB4ABAC9C3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dcaf13138329c6d903d76aee4101c419e60aa10","datavalue":{"value":"https://arxiv.org/abs/1602.02270","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633897$F181358C-F4BA-426C-B9D3-57E86DEABB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c5cf6537fb03e25c3c7bca5fd3a2e10006dc704","datavalue":{"value":"https://projecteuclid.org/euclid.ndjfl/1539309631","type":"string"},"datatype":"url"},"type":"statement","id":"Q1633897$16CBC3D4-59E8-416B-9EF9-138A8784C537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$2FB1CAD0-0349-4D5A-8946-BA276E2C0C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$7523D22B-DA72-4B37-8E28-C383D743F544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$D56D7A28-36A5-42D5-A59D-A2812F059536","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23e32ae59261b19304538adb11634080aed2fdad","datavalue":{"value":"6996545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$5EADC644-E292-4555-97CE-4C85299BD4F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf0a0d929b9a02ed4dea0e9db58247a82b31736d","datavalue":{"value":"higher-order reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633897$1EBC565C-27E5-44C0-8BEE-D54338AF2004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1cc480192c6f4f5a264077a475600121e51a55","datavalue":{"value":"reverse mathematics zoo","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633897$3E9444A2-D8C2-481F-BE94-7ABE0BA96099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1633897$D3457AA1-8DAB-491F-AAB2-D5DC2D7B6DD8","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":"Q1633897$D001BE14-42FF-4550-B634-890DBEC03515","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ea08b48cf22c5d36a2242f343f3bd1bff4deb15","datavalue":{"value":"W3100247314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$C31A3F67-0C8B-46A6-B861-84B2C586D305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"148ea55d4eaac3fa51f4c936637a62d92bd1c1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5311768,"id":"Q5311768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$38D8E0F9-C283-4F8F-838F-17AA5CF5E451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9e593366f31d930f40754b240c5653248ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$4D39416A-E2A8-4B57-AF55-FD7132779CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b7e3412f5ce3ed00cfd9ba099e648c2e12ccea","datavalue":{"value":{"entity-type":"item","numeric-id":5347283,"id":"Q5347283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$EE81E4A4-511F-4764-AEBF-8BF800808A2C","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":"Q1633897$B7E47489-3F6D-4D10-9E34-28E0527EC455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2127de484360fcd4a5ed308d12f290ea2cbaef","datavalue":{"value":{"entity-type":"item","numeric-id":375889,"id":"Q375889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$375EE851-191E-454A-B786-9A306C8C8CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86317a24ff1a69701fa28b9d706f9fc28cca249","datavalue":{"value":{"entity-type":"item","numeric-id":4527932,"id":"Q4527932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$4BD1198C-F926-469B-BC52-9AFF38CB3EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e172ce80cb42a286d92f691e17015febc427c38","datavalue":{"value":{"entity-type":"item","numeric-id":3642694,"id":"Q3642694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$511BFD7B-8135-4D0E-B4A8-3386FA8F3473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$0D6D0B75-ECEE-4C1C-A117-7528CE4DCFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372ac7410c3602549aaffbccc69cf9a80d4b9494","datavalue":{"value":{"entity-type":"item","numeric-id":5711891,"id":"Q5711891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$84ADF796-BB26-41A6-B49F-F102C17B8F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f6958cb6248476ba25cd5766bb6e192186a469","datavalue":{"value":{"entity-type":"item","numeric-id":3174640,"id":"Q3174640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$D59BCC29-F7A9-463E-A99C-4AB12E98627C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2770e1b1bced5acaf1a085e30e72a51ee32bf","datavalue":{"value":{"entity-type":"item","numeric-id":4149449,"id":"Q4149449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$F981FFC0-53A3-4120-90CC-D91BA5283DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e348d1d642c40962a544082402c4292107f7dda0","datavalue":{"value":{"entity-type":"item","numeric-id":5920791,"id":"Q5920791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$064CC95C-B20A-4EAB-95CD-3A27BE37CF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db69c3d1bea51cae9245fff8b1ff8bcd37190160","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$C03CFA2C-65E3-4922-9535-55E593FB5E3A","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":"Q1633897$38B79834-0BA6-4C4B-915E-122B979800A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$75491002-AFE6-45C2-859F-F258AA2131A5","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":"Q1633897$F261D4AF-66BB-498F-BF99-3B7F5D8AAB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba82a794e7b50f883ca25aef5af8219c4085648","datavalue":{"value":{"entity-type":"item","numeric-id":714729,"id":"Q714729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$458292B6-6538-46E5-B3F2-E05495B3661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e0388cd428beae5d149e764b02a491c3fb23ea","datavalue":{"value":{"entity-type":"item","numeric-id":4304143,"id":"Q4304143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1633897$55310E6D-FD0D-4A5D-B673-EA9370E74B9E","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":"Q1633897$696A8313-AA65-4893-90B1-6961CE560D3A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"96e3b4dd8d36e0e30b1ed6a186c62f22dc614855","datavalue":{"value":"Q129097310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1633897$03D39311-BD4C-45AB-B3E5-89BCBA7CF4D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d91becf8330b0b88f55cfff50f7dedfbdff28","datavalue":{"value":{"amount":"+0.7443161606788635","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":"Q1633897$49F80A7A-CF6B-4229-82D7-1F37812DFDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f166abf1146e3697ae8bc68f9cebb7b750daafbe","datavalue":{"value":{"entity-type":"item","numeric-id":5320933,"id":"Q5320933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72617915c68f4070ff341e150785da468105ed4","datavalue":{"value":{"amount":"+0.7408481240272522","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":"Q1633897$77120AE5-5C2D-4B48-A3EB-C1E8EA7BD6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb798e4b4a4d369ca1c87f182afcbda7942f8909","datavalue":{"value":{"entity-type":"item","numeric-id":3159415,"id":"Q3159415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bedd97e90846930e75a46cfdea9d687f6c8357d","datavalue":{"value":{"amount":"+0.736084520816803","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":"Q1633897$6B2521FD-62C0-4057-8324-141879E8EF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9dffd742df7b4133cf956d248793fed2440a26","datavalue":{"value":{"entity-type":"item","numeric-id":4440538,"id":"Q4440538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9fc69e3acc140e45f18d902d5bf90788c8df35","datavalue":{"value":{"amount":"+0.7347856760025024","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":"Q1633897$C4264CCB-2BF7-464A-A0DB-0C4FEC3B917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2845a83bf4d08ae01b37f0d67c54a5996b0be2f5","datavalue":{"value":{"entity-type":"item","numeric-id":4968478,"id":"Q4968478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ac8528e80ba825bd81e7878781a71bac7a20cd","datavalue":{"value":{"amount":"+0.7330196499824524","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":"Q1633897$4397A244-3074-499F-9F79-A61F25F38721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining the taming of the reverse mathematics zoo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refining_the_taming_of_the_reverse_mathematics_zoo"}}}}}