{"entities":{"Q6167156":{"pageid":13302038,"ns":120,"title":"Item:Q6167156","lastrevid":58735137,"modified":"2026-04-06T12:52:19Z","type":"item","id":"Q6167156","labels":{"en":{"language":"en","value":"Intermediate Goodstein Principles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722653"}},"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":"Q6167156$83629D0E-AFB6-43F9-8369-E806A69DE2B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b535ab3b22c59232be3740ab46995e4e0101d966","datavalue":{"value":{"text":"Intermediate Goodstein Principles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6167156$78F87B96-8CB1-4892-8F75-B750AE02D4C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33e390e3029bfd3c92217cbdbdd14490f6141271","datavalue":{"value":"10.1142/9789811245220_0007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167156$FD7FD856-42F7-469E-B854-DF87A3E83D89","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":"Q6167156$4A6B2747-06ED-419E-8315-8399256646F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a42ffb08d159c2a41ba8bf49434b617b7b9552f7","datavalue":{"value":{"entity-type":"item","numeric-id":6167155,"id":"Q6167155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6167156$E9A0B6C6-F1E6-4787-9982-56B3B45C3443","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":"Q6167156$211748C8-5AB0-4F1D-9571-7398782B0615","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8cd940c44909538628a2a2fe4df1cb89d334832c","datavalue":{"value":{"entity-type":"item","numeric-id":6111734,"id":"Q6111734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6167156$A4E7F9A3-CF78-413D-9C54-6AAD80D583F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a60f814f4badc35e7a02ecc8e495276c1fc39c5f","datavalue":{"value":{"time":"+2023-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6167156$E2E909D8-0556-45BE-9F4D-BF9DC145516A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd1a8fd5173cf9d12b79410f450bdecb1d868dcf","datavalue":{"value":"https://arxiv.org/abs/2004.09117","type":"string"},"datatype":"url"},"type":"statement","id":"Q6167156$B1ADA902-EDE4-4421-B671-81D40BD4CCE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167156$114894B8-8FC1-445B-A642-DF0B80A96242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c1db64a4f32ddfb05ea443eb3d62e054d2ab351","datavalue":{"value":"7722653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6167156$8F1CB819-A019-431F-9E6F-07BDB4847192","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":"Q6167156$FCAF4647-4356-4A24-B8DC-A5A5C7593776","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3822b122d61d03e951240d266962a22975aa7b","datavalue":{"value":{"entity-type":"item","numeric-id":2106602,"id":"Q2106602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed3d9090d5202c141710cda27b9ecacfda8d96d","datavalue":{"value":{"amount":"+0.9619901776313782","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":"Q6167156$2D51084F-547E-4684-AC9E-0817B1547A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d35bde9436712655a5199037ff8d2d46c247c39","datavalue":{"value":{"entity-type":"item","numeric-id":5113418,"id":"Q5113418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"140af76fda706456692ea7884b5bfd65f7bd47e6","datavalue":{"value":{"amount":"+0.8319722414016724","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":"Q6167156$7CA7D74E-A9AA-4B3B-B107-B0BB414106A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3dbdd68e6460734e4f488161216c559143d0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5137319,"id":"Q5137319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1180a0c9eb41db336aabe9dec5f46f57a1d3b6d1","datavalue":{"value":{"amount":"+0.7991394400596619","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":"Q6167156$12C7D3FA-7475-41C7-9910-8A50DBB683FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1db81a17a03fc15c089b75e7b1a6489f5425d1","datavalue":{"value":{"entity-type":"item","numeric-id":2234350,"id":"Q2234350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8b14d00567cd4c605d69e158106c17bdcb0c83","datavalue":{"value":{"amount":"+0.7896415591239929","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":"Q6167156$1ACF02E7-5A33-4495-8522-EBFA118DACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e303594b188896a74da1e75be8428cad6a0cb2","datavalue":{"value":{"entity-type":"item","numeric-id":4959664,"id":"Q4959664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84dd274ae8de8ee2c85483a5ff867cb3ea78573","datavalue":{"value":{"amount":"+0.7882846593856812","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":"Q6167156$AC45C0F0-7DB9-4724-85A9-250EED2FE94F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6167156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6167156"}}}}}