{"entities":{"Q5869554":{"pageid":7899105,"ns":120,"title":"Item:Q5869554","lastrevid":54407606,"modified":"2026-01-26T18:46:55Z","type":"item","id":"Q5869554","labels":{"en":{"language":"en","value":"Finitist consistency proofs and the impact of G\u00f6del's incompleteness theorems on Hilbert's metamathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7594129"}},"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":"Q5869554$0BF609C7-E173-41BA-9ABF-8833CFF21915","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52ea1fb252bf36e15dc5cb6e573e2b334202e9e","datavalue":{"value":{"entity-type":"item","numeric-id":551222,"id":"Q551222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5869554$883FFFF1-CE8A-4120-8F95-A1B1F044D6E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12849bc9397048f3fbe61bf9712405dfa85dc246","datavalue":{"value":{"time":"+2022-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5869554$E36FE387-C763-499E-A376-F8ED11CD74B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869554$FC6EB1B2-13CF-4400-82AA-63C6C04CF9E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d28bfec56779f5d279bcdd604dc56928a8124edf","datavalue":{"value":"7594129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5869554$CFE31866-9E6B-40F1-B825-13531FA4205F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6bb3269f564e59bc6511c746db577f9f425698","datavalue":{"value":"Hilbert's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$71B7D4EE-BD98-41A3-8F38-ADAE3D55376D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$D3B8E157-4FF2-4182-A19C-435B9891C3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0bdd078633eec083f77d77f9e6de7a8a55abb02","datavalue":{"value":"formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$2EC85C63-5FD8-4A05-83A1-7022A428ED03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$05DF283B-3158-4A96-9744-5538DC91FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c650cd24025fda13c07b573c157ff74ce0568a88","datavalue":{"value":"incompleteness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$C149BBA4-F1FA-4D8A-9096-680361374CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5869554$A89EC833-A7C3-42D4-A16F-C177265F548E","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":"Q5869554$D3EFF550-AB0B-4FE0-B674-77168AB0C7C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3ca1d300568d252ccf5380ad860ff0a32fc0c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5212084,"id":"Q5212084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086e2778d6dcaf249ab63e230452f411c9b6f75d","datavalue":{"value":{"amount":"+0.8995065093040466","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":"Q5869554$B3CAC2CC-F248-4FA7-A9D2-09B66D4451CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c832876256818b0db8994850160e2236fc2cc63","datavalue":{"value":{"entity-type":"item","numeric-id":5253925,"id":"Q5253925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f1738a69bea097f7e7dfb75b33c27339aa5819","datavalue":{"value":{"amount":"+0.898292064666748","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":"Q5869554$EF629CFB-8660-4D44-B63D-77FA16800188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5a2be6338d35ad543a48e6127fbda804fcb7c5","datavalue":{"value":{"entity-type":"item","numeric-id":3398983,"id":"Q3398983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6123ab967efe52f179ee37096fdedc93f959d7","datavalue":{"value":{"amount":"+0.8151450157165527","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":"Q5869554$FA51975D-B3EC-43E7-83D8-E20C0A9C9F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be167ee165e5428332f437a491d781c127ba296c","datavalue":{"value":{"entity-type":"item","numeric-id":441154,"id":"Q441154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165c28e7fbc30df4a5f73065468263f2bc6a7e2c","datavalue":{"value":{"amount":"+0.8006885051727295","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":"Q5869554$75498CA8-758D-46AA-B15F-3A36485BC772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5b84bc116ed2f21cd8d67c06461d5b57f539d7","datavalue":{"value":{"entity-type":"item","numeric-id":4472955,"id":"Q4472955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9eee2d3ab0d8ae4983b37fe63e058b80b58aa6e","datavalue":{"value":{"amount":"+0.8005571365356445","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":"Q5869554$B9FC11FB-7BDA-4D2E-BF15-D6EB910494DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5869554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5869554"}}}}}