{"entities":{"Q5212084":{"pageid":7241655,"ns":120,"title":"Item:Q5212084","lastrevid":94770536,"modified":"2026-06-05T07:39:23Z","type":"item","id":"Q5212084","labels":{"en":{"language":"en","value":"The finite and infinite: on Hilbert's formalist approach before and after G\u00f6del's incompleteness theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157610"}},"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":"Q5212084$DF5758BA-3DC3-4FAE-BFDA-74B563819F6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28dcffa26d2f28a297deee74898caaa0d8c0dc82","datavalue":{"value":"1454.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$61AFB56D-7D79-4E20-ABDD-92D543DAB563","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b2113aa4a84f9db45f565e1f5444fc79b39cba7","datavalue":{"value":"10.2143/LEA.245.0.3285703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$4B0F25AD-90D5-48A7-ACED-1AD0AE9D8B2D","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":"Q5212084$F05439EE-A44E-4632-885F-220676F1ECE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212084$10BF8407-17EA-4569-A8C1-BA011665DE9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$72A49FA9-3A1A-4EA4-9FE1-180473E4803A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$07175F9F-90A0-4C8B-A81D-109314932608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$961D0D26-68C8-4B3F-B0BC-DE9ACC870905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$9BFA904B-E713-4DAB-BF00-1148085057A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbc9c4742d27699bcbd052803d6e9b46a0d23247","datavalue":{"value":"7157610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212084$E552323A-5755-41E9-9D77-51EF1C73AE9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed56a9f257bcf46b7745cf1617b48c4c6d49376","datavalue":{"value":"formalist program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212084$1648E82B-3C26-42BC-9291-58720996FD03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212084$40BF7D9D-8300-4572-9E06-ED4B60DE3D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212084$DF3395C5-3D16-43F0-9062-FD4C96FF21FD","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":"Q5212084$47BB8E88-F48A-4B84-8FF8-F69D3D48C21B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9bd94b4dee3f0beb675a427fcc8f6a2506a41af","datavalue":{"value":{"entity-type":"item","numeric-id":5869554,"id":"Q5869554"},"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":"Q5212084$9C9B68D4-05CB-4218-8885-FE12633704C2","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":"07b85e497faa4e025e11f77b354fcbfd34d58e7f","datavalue":{"value":{"amount":"+0.82308030128479","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":"Q5212084$AA36F7AF-08FA-48C4-84A4-280D9116AB40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf51f4856ed63cc63239a8a8cca5d93b8c792f2","datavalue":{"value":{"entity-type":"item","numeric-id":4227556,"id":"Q4227556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a561f8d43a592cd3783ef06a208ca0a679276f15","datavalue":{"value":{"amount":"+0.7904660105705261","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":"Q5212084$0E58D9A4-1631-4F78-A653-C034777324BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6427bbed5440ac149f64e0da2946e9279a3cba","datavalue":{"value":{"entity-type":"item","numeric-id":1100453,"id":"Q1100453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b834a75c5baa8e70e4a879ea6eb880e2d4f7116a","datavalue":{"value":{"amount":"+0.7839363217353821","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":"Q5212084$A7F8F10A-4AF3-46E8-BC2D-BB5FEDE48A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8a694548266858ec5e6c3da7e4ee33b3d891ecb","datavalue":{"value":{"entity-type":"item","numeric-id":2856944,"id":"Q2856944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8360c23447121060a295298344fee4f9ec7a6c","datavalue":{"value":{"amount":"+0.7798261046409607","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":"Q5212084$79CCB5C7-668E-4BCA-80F5-9AF3C2C223A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The finite and infinite: on Hilbert's formalist approach before and after G\u00f6del's incompleteness theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_finite_and_infinite:_on_Hilbert%27s_formalist_approach_before_and_after_G%C3%B6del%27s_incompleteness_theorems"}}}}}