{"entities":{"Q4648198":{"pageid":6677779,"ns":120,"title":"Item:Q4648198","lastrevid":98012957,"modified":"2026-06-05T16:04:06Z","type":"item","id":"Q4648198","labels":{"en":{"language":"en","value":"Inductive Complexity of Goodstein\u2019s Theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6103570"}},"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":"Q4648198$7C3DBE07-ADE7-41C7-811F-747DD192F52C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e36052194e72fb49a736fbbd28d6299cdca29d8e","datavalue":{"value":{"text":"Inductive Complexity of Goodstein\u2019s Theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4648198$906F9899-A9E6-4BB8-9E4E-5FB39258A779","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef0abd21ad7d36133e15fcca1bfa3a46e5e38d15","datavalue":{"value":"1375.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$A5F09314-87D4-401F-AE02-7D67E6D9B3BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79b316daf3136ceab10f59e2a38b87067f615fbd","datavalue":{"value":"10.1007/978-3-642-32894-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$F6D03CA9-3F7E-43BE-8583-E0A08A1BFF72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcbb272196516012c068b01b0d78d5d5683d32e9","datavalue":{"value":{"entity-type":"item","numeric-id":1157756,"id":"Q1157756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648198$ADCF502F-15AC-4061-8417-CAE59B6543C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"619541537a393918353c6a64fdcde0dad2978e85","datavalue":{"value":{"entity-type":"item","numeric-id":2819132,"id":"Q2819132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4648198$5560126A-C492-4265-846F-AC1854B37E82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1fd40b453552197bf6992e0512f747c68abfc621","datavalue":{"value":{"time":"+2012-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4648198$3546863F-D990-40F9-A75B-AC8938F7DD82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$5F6BD8CF-F05E-494C-91EA-BAF5E1CF8035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$5721EFEA-C708-4468-BE86-5838A6CDDCE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$70027B8F-6540-422C-8CB3-8E44E5F6E089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$DC5D618A-6552-4C69-8BAD-051771C400A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$A4F4B425-CE3C-4F61-9E6C-A7736B46C071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c7a4b61f6ca9e382e7303048f8e91fd982de890","datavalue":{"value":"6103570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$0A9506F2-48A1-4610-BB70-74C2CF33546C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0952152c407bf33948cae55bf160d594f587b1a4","datavalue":{"value":"inductive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648198$1E20AEFF-C565-43FC-8A9A-F35425028064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"924071a507330d1eda040b136415c1f3578b6a24","datavalue":{"value":"inductive Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648198$F4514F3B-56DD-452D-98A7-B715FAE1449B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648198$A045566B-778C-466F-B8CF-3B803DB97B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb4e202d418097bb72e9fce4ec5930025223c452","datavalue":{"value":"Goodstein's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4648198$8F801293-D4EB-4F1C-8C53-9B4D2CD1DF4E","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":"Q4648198$586DC079-1932-4FA1-9F9D-BDA2618F150D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b330d2b899fb3694d0c7f2f09d466d226da18b9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32894-7_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4648198$F3624F46-4A82-4872-B67F-C66554B1D9C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b283bf22e22de5d5d04b8f8f4e9fa61f11d5573","datavalue":{"value":"W117996040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4648198$D31015EF-570F-4161-9C88-C7D71E39CE37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d10f11fe749798e65bb57b8c876ab0e11257a8","datavalue":{"value":{"entity-type":"item","numeric-id":5717025,"id":"Q5717025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05637ec4f0c959b99132592493febcd7d527d227","datavalue":{"value":{"amount":"+0.9168531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$F882DB81-9244-4BFC-A272-5AEACE9F9D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4a9b6a204ab4eccfc9c13930b9ef6d7e04b664","datavalue":{"value":{"entity-type":"item","numeric-id":5408361,"id":"Q5408361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6d6802a6f5caadb4670b4a5527bd5d0f289dde","datavalue":{"value":{"amount":"+0.89410555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$B7738173-1F8D-44D9-A1EF-9C1726672829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e609831f63c44202ca3170dd0548e6c4bad0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3422019,"id":"Q3422019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2fd1201c6b7e6d2b9ac2b50f41f01ff9fb45b02","datavalue":{"value":{"amount":"+0.88759655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$2C89C036-2B51-4D39-A90C-4B3562501F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a3366f2d809d6b52b18467ef5d4d73da219b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4648186,"id":"Q4648186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3ac1603be0a89263409750ba9065ebc959570e","datavalue":{"value":{"amount":"+0.8836187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$1C249D31-E9AF-4B57-960A-E55F14A63662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81cde133671d5d86c5c688248957b26878f85c","datavalue":{"value":{"entity-type":"item","numeric-id":2856020,"id":"Q2856020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e77b83dd81067cc0b748d7705041c4ba24e85c6","datavalue":{"value":{"amount":"+0.88360465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$22BCB9E5-87CD-412B-A455-157FC013183A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b6e9480ebcf5ca81de9c7a5e704d388c70f1c1","datavalue":{"value":{"entity-type":"item","numeric-id":1345141,"id":"Q1345141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c410ef95241e52cd1dce66d650128eeea51e00be","datavalue":{"value":{"amount":"+0.8806205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$4441329B-736A-4370-8C01-6189AAE407C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade071a4d36822f7adb330abf4e7a13331a4c75d","datavalue":{"value":{"entity-type":"item","numeric-id":3708789,"id":"Q3708789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9962ccea587652b1d0d8e1a450842a3517785422","datavalue":{"value":{"amount":"+0.87344396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$78B67722-DE6D-48F3-B5EA-1F9CBEA71A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cbca2eb5760fff4b1820999bdd8a76a6c0c159","datavalue":{"value":{"entity-type":"item","numeric-id":3793755,"id":"Q3793755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9962ccea587652b1d0d8e1a450842a3517785422","datavalue":{"value":{"amount":"+0.87344396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$A3857A68-F38B-4250-96C5-D6BA36E7DAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e9b2b95b5a43a7f8c78fd485731abbfe2631ae","datavalue":{"value":{"entity-type":"item","numeric-id":4823142,"id":"Q4823142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5775f63c44ffef7de8914777e794368f09b3ea0f","datavalue":{"value":{"amount":"+0.87332165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$81D2700A-555F-460E-A598-F2071AD004BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa74ba7c4e8bdaf44089ce2a91424feabe5e306b","datavalue":{"value":{"amount":"+0.8725373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4648198$DCEBA218-B33A-42CA-AC26-511F23C95D02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive Complexity of Goodstein\u2019s Theorem","badges":[]}}}}}