{"entities":{"Q4910498":{"pageid":6940077,"ns":120,"title":"Item:Q4910498","lastrevid":51671753,"modified":"2026-01-19T09:47:25Z","type":"item","id":"Q4910498","labels":{"en":{"language":"en","value":"Hilbert's programs and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6146037"}},"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":"Q4910498$88B3376E-C4F2-457C-870C-C1DE56210226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc7c25b0977aa3dad8668497825aa41e7e050030","datavalue":{"value":"1281.01004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$0E3E8B89-EDFB-4E9B-81DE-3437FC3492C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baf65bf84a9471e07b9412f58991eb0597943057","datavalue":{"value":{"entity-type":"item","numeric-id":762483,"id":"Q762483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910498$28017770-C927-4C9A-9A2E-805F0C43DEA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910498$74AFFB9A-2229-4A40-A945-F9685B2BA108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"502c6764a528f60081e8271f2abc18e5b3b1e9f2","datavalue":{"value":"01-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$A93DF2A2-EAA1-4288-9B4D-8F88FDF7DF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$EEF7927C-3700-4E26-9652-54FA8B59C561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eca42d77da3fb0f1b07caa8dbb234a35613a8094","datavalue":{"value":"00B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$E64C77B1-79A6-4C34-B2B3-0DD0588115B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$AF461F94-CB89-4C32-983D-B9B6AF082EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$1AD6242A-CE38-421B-8D9D-B61A5475ED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c585ff1225385df763d563765306ba256a399acd","datavalue":{"value":"01A61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$D59F0B33-FD37-45B9-9556-F7343437CDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e75e2ccd13b51aea3a2e1bb2ce27bc57128d55a","datavalue":{"value":"01A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$9967CA20-E95E-49B3-B2DA-C81773E65594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$8EEC1867-8C52-4DAD-9714-2C1188484DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$9CAECBE8-3DD7-47EA-8377-CA11B0D40F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d43a72a96c3e2899dba5bbed021743c1db5b0cd","datavalue":{"value":"03A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$DE3B2042-84C7-4AF2-AE9C-BE8C7E8B79D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$289373A8-C1D2-446B-8D95-A4A8ADBB9B74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b04199e67322aa464517b12530c9f0b065d98803","datavalue":{"value":"6146037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910498$A131106C-278C-4287-A6C0-8A6769139F34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$FEFEF4CB-DC5B-453B-9657-0FA1538FEBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62271a29a174fd1bfbaed8d7223f503322c9991","datavalue":{"value":"structural mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$4FC9FB26-AF24-491A-A555-9928C1A91373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37c73146781712199411ba40d2a5e947fd8a3f6","datavalue":{"value":"general reductive theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$42FF851B-48D6-42FF-85E9-157CC7C145EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$AA0D1563-F9E5-4BA8-BF64-948F2074FDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ee896cfb1ff087f610f0ba90e90efefd52ab1b","datavalue":{"value":"metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$3CEF01FD-4116-4BCA-9F59-A8F87F1DA99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$E678A4D1-4615-4F54-99FC-59DF9EF33723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4910498$84534309-37C2-45AF-8BB6-45C4D3F665D2","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":"Q4910498$55C86836-07DA-41ED-AA28-22678F21A578","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b1a702daa3242e7fc16270b9f6c5c8432151c4","datavalue":{"value":{"entity-type":"item","numeric-id":5747346,"id":"Q5747346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43fda11f6922ecbc8537ddc33ee33c3d9f3c3f97","datavalue":{"value":{"amount":"+0.8652395009994507","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":"Q4910498$E40F2714-65ED-44DB-A276-08E3295CF07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5970e71cbee60b0dca00f0c2895e45f5cf6c3c4","datavalue":{"value":{"entity-type":"item","numeric-id":4254642,"id":"Q4254642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b98a7d1f4c21b72c4e973271fca7ae47b662477","datavalue":{"value":{"amount":"+0.8584835529327393","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":"Q4910498$45FB9DE7-1626-4361-9C5E-E6645A3BC853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5777eb9af789c1a7952fdfaf6f677660337084a","datavalue":{"value":{"entity-type":"item","numeric-id":1202497,"id":"Q1202497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b98a7d1f4c21b72c4e973271fca7ae47b662477","datavalue":{"value":{"amount":"+0.8584835529327393","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":"Q4910498$518A5317-FFCC-4C06-BA98-5270AD486108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b870175be5815b5757a9340adb1aefd3bbf8be13","datavalue":{"value":{"entity-type":"item","numeric-id":3788003,"id":"Q3788003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af655c8bd2ae08e4be819ff8825af4f3e4aeba4b","datavalue":{"value":{"amount":"+0.8576471209526062","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":"Q4910498$A6CE57ED-24E1-431F-AEA7-4295FCB4E450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87521f8d0e2065f9aa49189509396731ef5be165","datavalue":{"value":{"entity-type":"item","numeric-id":2304770,"id":"Q2304770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b88b1e240293af6523d76f441fd18130fd9527","datavalue":{"value":{"amount":"+0.8378227353096008","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":"Q4910498$90CDC206-7997-48BB-BC7F-573675DE6773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910498","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910498"}}}}}