{"entities":{"Q7229182":{"pageid":24476651,"ns":120,"title":"Item:Q7229182","lastrevid":84470630,"modified":"2026-05-18T13:52:43Z","type":"item","id":"Q7229182","labels":{"en":{"language":"en","value":"Induction on dilators and Bachmann-Howard fixed points"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8186687"}},"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":"Q7229182$B8967F98-7E33-4DDB-86BF-057E0367DE85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b62c5ec195a0fa633cbcd51d51f788908d8c4f4f","datavalue":{"value":{"text":"Induction on dilators and Bachmann-Howard fixed points","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7229182$F84B0C77-6599-48B2-8C1F-AB58BA577F52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05a63490bfceaf6e826d89531daffaad74445397","datavalue":{"value":"10.1016/J.APAL.2026.103740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$E9CD4F77-7583-4C1E-8A4D-7176206C4F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$D22FEE00-1C75-4496-89F0-4310E30350BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46cde92a906782ad5f79b8c3d5306f5cd4f870fe","datavalue":{"value":{"entity-type":"item","numeric-id":526963,"id":"Q526963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$3DD695FD-D3A4-492C-97EF-0DC546DA344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35c1c300a719bd5f4d1087a4b9df89abcc695541","datavalue":{"value":{"entity-type":"item","numeric-id":408159,"id":"Q408159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$6AC2FABA-3765-4AB5-B5EC-815BF940E3CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$E98CF3EE-578C-413E-BB3D-3A4FC5349372","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68b22735f175f8ec2f44ea6e27cc9500be604411","datavalue":{"value":{"time":"+2026-04-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7229182$EF9BBC59-5BFF-4CDE-A1E8-4E9A116B1C37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$68369361-8964-4F3E-BEB5-01F53780E8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$D0E215E5-53BE-4A5B-8EF4-ECB69B4A2C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$50B93B8E-BD43-417E-851C-3EAD93866CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$2F6CEDC0-DFA0-45DE-B7A0-5F5201A7BEAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aad0b92b25e010f6c2937a36517dcb38f2f2c2f6","datavalue":{"value":"8186687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7229182$C05F9439-5E9B-4912-A21F-85AB9C0E0278","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc44c378b6144cf26f52c56c506c65eaaf9a6116","datavalue":{"value":"induction on dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q7229182$5F51B969-24BF-43A4-BBDA-4463C076E47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae26b87b7c925ccf157233f64e4afd8127ecc77f","datavalue":{"value":"Bachmann-Howard fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q7229182$9FDE099A-EC19-4424-AA5A-B7388AC635E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d83ae4d93280f57b5b9153eec3540bc279cb3d","datavalue":{"value":"well-ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q7229182$C14E0067-74E3-4E0A-8247-30675DDFA626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d0adfd565630b16f689e4cf5e40e804ec24c8e5","datavalue":{"value":"\\(\\Pi_1^1\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q7229182$7CCA073A-0510-4BA9-9C01-F8830E131C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7229182$A94BBC69-C463-4C99-A61B-74A058331F89","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":"Q7229182$07685920-6182-4520-BAD2-C83F03B4FED0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad338ec9866f6c484e2d4ea36a5b969220159581","datavalue":{"value":{"entity-type":"item","numeric-id":3478402,"id":"Q3478402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$913B7414-83CA-4D5D-8F0D-F8F4FACA7221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$B49BBDE6-9D8F-4D08-AF94-AA3ACB606A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d3d7ba16fc96b63b1bfdd1e68525ce02bc6922","datavalue":{"value":{"entity-type":"item","numeric-id":2274030,"id":"Q2274030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$4D700A87-FA34-45F4-A218-27955B513ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2412f6d76ced83fef4e1f70071e6d6c48c763241","datavalue":{"value":{"entity-type":"item","numeric-id":5118047,"id":"Q5118047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$90BFFA55-2964-4E48-83A1-B8828A262E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e9b08e99192fee6f2c4dede50c10b00f894f3","datavalue":{"value":{"entity-type":"item","numeric-id":5107241,"id":"Q5107241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$D9406BCA-220C-4EE2-B7A0-16A4298D5751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c90b2be82172a1d4bbb23a9cb870b3b1b35335","datavalue":{"value":{"entity-type":"item","numeric-id":5159496,"id":"Q5159496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$3B5CEF09-5620-421C-BB4F-FDF6498F9FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9963bca14d2bc07135bd5c00d5bbc42bd324a7","datavalue":{"value":{"entity-type":"item","numeric-id":2216034,"id":"Q2216034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$28746D66-76A9-4445-98AD-0F2C1FC43176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf865d53017c6b47b35617d97c958ff67f269fe","datavalue":{"value":{"entity-type":"item","numeric-id":6080077,"id":"Q6080077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$66DD29AE-E488-4DD6-9E51-5A067CD27557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17989129559e41cfb06edc0b79311d4fa6022df","datavalue":{"value":{"entity-type":"item","numeric-id":3960844,"id":"Q3960844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$D9BF8B1B-3372-4D38-A0D1-771ECCDE383E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0382ea3771444ac28fa8984e87f39efe4b4de5bd","datavalue":{"value":{"entity-type":"item","numeric-id":2565874,"id":"Q2565874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$F7C1EB25-9049-4F01-81A4-A21381705521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$6B6F6A6D-D981-4AAB-87F9-CFC617FC3783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332d1484ef56c049acd75f3683bc7102acbea27e","datavalue":{"value":{"entity-type":"item","numeric-id":5625138,"id":"Q5625138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$A5A6B7F0-2623-407A-8189-726693194542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6fb6fe15333f1d1935acffb3faa9a2373939aa","datavalue":{"value":{"entity-type":"item","numeric-id":1121880,"id":"Q1121880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$6CF0AB4D-C268-4C15-8587-F3EABEBE052D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b8294d8e3a67ff3abbac73ea7f87d2c36776f8","datavalue":{"value":{"entity-type":"item","numeric-id":4032873,"id":"Q4032873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$4771A30F-467E-4A13-85B5-93850F251E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f239548cb1863bf3e85251c695ab17762440852","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$D8474E43-DD63-45A5-9FE5-3451BC2E5E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b51f559b6b724a92471202c193b8556bf05460","datavalue":{"value":{"entity-type":"item","numeric-id":5055281,"id":"Q5055281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$74CDE881-6C63-418C-AA91-D57990F1835A","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":"Q7229182$974835B3-7934-4B1A-BB81-7603903D9B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caf334b1d2a59e70f27a4cca675b6d4b6daf7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3960692,"id":"Q3960692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$26AB7B9E-7B30-46A5-AF71-5EF1A09F9C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6b37a1cd4f4b47b68d114318dca452481bea445","datavalue":{"value":{"entity-type":"item","numeric-id":1919522,"id":"Q1919522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$8B5763FB-1503-42CD-A728-3813B2AEE506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943a00b70bd4ab7fb0c50f8c7af5d3b71afdfb55","datavalue":{"value":{"entity-type":"item","numeric-id":6935620,"id":"Q6935620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7229182$C55A2082-7D3B-46F1-900A-3AA8A382DF91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Induction on dilators and Bachmann-Howard fixed points","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Induction_on_dilators_and_Bachmann-Howard_fixed_points"}}}}}