{"entities":{"Q6935620":{"pageid":21117354,"ns":120,"title":"Item:Q6935620","lastrevid":75854766,"modified":"2026-04-21T08:35:57Z","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"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On inverse Goodstein sequences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_inverse_Goodstein_sequences"}}}}}