{"entities":{"Q3018989":{"pageid":3029705,"ns":120,"title":"Item:Q3018989","lastrevid":51304307,"modified":"2026-01-17T16:40:26Z","type":"item","id":"Q3018989","labels":{"en":{"language":"en","value":"Hilbert programme and applied proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5932893"}},"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":"Q3018989$9C4111A3-8B55-44F9-81C8-E18F8ED6CCED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c07f918c14171b50251d53aa0c268b7705337f8","datavalue":{"value":"1231.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018989$21CFC910-D556-49CA-9E52-B79E57596858","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e130bc6abef7df700461f6b16b3d1a12b06d5e1","datavalue":{"value":{"entity-type":"item","numeric-id":792320,"id":"Q792320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3018989$246A544D-B042-4362-9F3F-4DD195F635D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e389d84f8899d4fd416867a29608c3150f7b747","datavalue":{"value":{"time":"+2011-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3018989$2F4A9279-9C5C-4AE7-92F1-7D911E3565B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018989$E83AAE3A-AFB0-425A-8F77-9E1ED6B3A0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018989$47423716-EEC4-4BC1-9E0E-2F3AD4674B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018989$A88BFC9B-10A4-40D5-9ABC-888EF41BB603","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ddf20313971b809929919fe2b5aa33914c6b41c","datavalue":{"value":"5932893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3018989$561C2A75-72A9-4EAF-BA7D-A326DFD1ADD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c23305d5a301c23057fddc53953635a4398a76","datavalue":{"value":"proof mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018989$BBBAC3B9-C187-45A4-8C4D-BBB44A1C0F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018989$5AE8D60E-4523-4645-9856-B0679FDD5C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874a5e7b4e33b3c767148d8b5b660605ca97fbaf","datavalue":{"value":"consistency proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3018989$E0135341-8673-48C2-8777-1F9B4400B9F0","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":"Q3018989$3421A6DD-9C65-4D6D-A635-CBEA4F375BE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d99e837422595f9dac5437a392366f0c79dcfc0","datavalue":{"value":{"entity-type":"item","numeric-id":1344187,"id":"Q1344187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c656f9ceb7458de82335e0cb8b0f34f339eee494","datavalue":{"value":{"amount":"+0.7633906006813049","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":"Q3018989$D6135C12-BFAE-466B-B8D8-D71DEBBE4F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e7e761f95733a326465102a2cfa1743bc2a47e","datavalue":{"value":{"entity-type":"item","numeric-id":4847764,"id":"Q4847764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c656f9ceb7458de82335e0cb8b0f34f339eee494","datavalue":{"value":{"amount":"+0.7633906006813049","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":"Q3018989$865975DB-F466-4E32-AA3A-79C4FAE4DD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ee20ecd4cc07c14e88b41cdf0f0a3d63e46dab","datavalue":{"value":{"entity-type":"item","numeric-id":4910498,"id":"Q4910498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73b056b64a9513ad427b68fd75c30de3b21f572b","datavalue":{"value":{"amount":"+0.7575444579124451","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":"Q3018989$A638AAFD-C505-47D3-915D-53BF8395699B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f4795c968486eee82bdf9d936de14803eae0f6","datavalue":{"value":{"entity-type":"item","numeric-id":3654060,"id":"Q3654060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a382ce8d7fbfb65c1d60af81a182128fc1ced3e8","datavalue":{"value":{"amount":"+0.7551396489143372","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":"Q3018989$2545DEAC-6CF5-4BD8-B0AD-05912DBA4480","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":"921a6d6505f57fa44c6c0db1fe428f3f14a054eb","datavalue":{"value":{"amount":"+0.7454646229743958","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":"Q3018989$2A2703A8-A79F-43B0-AE60-A6ED07F73601","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3018989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3018989"}}}}}