{"entities":{"Q6935620":{"pageid":21117354,"ns":120,"title":"Item:Q6935620","lastrevid":84112226,"modified":"2026-05-10T08:58:10Z","type":"item","id":"Q6935620","labels":{"en":{"language":"en","value":"On inverse Goodstein sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8087588"}},"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":"Q6935620$D1049028-C339-46D1-B10F-7DE53B651269","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"152cfba7537105183786c1e33633b767396168bf","datavalue":{"value":{"text":"On inverse Goodstein sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6935620$F959F89A-8C8B-4880-97E5-9473DD2A4D2B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fe13305847432a9f15464eb2a20525c8cf344fe","datavalue":{"value":"10.1007/S00029-025-01071-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$A8885064-A342-4B65-B2F8-A0CAA69D5E07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"311c775d0676aaf5bdab837d81745dbac950e6b2","datavalue":{"value":{"entity-type":"item","numeric-id":2683777,"id":"Q2683777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$193121A9-E306-4091-94E4-813C27C3DD30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdc772acdecaaa370d8d13384dbe99593478d7e7","datavalue":{"value":{"entity-type":"item","numeric-id":173625,"id":"Q173625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$AFC1B46C-2569-44C4-B31F-E4F109EFFF2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6935620$2A50AF5B-50AD-4F47-A01C-A742BD6BD943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$F93C8649-0514-4DFE-A979-9A7F05A79347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$7082420A-F440-4943-AC57-3E799C87E9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$F2D62524-861C-4CAB-8E46-CE998CC4E8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$39BABB66-F5CE-4E69-97A2-1FCF2A5EB9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da2176153e815514b86f4fd70e97fc01ed973f00","datavalue":{"value":"8087588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6935620$D63B970E-3072-4D30-BE54-5FA88112CF99","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$5C8EEC99-8458-4FED-831D-7F62FE334C5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3d5699d368b1c8bf6e440413f6608274f308c8","datavalue":{"value":"Goodstein sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$EAC059B0-6632-4336-AEC6-64054B7E2748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99d05b99878f3cd01c64f091728a6d10cfed0c0e","datavalue":{"value":"dilators","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$426D303B-A974-4835-A1EF-121C98942BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdb140aedd988b04d777d34948307da2d866457f","datavalue":{"value":"Bachmann-Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$87CF29B1-B57B-450A-BD75-3DFF6C507365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebd61b62fe39b39a4a91716d59b0fb72c640b76","datavalue":{"value":"ordinal collapsing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$CAD15605-8FA1-4303-BB55-0B88E9EA2080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfa66b600748e9264f2794c3476e82b175e7214","datavalue":{"value":"well ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$94241744-5674-4C87-AA3C-56F8FFF3F19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$FA56C010-0BA1-4585-8816-55EA435EE242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79eaa46c6b82d64a9c7e130d132caba4bbe97d0","datavalue":{"value":"\\(\\Pi^1_1\\)-comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6935620$F9E5A21F-9A90-4ACA-9712-907A1384DCED","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":"Q6935620$82B2A0F3-3FD6-4808-B596-4A67165F1678","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691ac196b0389411d785abd2bd09fbf4b8449bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3772213,"id":"Q3772213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$137AA991-B5C0-4D77-BE8F-74109BA562FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a7a9ac04ef15fb977c0cfc98bbb8dcfac3e91d","datavalue":{"value":{"entity-type":"item","numeric-id":3772214,"id":"Q3772214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$D11142B8-3F84-41B5-8F83-3D9566727B17","rank":"normal"},{"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":"Q6935620$633BBAE5-E954-4B81-8423-175532DEBE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1b20f1625cde09f85637fdb1b31542b5e6a3b4","datavalue":{"value":{"entity-type":"item","numeric-id":6148467,"id":"Q6148467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$2647F03B-DB54-477C-BFA6-169D610D119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d41987120b5faf39331120e4d570087d7aeff52","datavalue":{"value":{"entity-type":"item","numeric-id":5113418,"id":"Q5113418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$10E1F436-8DBF-4BEE-A72B-DE175DF39F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559d023d291e446bba13d5979c34214548a51934","datavalue":{"value":{"entity-type":"item","numeric-id":1109029,"id":"Q1109029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$9BE9BE2D-181D-45FC-8A70-5C2A9F8BE35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9644dceb1536bce1b4b7eb5229486da6a509ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":5214782,"id":"Q5214782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$32AAB27D-39CF-4776-8408-0B8DFAAF8892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069fc99cb46e4a17e82773855cf96a50af6be28","datavalue":{"value":{"entity-type":"item","numeric-id":4750638,"id":"Q4750638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$4E752B59-E1FE-482C-9CDD-16330062C600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af6d79cb7627680af279f9390de4528d7005030","datavalue":{"value":{"entity-type":"item","numeric-id":5344166,"id":"Q5344166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$68920E96-1299-4671-8A02-71E32498B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406b9a3b48c3b8e47ea73dcc8c8436c0db0d7d07","datavalue":{"value":{"entity-type":"item","numeric-id":3237252,"id":"Q3237252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$ABF329E7-C06A-4476-8514-2972BF57FCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665aa36c46020a7e5d20028f78524e6d714b372b","datavalue":{"value":{"entity-type":"item","numeric-id":5205443,"id":"Q5205443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$AA83AD82-41EE-4928-865D-2F5307BA212C","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":"Q6935620$7276FC19-1C97-4FBC-9B28-EE7EDBCC8226","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":"Q6935620$F6CDD9C0-375A-46D0-B0AC-B33171C3635B","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":"Q6935620$B932F0E2-1EA7-482F-A0FA-3F491985D39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e1478b7f27f9f2c3aeb055e668e2983866ad30","datavalue":{"value":{"entity-type":"item","numeric-id":2064043,"id":"Q2064043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$1BA9868D-EF6B-4FC1-8D51-B5D83C83D4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90323d7d75acddf6342365c4f4132a1020f3db84","datavalue":{"value":{"entity-type":"item","numeric-id":6103503,"id":"Q6103503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$610EF207-AA50-4A5E-9C0A-33ECA9D90B08","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":"Q6935620$7402CCD5-72A7-4683-93C0-EB268C989025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd99701bc207cd02ccbc3f54a64a365dc1807c55","datavalue":{"value":{"entity-type":"item","numeric-id":2125990,"id":"Q2125990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$AFA5739F-BA91-43AD-A459-1471DB131710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d9e9195251941a916c414284f781a18c2e6a187","datavalue":{"value":{"entity-type":"item","numeric-id":918549,"id":"Q918549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$49797AA4-4D17-4BA3-8EAD-FDE822A85958","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":"Q6935620$1525E88F-0DD6-423D-98E3-D62B494F5213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11bcaacfea2aa87458e1d3c1aa5260e6875d0121","datavalue":{"value":{"entity-type":"item","numeric-id":5834329,"id":"Q5834329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$98C0FCCB-BD5D-41CC-BD0D-0C80D63A42B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ca4a190903e6132ae837adc7117807885185cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1315456,"id":"Q1315456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$2F73318B-F3F8-478E-A14B-432991CE8591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81c8a262b904aee920dd09909420810680e3358","datavalue":{"value":{"entity-type":"item","numeric-id":3966112,"id":"Q3966112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$8EDB96A4-A6DB-4B2D-B07E-FF425088A448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0dffc55f1a93c6cf3f7f56c1bd747358a0b606f","datavalue":{"value":{"entity-type":"item","numeric-id":3837736,"id":"Q3837736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$D43C3A76-4C48-482A-ABDF-94B8D812ADB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aff5bcf5d2df2fa801435cc8cbae737d04f7f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1032636,"id":"Q1032636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$F65A792D-2D30-4F8B-9EE4-F486E5446B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26b6fe1dc8e2bbf5665583e54521fccec9f7a34","datavalue":{"value":{"entity-type":"item","numeric-id":3011121,"id":"Q3011121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$3EC9BA09-65FC-45D0-8864-8343EDEFC7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7df1f230b0a1f7c4b06732c60d23fdde79f7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3809793,"id":"Q3809793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$BDF013FC-91D4-466A-B6E0-5C5719D0CF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f2f68614948a6f9639403077e134483bc245d5","datavalue":{"value":{"entity-type":"item","numeric-id":3081650,"id":"Q3081650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$6A9EEECE-6B56-49F3-AA0C-9B11F514AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b643687f6ebcb25fef098f9c84d1cf9e6119562f","datavalue":{"value":{"entity-type":"item","numeric-id":5361250,"id":"Q5361250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$13018D7C-F171-4F81-B707-51CA7BB8ABE5","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":"Q6935620$BC4E8A06-222A-4D17-88F6-2960CD7517F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba6c431daf3ffbe713a7dc7231da3c8fc2d834","datavalue":{"value":{"entity-type":"item","numeric-id":2906572,"id":"Q2906572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$9D0BE1C9-97E3-4425-B2BB-FC3E83CAABB7","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":"Q6935620$F77C019D-683B-4725-BA4C-6DA2C94CB043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb42af12e87b693c7af0edf08cc8e55e0ed73bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1117221,"id":"Q1117221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$07B2ADB1-FA0E-4149-BD6C-45C4060F44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14edfe163b3a0474a80b3ea62e45dc98ac8e2f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3353013,"id":"Q3353013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$AA2CF3AB-CE89-4996-A516-32086BE5B058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ca44248babe5da29b66712be4ad8299f2b8629","datavalue":{"value":{"entity-type":"item","numeric-id":2683778,"id":"Q2683778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$08B212A2-9DAE-4238-BDB1-B6670E62E68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8007eb1b070aba3b21686a5ccabfba9c605dd31","datavalue":{"value":{"entity-type":"item","numeric-id":512137,"id":"Q512137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6935620$7E9A6D64-5D23-44B6-A885-6BCCBBD48B00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On inverse Goodstein sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_inverse_Goodstein_sequences"}}}}}