{"entities":{"Q3079620":{"pageid":3090335,"ns":120,"title":"Item:Q3079620","lastrevid":51199079,"modified":"2026-01-17T05:04:35Z","type":"item","id":"Q3079620","labels":{"en":{"language":"en","value":"The G\u00f6del hierarchy and reverse mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5859777"}},"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":"Q3079620$BC3A8EB7-3B45-4957-9149-F2C1056C5F43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fba24ec903b65ec9b33f9484dd230ff91863a03","datavalue":{"value":"1223.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$CA44038E-4423-4387-83AB-BF6BCD659EA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68f5fcd1cb62389cc4f745277f8208c7cbfab8e9","datavalue":{"value":{"entity-type":"item","numeric-id":306820,"id":"Q306820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079620$DCE22FD3-FD9A-4044-95C6-86B10B067861","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09b533463020248dec48904871d03ce0d378b98c","datavalue":{"value":{"time":"+2011-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079620$6F150393-78FB-47CE-8A39-1CE5D74CC63C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$94A24910-8840-40DA-B5D3-A8D3453BF23A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$13D8102E-9BFF-4AFA-82C8-B7BB92EF7D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$E4A03AB0-E5B9-40DE-84FB-E2239FE866E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$B1ABFEE8-2F35-4859-B72F-FFD0D14757E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70885500e507d57fa64ec1959906ed0845020cff","datavalue":{"value":"5859777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079620$5AE73ED8-23A3-41E8-B193-AEEFD16DD87A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$3DF9518E-D59D-4B17-B603-2079911C27F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b75f643bf2e53fe8d8ac0b245eb85fd2d649f7","datavalue":{"value":"consistency strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$B2D5EB14-C933-443A-9D50-689C8A20C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b3d80170aa47279026440ac040dd429d2f0e8b","datavalue":{"value":"finitistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$823B53C9-13A9-4E41-B1E2-1F7A58C790DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c34c2e8c5d0fb69f0d1e8e3e7dfa80780452cc0","datavalue":{"value":"predicativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$E2846A65-65E4-46E6-A4C7-AE3CA1CB4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b5ed5d0a28864561776423f5cbb2c5387d706c1","datavalue":{"value":"predicative reductionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$0A9CE270-75A7-4C05-A3A9-583EDC96B77B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q3079620$C2401047-16B1-46A8-9D48-68E322F66F73","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":"Q3079620$248145DC-7DCB-49F6-9651-85DA82A4C854","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25039b6171b2485eba382bcb26f5369f48506ee7","datavalue":{"value":{"entity-type":"item","numeric-id":3699664,"id":"Q3699664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfe5d842f3fc01cbe7eeae14b893a58eb3d3de2","datavalue":{"value":{"amount":"+0.7726868391036987","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":"Q3079620$97D56B5E-CD0F-4995-A278-25CFFA9E6414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fa4ce2a61f75700767d8851568f4f58fa199487","datavalue":{"value":{"entity-type":"item","numeric-id":4262583,"id":"Q4262583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea3dc66337347719f887f8e8178283697ff41e6","datavalue":{"value":{"amount":"+0.7540614008903503","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":"Q3079620$AD749E9A-372D-408C-9668-3C80F9E1BE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c25b4a273b297cf8dc2ffa890229b0fe4b6187a","datavalue":{"value":{"entity-type":"item","numeric-id":4206703,"id":"Q4206703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e96adf1baae628d8c7b5e7a433e140288ab3a0b","datavalue":{"value":{"amount":"+0.7540613412857056","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":"Q3079620$E7086D11-92AB-418E-8643-E887180C66B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97ad72412d5e80f7e8fe630e4e771b1856280d93","datavalue":{"value":{"entity-type":"item","numeric-id":4220572,"id":"Q4220572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bc58726da5c0b2e15425b00bdbd310dd19f626","datavalue":{"value":{"amount":"+0.7535538673400879","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":"Q3079620$9496DFCE-75DC-4CA4-AA07-7AC4AEF7AB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc18faf160526cbb8af8324db2deeca9c5f33f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5752567,"id":"Q5752567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92bc58726da5c0b2e15425b00bdbd310dd19f626","datavalue":{"value":{"amount":"+0.7535538673400879","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":"Q3079620$C7E596EF-E108-4E7C-8832-3A3DF13252C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3079620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3079620"}}}}}