{"entities":{"Q4922657":{"pageid":6952239,"ns":120,"title":"Item:Q4922657","lastrevid":58367424,"modified":"2026-04-04T22:07:56Z","type":"item","id":"Q4922657","labels":{"en":{"language":"en","value":"Provably \\(\\Delta ^0_2\\) and weakly descending chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6170067"}},"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":"Q4922657$00093AE1-413C-4B37-A103-BCC27FEFCB63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba731e9a27b6550f76a19894712be38d06406b03","datavalue":{"value":{"text":"PROVABLY $\\Delta _2^0$ AND WEAKLY DESCENDING CHAINS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922657$32D9695C-0531-443E-BB2F-8C067E702093","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20aaec3982cfdb29966a45da358dcabd7b769463","datavalue":{"value":"1277.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$B854E979-FCAC-46B8-8996-6568CFECB668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae553d72b1d89e24a010d55ad67eaab70aebd966","datavalue":{"value":"10.1142/9789814360548_0001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$3E09B276-C5B5-4A43-846A-25ACF035ECBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922657$5C072B14-CD67-4C01-90C8-319DDC953C11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19d387f923c377db5b0694ad633dd6815da9ba52","datavalue":{"value":{"entity-type":"item","numeric-id":4922656,"id":"Q4922656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922657$DD2A9F04-4FED-46BB-86AD-7756CCA14E37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a099eaf742a5e6ca6d360d203620e441cafc43b","datavalue":{"value":{"time":"+2013-06-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":"Q4922657$9F9988D1-7506-4FBE-A1AF-EED77BA47631","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81852dfa69ce5ca799b06ba266ba92c332bc1e8b","datavalue":{"value":"https://arxiv.org/abs/1005.1989","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922657$8A577058-F989-4B37-B811-9D61A12EB08C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$088E7293-B042-4EE9-8792-BEB5EC4E00DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$D8EBC9B0-5AE4-4B1C-BD91-A11162030E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$E503DF46-CA44-4919-93F1-8F774B4F00D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0ee84b91cac881d01a0b78af454bb1d18821775","datavalue":{"value":"6170067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$6443A525-A4B2-4F04-BD86-62184A6635D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ada7a7b7a195ec5ba948b7696cdf97f8129521f","datavalue":{"value":"Ershov's hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922657$082871D9-2E77-4D7F-8953-68F427768643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7299d8c31f90d4569d7234a8e275a6376125d959","datavalue":{"value":"provably \\(\\Delta^0_2\\) sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922657$87B34866-F68C-4A46-916E-A9991A880756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d426145e28c1b5ca9d24fa690afbeb179ab20f1","datavalue":{"value":"infinitary proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922657$E7E5DD1B-B754-4C9D-A71A-31B693871D52","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":"Q4922657$0C8DD805-9482-41E4-93A3-67E6135F2B35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6babb443682b03a6dad80364249e0f6ebe2703b5","datavalue":{"value":"W2964345785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922657$A0F6114A-6C5C-4CF0-BAC1-395A3E2CA853","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685590c15bc807db171a04449a659b3d0df606ff","datavalue":{"value":{"entity-type":"item","numeric-id":3567853,"id":"Q3567853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e77837beda58aeaeae5b4ca1f1137c23ad5f94d3","datavalue":{"value":{"amount":"+0.7321740984916687","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":"Q4922657$0776B264-D0FA-4757-B44D-49E5CC0A730A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b6add634383be2c190127cd21b31957f90d0943","datavalue":{"value":{"entity-type":"item","numeric-id":3083669,"id":"Q3083669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1827b60b5d5c7237a2fb25ea9bea89cb0acdb479","datavalue":{"value":{"amount":"+0.7244707345962524","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":"Q4922657$3BA68398-2722-458C-A0D7-C6DEF875F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec5f17b09996b8742f4032cee34bfc86a044741","datavalue":{"value":{"entity-type":"item","numeric-id":2566065,"id":"Q2566065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9af2adaa7a6f93370d90c40b3874daced70129a","datavalue":{"value":{"amount":"+0.7205203771591187","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":"Q4922657$B8F4F730-76A6-4B0F-91BF-BE3742AC4A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aee37ae2d278d5b9a55df6ae6a1eae9ac4a69c","datavalue":{"value":{"entity-type":"item","numeric-id":3773880,"id":"Q3773880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea1af5e30634e23d8eab6677ab8710dbd1af5125","datavalue":{"value":{"amount":"+0.7181665897369385","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":"Q4922657$70C999B9-BF93-4250-866F-5F2C4DEC8349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4fb42a5356c6cc9780393ddb49417cdbaaae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4215632,"id":"Q4215632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc17cf9b4de81ffee2349ab6af4873767f26d31","datavalue":{"value":{"amount":"+0.7092626690864563","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":"Q4922657$692B8406-47E4-4313-B598-84720B588773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922657"}}}}}