{"entities":{"Q6480613":{"pageid":13976738,"ns":120,"title":"Item:Q6480613","lastrevid":40260505,"modified":"2025-02-17T22:01:53Z","type":"item","id":"Q6480613","labels":{"en":{"language":"en","value":"Goodstein's theorem"},"de":{"language":"de","value":"Satz von Goodstein"}},"descriptions":{"en":{"language":"en","value":"theorem"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{},"claims":{"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"e1ae30a5d7fd3e811c9fc67648b8d55c87e6e205","datavalue":{"value":{"entity-type":"item","numeric-id":6480611,"id":"Q6480611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480613$6EF51842-708A-4B76-A191-FF67DB4FA83D","rank":"normal"}],"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"b75b473b515eed0dd90ca7274033c05ea09eaf94","datavalue":{"value":"/m/0139r1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480613$FE1E07EB-7703-4372-A761-3BCF0D93E2AF","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480613$36C95625-6A79-4C11-B9F2-6A48F5875765","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"6be4acc9f4d4dd02544aa27400c38f68038b92fa","datavalue":{"value":"GoodsteinsTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480613$E11339B9-5469-466F-883E-C634E2934AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"6be4acc9f4d4dd02544aa27400c38f68038b92fa","datavalue":{"value":"GoodsteinsTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"5fff13ce7f6c2fa8a5294f75b0e9a4a70f0352d2","datavalue":{"value":"Goodstein's Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480613$BCAA1C88-DFAF-43E8-B36A-80B963B7BFB0","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"90a665098221d879fe74cf45485b7cf8c793dd4b","datavalue":{"value":"m = a_k n^k + a_{k-1} n^{k-1} + \\cdots + a_0,","type":"string"},"datatype":"math"},"type":"statement","id":"Q6480613$C84C48DC-A61C-4922-A0AD-12EA191BDD8C","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"fbb3723b33631bf5708f837e455f0b313548d539","datavalue":{"value":"2778899482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480613$FD4BCD2F-F806-4286-B361-0A72EBC9E5B9","rank":"normal"}],"P1577":[{"mainsnak":{"snaktype":"value","property":"P1577","hash":"bb5f2a21a609dd39f4fc81c8092c726b0fbe4a09","datavalue":{"value":{"entity-type":"item","numeric-id":6480612,"id":"Q6480612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480613$19AABEC6-1107-4EBB-97D4-0CB62EDE899F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6480613$1648DD9A-5F60-4B86-BC77-AED48A12C3CC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"933075075998e31ddf3bfa41e80898064a88d4e0","datavalue":{"value":"Q1149185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480613$11513918-6D26-4D8D-86A4-C88BBA4A38CE","rank":"normal"}]},"sitelinks":{}}}}