{"entities":{"Q490676":{"pageid":492443,"ns":120,"title":"Item:Q490676","lastrevid":42551481,"modified":"2025-07-02T17:44:58Z","type":"item","id":"Q490676","labels":{"en":{"language":"en","value":"Goodstein sequences for prominent ordinals up to the ordinal of \\(\\Pi^1_1\\)-\\(\\mathrm{CA}_0\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476490"}},"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":"Q490676$1F310B09-47B8-4DBE-A9EB-804879CAF064","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aae69ea6ce7293787638eab4b83dcc9441ac51cc","datavalue":{"value":{"text":"Goodstein sequences for prominent ordinals up to the ordinal of \\(\\Pi^1_1\\)-\\(\\mathrm{CA}_0\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490676$53A2CEC7-B83C-4D22-B37C-12AC73888DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a64a9135735197cae367624086e85fcd86544a6","datavalue":{"value":"1320.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$3EB0A093-B007-4A5A-ACD8-04B22B1E0B0D","rank":"normal"}],"P16":[{"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":"Q490676$DD75F83B-60EB-4593-BF53-857817D9FE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f21c141d1f4dfddbdbe81814e287bb01978856c","datavalue":{"value":{"entity-type":"item","numeric-id":490675,"id":"Q490675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490676$ED02C135-F435-4D48-8CCA-8AAACF09851A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490676$328AE0ED-4185-4F4A-8933-7E7A1AD17096","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-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":"Q490676$7750E297-684B-40D9-BB9E-D5122597FFFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$44697CBA-55E6-4AAB-B5CB-6F479D17B6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6ee9f5484d11a01fb95552e5bea2154ebac0877","datavalue":{"value":"03D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$CA4A29CF-1762-497E-9102-6DBDEBF9C762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$676B5E97-9645-4755-9810-94E0AB95D85D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02f5f20e8ea5d9ebd1e7ad4041fc822abf8285d7","datavalue":{"value":"6476490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$6FDA35DF-A8D6-445B-B67A-756E7507395A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a3d5699d368b1c8bf6e440413f6608274f308c8","datavalue":{"value":"Goodstein sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q490676$CF90CB63-8500-486B-9CC0-20C7A8E801C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d428e061d0d1f9b3793fed9f9d7a7b0cb9087b2","datavalue":{"value":"proof-theoretic ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q490676$2763CCE0-9D16-462D-B600-438CF70FFEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d71e576907ce939af27f3da1abc75e3ea584d","datavalue":{"value":"unprovability","type":"string"},"datatype":"string"},"type":"statement","id":"Q490676$27DB838A-7E85-4C9D-8B5A-8028A6174A0D","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":"Q490676$48C2D2CD-4405-44F7-ADB2-DB029A82BAA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa00663b79b438fade54cb44180b1ba8e493e520","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q490676$7141C8BF-0C7E-4BE2-93FE-0E71DF8E85A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"363c1af430a9bb13b13c9d8ccff7cbd6bd02ed81","datavalue":{"value":"W2216795626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$4A1AB4EA-0926-4A6A-B8D2-AEF030AFA71A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c33c872a2b6b0029715d7e6a466db4f0fe64c161","datavalue":{"value":"10.1016/J.APAL.2013.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490676$34D3604C-F69C-49E5-93E0-27D9DD73FA18","rank":"normal"}],"P1643":[{"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":"7487d1222e73f07dbab2dd624fb4117f86328887","datavalue":{"value":{"amount":"+0.94314176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$CACD1714-B94E-4FE9-80B2-E6056A22A0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f7e162b08907e8f23f96c4f6f644bc9f735d227","datavalue":{"value":{"entity-type":"item","numeric-id":5109225,"id":"Q5109225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80aea30a6b457b1b7794a59f6a4a22c0534fefd5","datavalue":{"value":{"amount":"+0.80854243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$074689B3-328A-4505-81F1-0E2AED65F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c400bc7ee5f112fcbab7bf3db42ee384e8457a8","datavalue":{"value":{"entity-type":"item","numeric-id":2732274,"id":"Q2732274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f771c6e85868902cc42b7d31792ae805a319438","datavalue":{"value":{"amount":"+0.8079928","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$011F5B91-92C0-40B6-8DCE-CC20E8E28F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0e72c541edc3cbe8c06d719ffcf180894b5a987","datavalue":{"value":{"entity-type":"item","numeric-id":5036098,"id":"Q5036098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee20e2bb242aa01dafe5708a38feb9589c7da3b4","datavalue":{"value":{"amount":"+0.80575013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$C43C29EC-500E-4DAA-ACA3-7C05210FB8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f61a24de41a1b310bb8c5dcc82a6ad62835a04","datavalue":{"value":{"entity-type":"item","numeric-id":4020216,"id":"Q4020216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67c6aa2a8450b0f2415caef08f791878f9cdb858","datavalue":{"value":{"amount":"+0.80479795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$04D211C3-00E6-4D2C-A7C1-428BB6753C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e44504edc7cc9e27d58d557d5d046aa088225e","datavalue":{"value":{"entity-type":"item","numeric-id":4319117,"id":"Q4319117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b099fafba81e506063182c881064ae7ab0f2da","datavalue":{"value":{"amount":"+0.8017563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$39876A54-875A-45E6-826A-9964FD575C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf3c28f96ed7131cba1a3843408715263b4a6cea","datavalue":{"value":{"entity-type":"item","numeric-id":2773311,"id":"Q2773311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afb2565070cfe716e95c8b477576cad7d451af5","datavalue":{"value":{"amount":"+0.7994836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$53BF6B22-5F39-42C7-9548-9B63BC386147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f970a40312326e1793e4181ea1cb4e0a4b9c8fc1","datavalue":{"value":{"entity-type":"item","numeric-id":634770,"id":"Q634770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7af92c4e4edf9d8c331e5c569b726ff11f00cec","datavalue":{"value":{"amount":"+0.79783756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$D84258F8-5BD1-4CC3-A571-DFCE91E2E801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d4701bb563cf803f1ebd3d34aeb6a5a2c5bdb3","datavalue":{"value":{"entity-type":"item","numeric-id":950311,"id":"Q950311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d413e736aa3f699c4edfea2979844629f6c09206","datavalue":{"value":{"amount":"+0.79644006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$B814DA71-5CBC-483B-9FC7-00B6D7AF5E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555eaa296dc9593516fd1627c2acf108e411fe6a","datavalue":{"value":{"entity-type":"item","numeric-id":4289184,"id":"Q4289184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b41d987976f017a8993f4cd4dc8e79eb4c714f1","datavalue":{"value":{"amount":"+0.79441386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q490676$6A6F8B9E-F552-4F9C-B62C-742C43B78E3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:490676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:490676"}}}}}