{"entities":{"Q5300073":{"pageid":7329647,"ns":120,"title":"Item:Q5300073","lastrevid":100728362,"modified":"2026-06-05T22:57:52Z","type":"item","id":"Q5300073","labels":{"en":{"language":"en","value":"Partial impredicativity in reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6180294"}},"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":"Q5300073$E14017A4-19EF-4753-87CA-EAA4E90CEB99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b44e59418e25c0c436b13fa9ffe8dcc2a5908c1","datavalue":{"value":{"text":"Partial impredicativity in reverse mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5300073$79388B4A-D4E7-4A13-9FBE-D8FC28411D8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e19a4ba91376488745eb44fca8a1f83722f9619","datavalue":{"value":"1275.03079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$B0DD5AD1-2101-4413-AEB5-F36A4768BB11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300073$94220D0A-9CE4-4535-AE19-CC1567F7017C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c4d994537ec42b6c97cc8e2c49237541c4423dd","datavalue":{"value":{"time":"+2013-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5300073$112BE775-E430-43FA-A6D0-B7FD8FE05CA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dec7a5d4708c0218c7beb7b509d59508e30268c5","datavalue":{"value":"https://arxiv.org/abs/1106.6063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300073$18B002DE-73BD-4D65-AEB6-05DF01F2EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d349f63df80b92f1c27a10c6956ec6022c5df7c","datavalue":{"value":"https://projecteuclid.org/euclid.jsl/1368627060","type":"string"},"datatype":"url"},"type":"statement","id":"Q5300073$2CDBC561-4C52-47D3-ACF6-6C294707F2CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$1AFFC0D4-4E0E-4141-950F-B3E46AB7A9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$4900918B-0A63-4E73-8D0F-0ECC018F7D63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9913341735d80e1fcc973fdf2ba9ed6f172dd2ff","datavalue":{"value":"6180294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$C9E25060-939C-4C7F-A9BF-0ED4992F5A7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$70EADA0B-9C02-48F6-9CCA-483B1BFF3C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5795787683dc16a0e892761f65c085daecc3346","datavalue":{"value":"impredicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$AC06FE7F-0437-443F-AD10-8F7B6F19A26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe73a30836eeed6159361d2eb6613c6ae902e4e","datavalue":{"value":"quasi-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$CA3B1141-9A8B-4042-92CA-3B93BB47BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad2d4d305adb1f663b7db14c0f18856f98f27da9","datavalue":{"value":"Howard-Bachman ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$9ACE3C25-67D0-4D3D-AA1E-6CAEC2DCD0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$16695EFC-F100-4E19-883A-4F8E7DAE0CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$1BCDF637-BCBE-451C-8ABB-A902CD992EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e239838943bb6b68a15f2eb86c9992c335933f9d","datavalue":{"value":"ATR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$7F3FE173-0735-4620-ACB8-FC2FBD013612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b3ae876501aec167608f43970ea49044fe647e","datavalue":{"value":"Nash-Williams theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$D98B748C-DD68-40DE-8677-1E6A080A0354","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb4fe43c673d973685fe281c0abe3bf00e99d46","datavalue":{"value":"Menger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5300073$F332F488-1E49-449C-A2CA-2F5F3F19F0F4","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":"Q5300073$6518D3BD-4DAF-4AE2-B48B-59DD02AF6506","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e491c9cd98aa0af0eeb9db4a32fa4c1db61a4ef","datavalue":{"value":"W2593536082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$F448D3F7-AF46-44E8-9DEE-B8B79987E7D2","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":"Q5300073$338DC8A9-3680-445E-8B9B-519A23DB08FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46da379b7393c7674f5add3d3bea57420eb0d58","datavalue":{"value":{"entity-type":"item","numeric-id":1128188,"id":"Q1128188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300073$E721FF4F-CDC8-4CC3-AF0B-0E472E2F8482","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":"Q5300073$DB53339D-4089-4085-8C49-9FC89D1FCC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"714403b52d81558cca3715181ccf1386924c1e81","datavalue":{"value":{"entity-type":"item","numeric-id":412061,"id":"Q412061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300073$27684AE6-710E-4259-AADF-0D3BC35D4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2c7bbd8aeb065572be5518f5b89cf1cd49c3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3718711,"id":"Q3718711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300073$9D6558A9-481E-47A3-9A4B-9C7C489DD7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9647bfa341a64c29feed40e53149718272c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5300073$31713279-2934-482C-9118-B6CA116E340E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc5da9adb9dbd0c79cedc75c3b91fe4596dab5b6","datavalue":{"value":"10.2178/JSL.7802070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5300073$FBB19257-DF54-48D7-9CC6-68F92F64F52E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b36ee2c35c29238818024237fdd2a78acfedd9","datavalue":{"value":{"entity-type":"item","numeric-id":1210137,"id":"Q1210137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11641c9536c2a20255042aeebce5d920f30b37fb","datavalue":{"value":{"amount":"+0.79529417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$626742A3-FEDE-40AC-A95D-70415B802D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4ce2a61f75700767d8851568f4f58fa199487","datavalue":{"value":{"entity-type":"item","numeric-id":4262583,"id":"Q4262583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696b295a9214b80aa4b33e69baa815ccf55f47b3","datavalue":{"value":{"amount":"+0.7875315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$B650C9AE-A5FF-41A5-A0B9-4041196D164D","rank":"normal"},{"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":"ab6f81ead3bfedae11deb05ed8f3150782b6ad79","datavalue":{"value":{"amount":"+0.7858214","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$54FEF0CF-96FD-4DE6-9E6F-03215FE978B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ce372f1010d15baf46e2457727e2f40a7802468","datavalue":{"value":{"entity-type":"item","numeric-id":4224079,"id":"Q4224079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff87f965a02c9e858c0b15200955595e048dd0b8","datavalue":{"value":{"amount":"+0.7758968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$5C9C5BFC-3DB0-4816-9CB3-F7649037E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259b5fd7a0f989fc0d40f257fa5f1477fdb4f3f7","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a297e2ba07a63fe805ef3252195d2ef42036062","datavalue":{"value":{"amount":"+0.7758357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$EEC41EC0-2419-4EEE-84F1-C5CB3CDD9728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cb31f927016e7e06ef12bf033e414f99050c3eb","datavalue":{"value":{"entity-type":"item","numeric-id":5711887,"id":"Q5711887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e1c05d38fdc139079243b127e9eb07e5a7ac33","datavalue":{"value":{"amount":"+0.7736909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$389646A2-1D22-4367-8A1C-CDC6A76914E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53fcc469e0f6f23ac5320095787000044d4296d","datavalue":{"value":{"entity-type":"item","numeric-id":5311768,"id":"Q5311768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b757c2c333936103ff810cbd2b8f0de186086e9f","datavalue":{"value":{"amount":"+0.76790094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$A5ADEBC3-34D7-4036-B1E2-CCC029BB0B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df816f8ef35a9069a344fd745e03c72914bfa349","datavalue":{"value":{"entity-type":"item","numeric-id":2683778,"id":"Q2683778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b314df2ad348df084c4a449bfea01e49cbbf3808","datavalue":{"value":{"amount":"+0.76679504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$9AC8E85D-B3EB-438F-A3A4-497210571627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0301e32857eabb78f8ed5ac4c5dac39d58e9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5479570,"id":"Q5479570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57f90b591016ee490e70ed9f391f6883afcafb79","datavalue":{"value":{"amount":"+0.7624914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$08F3CCB0-2D7B-4B40-AFAC-ED194BB86062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bf4180bc0ab45464eb3a817b3c7bb01b1326099","datavalue":{"value":{"entity-type":"item","numeric-id":6047666,"id":"Q6047666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627abfae1ed3a50a46406f939803c81a9e21b038","datavalue":{"value":{"amount":"+0.76191705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5300073$A657E99C-E6EA-483B-9A1B-9C464C27D06A","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":"Q5300073$BB6E09F4-6857-49C8-89B3-5C01A38F0A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial impredicativity in reverse mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_impredicativity_in_reverse_mathematics"}}}}}