{"entities":{"Q6589313":{"pageid":14200470,"ns":120,"title":"Item:Q6589313","lastrevid":40577390,"modified":"2025-03-07T05:32:43Z","type":"item","id":"Q6589313","labels":{"en":{"language":"en","value":"A walk with Goodstein and Ackermann"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7898459"}},"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":"Q6589313$C4B01809-DC73-4D80-9623-F7B70BBEC3A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319b3e9e8b83412c88100d7a3d18a44178255a3e","datavalue":{"value":{"text":"A walk with Goodstein and Ackermann","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6589313$B7B2A66B-3E4A-4AA2-BDEE-FCB2A8F3F61C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8ce30e549ac05110e03502bb1ff6cbd16911894","datavalue":{"value":"10.1215/00294527-2024-0016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589313$CEDA93A9-5D31-4955-85FF-F79C617C12F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$4823BCD0-281E-4B87-8FDD-6F7FE76C099D","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":"Q6589313$E5801C78-747B-4275-AF9D-46349C58FAA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$D2F559F6-9840-4D14-AC9E-6BA8294D8E85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37c9edf3682f8ce3a18f69639bd1f0b09ec55ee0","datavalue":{"value":{"time":"+2024-08-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":"Q6589313$6064D0A8-69DB-40ED-BDC6-B1C0D0E55538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589313$56B4F43C-897D-4AD2-8AE6-794D7BA545D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589313$189184C1-75E8-4CA2-99F2-EAC3D3B2060D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c1319bec0f60e4ff40f530ccfb08152e1979cc1","datavalue":{"value":"7898459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6589313$169C539F-3A91-442D-B232-73F8B1823471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c366d9e44e0d6a9e2cdc753868eab05ee1b2ecc","datavalue":{"value":"Ackermann function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589313$190957F8-233F-4F1B-9B2B-CC1C85467EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d130689de2229580c1746d9d51dfa7b4c9b4621","datavalue":{"value":"G\u00f6del incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589313$2AB4A6F1-C0C9-4764-A651-E6CF56893C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f21baf91208d51a5f91a67586a632fde4e3ff3","datavalue":{"value":"Goodstein principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q6589313$BE5E6C3C-D5D9-4DCB-8D01-C016179B5E0A","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":"Q6589313$33DB2E40-3750-4EE1-A7B8-580855CB13AE","rank":"normal"}],"P223":[{"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":"Q6589313$1E08924B-F504-4937-8045-40293C79D64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f84261211cce9580648485fe03df13fadd391a1","datavalue":{"value":{"entity-type":"item","numeric-id":4959664,"id":"Q4959664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$081F808A-772F-4C54-AD15-DB8117137EE7","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":"Q6589313$2C0E4F15-3558-4B28-A1E6-79702D3CE5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63eff0dcfea164b5b8e5044ea044ee3ce27d3158","datavalue":{"value":{"entity-type":"item","numeric-id":6050166,"id":"Q6050166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$F728CA29-DA80-4DFE-A14E-BA5FA023A09C","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":"Q6589313$ADC4BD8A-FD14-4032-AB08-306C99C8F701","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":"Q6589313$D3208F6E-B54C-48F8-B7F9-9786B43E9BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb35ea0ba4d7a81d164456078c30f64cbec9e1c","datavalue":{"value":{"entity-type":"item","numeric-id":6167156,"id":"Q6167156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$B637B51F-5F9F-4C51-A8C6-26EBE78907C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece1beccce1730955f3769e21223ef3a188b6461","datavalue":{"value":{"entity-type":"item","numeric-id":6204143,"id":"Q6204143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$4DBC4CDE-B3E0-48F4-8A52-049FE8EEDAB5","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":"Q6589313$4A62DF23-CB49-4965-80C6-261D3ED1C0DD","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":"Q6589313$8DD48069-E12E-46C4-B9C7-AAD7843FEEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c760059e7dedbb8b7864d59fb746fef23ead35","datavalue":{"value":{"entity-type":"item","numeric-id":930618,"id":"Q930618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$68343C1E-8877-41B9-B8A7-4A670B68EDF3","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":"Q6589313$F87A48CD-466F-46B9-AB01-9A5413EFA67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59045ca61e4662e884f4b53d985b87d042f0fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5137319,"id":"Q5137319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$99E74977-FD29-4654-AF35-15A3417D4187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82550264b6d72536da5addc535daedcc17ba2cfc","datavalue":{"value":{"entity-type":"item","numeric-id":485843,"id":"Q485843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6589313$D1C2DB62-F9D5-4229-95F9-A49918383078","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6589313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6589313"}}}}}