{"entities":{"Q5361250":{"pageid":7390824,"ns":120,"title":"Item:Q5361250","lastrevid":96115562,"modified":"2026-06-05T10:27:04Z","type":"item","id":"Q5361250","labels":{"en":{"language":"en","value":"Goodstein's theorem revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6781287"}},"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":"Q5361250$51DAC9BD-6883-49F4-AB28-E933266E9F86","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4e342b02cc1679b65abacf177ca9d082a2f3238","datavalue":{"value":{"text":"Goodstein\u2019s Theorem Revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5361250$8F0951F2-871B-4FB4-8F40-155BB0878F22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7ae3f039abc5bcd2cc265b036ffbe34f9cbace","datavalue":{"value":"1378.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$AE7C73D7-8839-4064-B510-3466EA98F473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee11ad46d17373ac477d1d44f9a45a4bdfa68874","datavalue":{"value":"10.1007/978-3-319-10103-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$4D9A8478-6E9C-4A42-8932-71971B7ED3B8","rank":"normal"}],"P16":[{"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":"Q5361250$B362B4FD-D042-4D54-9D93-405BA78E091F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b850175c1f26a72d4f19f54bef6aaf6493e2ac7","datavalue":{"value":{"entity-type":"item","numeric-id":5361241,"id":"Q5361241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5361250$F4BEBA4D-34BF-40F5-A171-6DA1AB47D59C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23d30c439537d32c3fa1ef5645003f6830c886af","datavalue":{"value":{"time":"+2017-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5361250$252BCEDD-A977-4268-8C25-661280ABE87C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a6590b2850324bc39fa866e02e187214d15753b","datavalue":{"value":"https://arxiv.org/abs/1405.4484","type":"string"},"datatype":"url"},"type":"statement","id":"Q5361250$3F9A5B6C-3294-45D8-8EC1-C6925F31C644","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$56F3F3A8-8A7A-4356-B841-204FD9EDD2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$AEB5E780-3A5E-4D96-8F2B-722CED3B9651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$942B1401-88B1-4731-B8AB-1716C22821D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$48D113D9-5F65-41DE-8C7A-B1E29FEBC0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$75C123BC-C6BA-46D8-AE28-E9DE6AFDF191","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e512d85ca3d3585fc1534b7d8716052fc42b89b3","datavalue":{"value":"6781287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$B2B7B720-E7F5-44BA-858C-7D35CC8307D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361250$1B5F4230-A60D-4997-A751-3BB206D0F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c5cd3f3b3b585e0f634a32385ea3742910a20c","datavalue":{"value":"Goodstein sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361250$D86A4A7C-5C60-492C-8AEB-56902EDF52EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc2fa84864f4825460213fc184299c0c107e638","datavalue":{"value":"independence result","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361250$4867F1EA-723E-4D2D-95FE-8F6461DB5A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5361250$203A5050-3A0E-4A13-BCCB-37259C2CBB0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"968afa296bfda2d3a0f639bd8fb6f670334f4a0b","datavalue":{"value":"Q59896961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$C81E646D-F4F3-4BF1-8363-784C316B97E8","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":"Q5361250$6C35B804-4724-4741-A9B7-A2D9A075CC0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c94b14d91da93a51228acd2f215735d1c82b79e7","datavalue":{"value":"W1044768456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5361250$74AE3FB3-04D6-49FF-8862-0B9B87B5ABE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f30f1688f50849c140245769084df1101518d7","datavalue":{"value":{"entity-type":"item","numeric-id":3527612,"id":"Q3527612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ba40370eeaa6f38638ba8f103a4862df2341c3","datavalue":{"value":{"amount":"+0.7973516583442688","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":"Q5361250$8F72290F-4510-4075-B933-49B34CA1A185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e924b4978e6e4f9bdd7d91426f2bd9956574c58","datavalue":{"value":{"entity-type":"item","numeric-id":4732468,"id":"Q4732468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00a95325671240d4ffdab1da4f9ea69ab24bcb9","datavalue":{"value":{"amount":"+0.7600833773612976","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":"Q5361250$4954CD5F-9D29-4474-A580-23E59BE871ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406c4580d51070b7891ae82b6ceb7b54871c0af0","datavalue":{"value":{"entity-type":"item","numeric-id":2958394,"id":"Q2958394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b1c9e95e51c9bd0b23e1fb2f2acbe7b44d05c89","datavalue":{"value":{"amount":"+0.759251594543457","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":"Q5361250$55601738-F734-48E6-A425-8A3790D0F858","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":"c2ef18aac2a04a23fe3f18d099fc6085ba8b09fc","datavalue":{"value":{"amount":"+0.7551031708717346","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":"Q5361250$9CE34157-7B43-4363-9D70-3D70D74C226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6adff1562f7cd92ed56db7e18c65c3e7e64970","datavalue":{"value":{"entity-type":"item","numeric-id":3772213,"id":"Q3772213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f57b3d20127a518286f64dc2efde793ae31cd3","datavalue":{"value":{"amount":"+0.7484662532806396","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":"Q5361250$4412FE52-E1FC-4F21-9C9F-CFF5F6DEA62D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Goodstein's theorem revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Goodstein%27s_theorem_revisited"}}}}}