{"entities":{"Q5221861":{"pageid":7251431,"ns":120,"title":"Item:Q5221861","lastrevid":41754072,"modified":"2025-05-07T23:41:42Z","type":"item","id":"Q5221861","labels":{"en":{"language":"en","value":"Hilbert\u2019s Programme and Ordinal Analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185556"}},"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":"Q5221861$6D889064-C74B-412B-942E-9A49C87399AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7205d7a37cb4588eb555d10a4596d4687dab936","datavalue":{"value":{"text":"Hilbert\u2019s Programme and Ordinal Analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5221861$AE7BEDB8-969B-49DE-AE6D-C7B61DA19A80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7250ecd0a815f5152fbc6d6b82de10a2840b8cc4","datavalue":{"value":"1433.03132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$5AF6753C-0240-4738-8812-FB2F8BA94167","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1696968bedd8d2079704b4c874063a14fd2bef48","datavalue":{"value":"10.1515/9781501502620-017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$80D550EB-8F0A-434D-BA09-801EA8E62108","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7d812a44ed5e9f8a21598ffd5bf10ce573aa596","datavalue":{"value":{"entity-type":"item","numeric-id":930617,"id":"Q930617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221861$3EE7ABF7-BB25-465C-865B-A37DED4CA822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"acf087543524d623afbdd16ad688f4bdec86d00d","datavalue":{"value":{"entity-type":"item","numeric-id":5221601,"id":"Q5221601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5221861$022219CE-B301-4E09-B22E-DBE0F2DCB039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221861$29812E82-8D35-42B7-8F33-B96ADF3AF4F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$0BD96FA6-F1C8-44F4-AEF8-3ED77F391AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$FBB8E080-2D9D-4A30-9DF3-ED5537EA1361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$73DC2998-04FD-4F37-9BB8-DA210E6A16A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$D41DED86-EEB3-4FE4-9BB7-B24AAA0CAE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$8F1D39A6-907A-433B-AF41-BB3766A07F70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f655d35fe21d2d2ee5c72ed3443c4f487b5cb57a","datavalue":{"value":"7185556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$91B084B6-0782-412D-B6EE-4C5B4460D982","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d6bb3269f564e59bc6511c746db577f9f425698","datavalue":{"value":"Hilbert's programme","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$54BC4F7C-CFCA-4E1E-AE3A-3AA7F5520BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664c217a1a00d62effaec670f5656be452525922","datavalue":{"value":"ordinal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$E3E81F6A-3A13-4314-B5E0-447260867DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$8A222D1B-A013-4C4E-B5A9-98AAAA2ABD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43be4878e8899fd97c6974c6db405f36da16505d","datavalue":{"value":"semiformal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$D3829AC1-81D4-4B52-98E7-1A340D0E3A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$3A974567-DD81-4DC9-A014-25527877E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$C4B17498-B504-4685-88F3-EA9B70A2C81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"425e268df6c5cb5624c84c71ce4739194b7f0d90","datavalue":{"value":"provably recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5221861$5A0FB55F-9232-487D-B8FC-3F684D1EC729","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":"Q5221861$245CCD35-E8EC-45BD-B606-F9E7F9A8E804","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f7d9daac97e09cb0d462eed4cffde9a406f5c4ac","datavalue":{"value":"https://doi.org/10.1515/9781501502620-017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221861$358AB51D-8746-4B8E-AA41-CEB5D6DCD66C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb355c18af58e6904d50dbc81507004f4a779129","datavalue":{"value":"W2478547507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221861$1ADCBD09-FB83-4F1C-9A70-CDDACFFDAFE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf07926ab61c3401613197c240a74f3af33c2e16","datavalue":{"value":{"entity-type":"item","numeric-id":5119482,"id":"Q5119482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"767cd71050341299ae3d6b2b34688d3d8ac55eab","datavalue":{"value":{"amount":"+0.88915384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$81DB85CE-A3FD-4835-BEDF-55D77FF44342","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":"4c46789a80918084e65aeca29184018be5e37221","datavalue":{"value":{"amount":"+0.8843274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$33BA4CAF-0B67-4841-862E-B3FBD7CEB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a278eb3193a0480512f04191cc5c0d97101468dc","datavalue":{"value":{"entity-type":"item","numeric-id":5229671,"id":"Q5229671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41d6a35c88291a178ee5c5cdb8a442e23f662e5","datavalue":{"value":{"amount":"+0.8843273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$B100593B-62B7-4D56-AD4C-E5389D909C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7edb99676f1247ac8a51c430bdeccf3ec6ae7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3809796,"id":"Q3809796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f004392104ea2f314e93648a29984e48f6861bbe","datavalue":{"value":{"amount":"+0.883191","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$FBE84174-3F1B-4EB1-85DF-47E7578F2AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b1dc6e396f4d398e8d9631206e9766f4ebbc85","datavalue":{"value":{"entity-type":"item","numeric-id":2276954,"id":"Q2276954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ea8373cf90df35a4ab308efaef9e54bb0251c1","datavalue":{"value":{"amount":"+0.88175136","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$66BC7EC8-9FE1-417D-AE2F-51F2C6D0D2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd3a7c2d35fcc8dab514690bc704ad7e70fb03","datavalue":{"value":{"entity-type":"item","numeric-id":951763,"id":"Q951763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbc3646c1b159dd080a707ef03b0974a7b17065","datavalue":{"value":{"amount":"+0.88018656","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$06C681CD-598F-4E8C-91DE-BF37ED693EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e128a3ed25a16ee7720b3bb3ec50d355ee72888a","datavalue":{"value":{"entity-type":"item","numeric-id":4292612,"id":"Q4292612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9be2d7caab86df9efa466c61fb1fe523d037da5","datavalue":{"value":{"amount":"+0.8754836","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$015C5B84-A8ED-4194-9DED-5B9860685B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff32ca05cac064505efd855791891e239850ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3816045,"id":"Q3816045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c870e6ffdff3015df65210132f5bc15068ab822","datavalue":{"value":{"amount":"+0.8737935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$2887B884-DEA6-4314-8BDA-05ECB3060547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5959204c7bbba00f9bcef38b1c2ffa198b5f6582","datavalue":{"value":{"entity-type":"item","numeric-id":1868167,"id":"Q1868167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedfec580f41646c293adddeb47c68da5a669f0a","datavalue":{"value":{"amount":"+0.87133706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5221861$CE3E8634-711B-420D-8E40-18540A83E1B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221861"}}}}}