{"entities":{"Q7361484":{"pageid":31519991,"ns":120,"title":"Item:Q7361484","lastrevid":105366995,"modified":"2026-10-07T13:36:43Z","type":"item","id":"Q7361484","labels":{"en":{"language":"en","value":"Implementing the Goodstein Function in \u03bb-Calculus"}},"descriptions":{"en":{"language":"en","value":"AFP entry Goodstein_Lambda"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d3dfb62013267a13999a267f069895198f5d85","datavalue":{"value":"https://isa-afp.org/entries/Goodstein_Lambda.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361484$7621E8B2-1376-453E-BAFE-F294A5B55BD1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8934af8400a1d35c94ffa90ec50ae6ddbde55478","datavalue":{"value":{"time":"+2020-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361484$DF84969B-396D-4413-BDA2-E312B7751732","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"4773936992e4bab2a9a45e7e94c36b9477a2fce6","datavalue":{"value":"Bertram Felgenhauer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361484$976DD91B-973F-4580-89E5-6D0A7885D6C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"425c4400b8a0cd4f4b377a05247fa32ae97a7196","datavalue":{"value":{"text":"Implementing the Goodstein Function in \u03bb-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361484$211F387C-60F0-46EE-A7EE-E551FE88F455","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7f9081182ae726fe00076cc2e31fc71831ee0d85","datavalue":{"value":"In this formalization, we develop an implementation of the Goodstein function G in plain \u03bb-calculus, linked to a concise, self-contained specification. The implementation works on a Church-encoded representation of countable ordinals. The initial conversion to hereditary base 2 is not covered, but the material is sufficient to compute the particular value G(16), and easily extends to other fixed arguments.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361484$3B66E46E-2B8C-43E2-98A5-879913390D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad909d8578ecd7d69f4c903af79373c9751b6780","datavalue":{"value":{"entity-type":"item","numeric-id":5448306,"id":"Q5448306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361484$7E7C32CE-5785-46A9-829A-F269B56DA81E","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":"Q7361484$ED03A014-3AB8-4444-8A1F-2ECEA73258F7","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":"Q7361484$83B41DED-510F-4DF7-8326-D7F2C6222E83","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361484$981F4BCF-505A-4437-AF69-EE7E56E19CA2","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"edf8a8949edec3767dd80b6d3acecc92e5d25f1c","datavalue":{"value":{"entity-type":"item","numeric-id":7360818,"id":"Q7360818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361484$30A69964-3B49-46D8-80A4-A55954F3D9B8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361484$D28F4C04-9AF0-4C23-B82B-A9E3D9B9247D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing the Goodstein Function in \u03bb-Calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_the_Goodstein_Function_in_%CE%BB-Calculus"}}}}}