{"entities":{"Q2234350":{"pageid":2245093,"ns":120,"title":"Item:Q2234350","lastrevid":71636226,"modified":"2026-04-13T23:33:14Z","type":"item","id":"Q2234350","labels":{"en":{"language":"en","value":"Ackermann and Goodstein go functorial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410999"}},"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":"Q2234350$EDEF1FD9-E8E2-44D5-A275-7875B9164D28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"519a414032b40876301c926f081925d1ce914e7b","datavalue":{"value":{"text":"Ackermann and Goodstein go functorial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234350$BE02765F-EE45-4027-90AB-A5BDF47684AC","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":"Q2234350$B8C60517-95B4-4A61-AC27-BA6A83FCE0B5","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":"Q2234350$F7692343-6213-4ECE-9B66-5106B7AE5B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$CA65A098-261E-4369-9B6D-6D6D4DA317AE","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":"Q2234350$BF103E6B-6919-439C-83E3-572A11F7A660","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$A8A2F603-036E-4F96-B6F9-6FA64444ECF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d505cd39ca96f19f450c8fbeb6d9a9721fad674","datavalue":{"value":{"time":"+2021-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234350$FF9742BF-D981-4017-B8B0-62B76318D839","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f63addf4d8a400c35fc408f4a9d7e26039ae9695","datavalue":{"value":"https://arxiv.org/abs/2011.03439","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234350$AF5CA9F2-826B-4286-91E8-1ED89FDD2E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7dfaba09f20a96d50b8e32769d0201bbe1b79bb","datavalue":{"value":"https://eprints.whiterose.ac.uk/178744/1/Ackermann-Goodstein-functorial_revised.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234350$165B4C08-9BDD-4AA5-94BF-97FF81770219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$08A56821-11F4-474E-92E4-2731D8F8EDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$5993F1AE-267A-4EC1-A747-D8ACF573B7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$22A73C2C-85A9-4414-9EA1-18D9DED67EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e30d0952bb2a3066a5fb34a2b20ff5664b6749ed","datavalue":{"value":"11A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$FCC2354A-3D83-432C-95AA-3CF233C3E232","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b932f7d290c595a50ca874bc0268ace0db8e5948","datavalue":{"value":"7410999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$2A9F665B-98E8-4375-AB3E-CF1F8786FCF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c366d9e44e0d6a9e2cdc753868eab05ee1b2ecc","datavalue":{"value":"Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$BF682880-B0F6-495D-87A6-A27223E392A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb4e202d418097bb72e9fce4ec5930025223c452","datavalue":{"value":"Goodstein's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$FEBDCAB3-9D6E-4EA7-BCCB-F6B09E635D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e0429c0181e61ca24595fb1daf0ed58fc13bca0","datavalue":{"value":"number representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$58C4FADD-BCFA-4A14-9DB7-385E54796EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$BE03467E-89C5-474C-8EB5-F0775CE04641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"702e0f09fd46f4ba42d2b868ba15e1601964ad57","datavalue":{"value":"Veblen hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$A19E30AC-E0BC-4DEC-8BE2-5AA9EA284E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d83ae4d93280f57b5b9153eec3540bc279cb3d","datavalue":{"value":"well-ordering principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q2234350$7EAF456E-13E4-4255-8E19-C5438AFF49B6","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":"Q2234350$F500E6B8-0398-4375-8292-941431179A54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46896cdb9ef92cd00d788da0855fc000a7bd4108","datavalue":{"value":"W3199855912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$EE386B78-75F6-42D5-A154-2957FD70623C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400c50e85dbddb34619a8c3aab23708069973b94","datavalue":{"value":{"entity-type":"item","numeric-id":1032626,"id":"Q1032626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$B3C0AF37-A9E3-451D-BB10-3BEA2539E8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80dcdbc651105fe69e6e02d85a2a0aec342f7f","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$718FBC3B-2C1E-4971-9F99-3A78233A9CB9","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":"Q2234350$F3F80579-E7FB-4CC0-8FCC-C49DE76EC24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f910cf9afe79ee57cf24ea805ed50f78ba6da7","datavalue":{"value":{"entity-type":"item","numeric-id":5544287,"id":"Q5544287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$12AB37D2-49F1-4905-9D9D-5F3B25FC4874","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":"Q2234350$5A774A0F-4D33-4D17-BA50-9FE101C43B53","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":"Q2234350$8E29F94E-3D41-41AB-97C1-CC5E4F22B55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$EA71D058-C253-45EB-8F8B-4CA3481B6B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97dc288c0e9f823be86d021de4ec9cff71dce18","datavalue":{"value":{"entity-type":"item","numeric-id":2647392,"id":"Q2647392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$E384325E-EA89-49D9-859A-C147DEA02616","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":"Q2234350$DF2ACDAE-2646-4E80-BA2C-ECFF6D01687A","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":"Q2234350$1FEB529B-41DB-4059-AAE7-F2CB60710D0C","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":"Q2234350$6B2AB9E0-FD56-45C6-A485-67C120CFFF1E","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":"Q2234350$194DA0EB-55C6-4856-AC05-E39334E7F028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d3cba36fed6952a30f0426a2d81ccf16b286f4","datavalue":{"value":{"entity-type":"item","numeric-id":2879086,"id":"Q2879086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$AC8352FB-F1FD-40E3-B67C-71B654D37FB5","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":"Q2234350$6363E30F-6BC0-4C63-8CA6-7D5EE7BF2A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19e6b67aa89c378e559735e19b871a0f761c2a7","datavalue":{"value":{"entity-type":"item","numeric-id":4304140,"id":"Q4304140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234350$BDDD9215-6823-46B2-916C-071A1B5FD792","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7cf012537d96c7643c406866b147ad877e0779e","datavalue":{"value":"10.2140/PJM.2021.313.251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234350$5025D4EB-F2F7-41D8-B4A8-3FCDD8EF6AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3dbdd68e6460734e4f488161216c559143d0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5137319,"id":"Q5137319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b27cc98997ec8775e3bafe92b581db4ba53afcaa","datavalue":{"value":{"amount":"+0.8383653163909912","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":"Q2234350$BCBC9F85-FE47-479F-91B8-F31271309022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3822b122d61d03e951240d266962a22975aa7b","datavalue":{"value":{"entity-type":"item","numeric-id":2106602,"id":"Q2106602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f386d4dd0da5e71f2139707c703e6735d1527a3a","datavalue":{"value":{"amount":"+0.8171970248222351","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":"Q2234350$C822BB2A-3B3E-4B6C-ACFC-2FF558E90103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d35bde9436712655a5199037ff8d2d46c247c39","datavalue":{"value":{"entity-type":"item","numeric-id":5113418,"id":"Q5113418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dd553ec14d5c7b7a07b26f20144ac5fa14232a","datavalue":{"value":{"amount":"+0.8142528533935547","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":"Q2234350$CCD8D1D1-BAF7-4BB3-BE77-D42EAC8AFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e303594b188896a74da1e75be8428cad6a0cb2","datavalue":{"value":{"entity-type":"item","numeric-id":4959664,"id":"Q4959664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5526cbc035892af4610bebb7def4758f7dde6f","datavalue":{"value":{"amount":"+0.8131575584411621","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":"Q2234350$F7A59D9C-CC6A-4CFB-85DF-E385A78E06BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ee0c9d7555d05dc33f92c7ec0c51593915c958","datavalue":{"value":{"entity-type":"item","numeric-id":6167156,"id":"Q6167156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8b14d00567cd4c605d69e158106c17bdcb0c83","datavalue":{"value":{"amount":"+0.7896415591239929","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":"Q2234350$BD379767-3C46-454F-97D2-7C01D3B9CB42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ackermann and Goodstein go functorial","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ackermann_and_Goodstein_go_functorial"}}}}}