{"entities":{"Q4959664":{"pageid":6989246,"ns":120,"title":"Item:Q4959664","lastrevid":55388188,"modified":"2026-02-17T15:17:23Z","type":"item","id":"Q4959664","labels":{"en":{"language":"en","value":"GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN\u2013P\u00c9TER FUNCTION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7396324"}},"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":"Q4959664$E8FD8A0E-E44F-4CC1-8442-895A96CE3867","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1b5eeb60e758d35dd8be4681b5601c535a9915c","datavalue":{"value":{"text":"GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN\u2013P\u00c9TER FUNCTION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4959664$4FEA3399-D672-4348-B8E5-5045080F8978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$F2927BEB-8ADC-4281-9511-8B6159015264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8d91eb383cd112a6f423cf65f9ae246ca32dde7","datavalue":{"value":{"entity-type":"item","numeric-id":1084099,"id":"Q1084099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$E9FAC1C4-69B7-40C6-83AB-2D2BE8ECA9B1","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":"Q4959664$CCCE0188-BFF5-43F7-A369-E78E54FB08FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"627782bb8e66e4f5813f03d60fbe78f72f4da774","datavalue":{"value":{"entity-type":"item","numeric-id":2795200,"id":"Q2795200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$BA9E8B3E-B54A-4C29-A8AF-D1E25BEC421F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"55e71075836c24553bd3a25792e8730d6fcfe234","datavalue":{"value":{"time":"+2021-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4959664$E2D4D0CD-398C-4BB9-9A76-4687FF05A1C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$18C4421F-F30C-40C7-A1FD-ABF58E1A9292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$FD4CDF24-870B-4D83-9C41-C9FDC87B8BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$50ACA342-1CE6-4095-96ED-92DB4F0DC6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$38070A20-D1CC-419E-8465-F2CB0A36684E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$AE2ADEC8-3D9C-4552-8853-992135A87886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01ec9395be50886e43682d8692ac9492f3909c6f","datavalue":{"value":"7396324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$760773CF-2180-44A4-9124-A571B0AA8792","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e359ed813678ec07068b8037fa146b6ab7443df","datavalue":{"value":"proof-theoretic ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4959664$12DE8DFC-C9F3-406D-B49A-39B05A0F0A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010451b8e9d2e70fd32b2bcaf80a677912be4fd8","datavalue":{"value":"fast-growing functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4959664$655784B7-DEC9-4036-9EEC-DF7649707F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba60e0c3545a5fca9336f00d3944b0b7357a69fa","datavalue":{"value":"Hardy hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4959664$9FC7FACD-8E04-47DC-AE59-440FD4A18A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b53a905acf1801d58cc30fb0954a78fc2caf09","datavalue":{"value":"independence results","type":"string"},"datatype":"string"},"type":"statement","id":"Q4959664$50FAFF6D-BE25-4A76-ADB5-2E1C44F51F76","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":"Q4959664$165024BB-87C6-4527-B5CB-24669D02DD00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09ac18898c43dbcd016f5c5a62ff65cf477c4a3e","datavalue":{"value":"https://doi.org/10.1017/bsl.2021.30","type":"string"},"datatype":"url"},"type":"statement","id":"Q4959664$63804512-AA02-4363-9EC2-E5A2EF4BF5A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d4867adb6c78a744b90ad0d334d2cd950e23c511","datavalue":{"value":"W3199560146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$8A73B2D3-DD29-4F0D-9CBC-58C464B4B388","rank":"normal"}],"P223":[{"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":"Q4959664$EDA2033D-E661-4399-BF2D-6F20905CB8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b220dbc781dafa493813c640157524f7a834d9a0","datavalue":{"value":{"entity-type":"item","numeric-id":1295413,"id":"Q1295413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$DA44A433-CFC7-461C-AA83-16CE75AB3F1A","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":"Q4959664$BA3810A6-D388-4CA8-ABCA-86368D0CC2CA","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":"Q4959664$0FBECF23-51A3-49BF-9FA3-99A3F8CF1855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7fa35c0c7bf0cf019d342631a1fc438315dad93","datavalue":{"value":{"entity-type":"item","numeric-id":4304112,"id":"Q4304112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$167F9669-BB58-40B1-8EC8-7229AABF82C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a454ef6b42682012c40ff7e7cb072f359af068d","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$22280C5A-89E9-4A0D-B137-0CB36EA51AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53896d5eb3675aae4ccf944284341c082a1794fc","datavalue":{"value":{"entity-type":"item","numeric-id":3768896,"id":"Q3768896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$0AA972C3-1108-4B2C-9AEB-267044150A97","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":"Q4959664$F0F06966-08AF-406D-9333-D5B32FF36BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627dfc40f56d32772b1586e3c2b075a4cffb4a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3682477,"id":"Q3682477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$53177222-2BC0-4E98-AB41-25F6C1937778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4577aab451977e49ee8d4b4a69876cde591022a7","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$C6FF7547-1B5D-4F08-B4E7-2839F181209E","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":"Q4959664$DFC5F72C-7DFB-44D3-B372-37721A373EC1","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":"Q4959664$CDD8FE1B-1A45-4D1F-BE35-944F2446D86A","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":"Q4959664$C18914FE-F5F3-477C-96A2-3812B47A5B55","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":"Q4959664$44FD338D-0AB3-4B42-8AB6-AE4108EA9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334057c9297d6a0878784b79f130fef6a1b466a8","datavalue":{"value":{"entity-type":"item","numeric-id":3110202,"id":"Q3110202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$888E68E4-E9C1-40C1-8A93-E853C58CFC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a019925ddbc4cc23ec1d6655c9cfac26da58cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3430936,"id":"Q3430936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$04236121-B342-465D-9CE7-590CBB29B337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faedb773422a5296eb3bbfc9fb2392d0a825e17e","datavalue":{"value":{"entity-type":"item","numeric-id":490676,"id":"Q490676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4959664$C82A2E32-4B84-4465-93F4-5650AA5194D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc1e665a119a884bc6b3663b61a5a5f04487f31a","datavalue":{"value":"10.1017/BSL.2021.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4959664$51D05C2F-BC9A-42D1-848C-2A73DDBB4706","rank":"normal"}],"P1643":[{"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":"cd3d860b6c82b4a8be9b50ea2402ee6cd55d35cc","datavalue":{"value":{"amount":"+0.8216664791107178","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":"Q4959664$2DBD38B1-63E1-4534-8E44-02594A48E1EE","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":"d80ee132ebb504317caf3697677f9c48df207d38","datavalue":{"value":{"amount":"+0.8182545304298401","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":"Q4959664$08AA545C-7CF6-4302-BE38-F33AAEA32C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1db81a17a03fc15c089b75e7b1a6489f5425d1","datavalue":{"value":{"entity-type":"item","numeric-id":2234350,"id":"Q2234350"},"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":"Q4959664$FE5057CC-4A47-4880-8B24-126020CF122E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbf0a11ccd35032b0b7534aa2cce14d5e9aa0c78","datavalue":{"value":{"entity-type":"item","numeric-id":408160,"id":"Q408160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec7f44545ce19bf8d82e49832ddb381cca70ff7","datavalue":{"value":{"amount":"+0.800812304019928","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":"Q4959664$7B672F72-9E45-49D5-A8D1-F239A3DE083B","rank":"normal"},{"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":"ad88d74b442947dc754e069bf111f56f59f58abc","datavalue":{"value":{"amount":"+0.7937905788421631","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":"Q4959664$111A538C-7CE6-48F5-90AE-0E2FB8A67901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4959664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4959664"}}}}}