{"entities":{"Q2655142":{"pageid":2665885,"ns":120,"title":"Item:Q2655142","lastrevid":44577654,"modified":"2025-11-24T01:09:31Z","type":"item","id":"Q2655142","labels":{"en":{"language":"en","value":"Infima of d.r.e. degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5661726"}},"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":"Q2655142$B44C70C6-A54D-43F0-A5D0-54F6C9158AD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c896c8f91391aaaa787c9eaaa8a6aa112d54463","datavalue":{"value":{"text":"Infima of d.r.e. degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2655142$24A63BEA-B132-4888-9BCB-4FDF4A0514F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5ead6cec7f4f5e0ff9ed53f590683fc24bad2b4","datavalue":{"value":"1192.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$3D8DE53B-E9CE-4F66-BAB0-B611C28C489D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79eacd3184591f22514e4af73d7a18113ba5e474","datavalue":{"value":{"entity-type":"item","numeric-id":408166,"id":"Q408166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$CA006E23-E956-4407-91CD-B8A9DAC490CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd80c37fcdf5d628c661456f22d5a361e524b589","datavalue":{"value":{"entity-type":"item","numeric-id":2655141,"id":"Q2655141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$6DB3B0D2-0382-4CE2-9B5F-ECECE12865F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9048a182a2004509e8f96f49f252325f27fcfbc4","datavalue":{"value":{"entity-type":"item","numeric-id":377472,"id":"Q377472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$3CEB4086-8633-4897-BF53-F82753ABBDFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$DC00E61C-63A5-4412-8CD0-9E16B6427E8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56108a6e6402a05fe4c8d4db81407fa1f0c076f","datavalue":{"value":{"time":"+2010-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2655142$216FD210-2075-4586-A092-A26DD0AD22DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a53bf80b7446f90b3dcd428c937ceca0e8865527","datavalue":{"value":"The authors obtain the following result: Given c.e. degrees \\({\\mathbf u}<{\\mathbf v}\\), there are d.c.e. degrees \\({\\mathbf a},{\\mathbf b}_1,{\\mathbf b}_2\\) and a 3-c.e. degree \\({\\mathbf x}\\) between \\({\\mathbf u}\\) and \\({\\mathbf v}\\) such that \\({\\mathbf a}<{\\mathbf x}<{\\mathbf b}_1,{\\mathbf b}_2\\) and \\({\\mathbf b}_1\\) and \\({\\mathbf b}_2\\) have infimum \\({\\mathbf a}\\) in the d.c.e. degrees. This result extends \\textit{D. Kaddah}'s result [Ann. Pure Appl. Logic 62, No. 3, 207--263 (1993; Zbl 0784.03023)] and implies that the isolated \\(3\\)-c.e. degrees are dense in the c.e. degrees, which was first proved by LaForte.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655142$8EC4EB14-EDE0-4E13-849A-69378B0C990A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$4A943C7F-E027-4D5D-B179-9C91E30BA1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$DC7DEF1D-B724-4284-BFE0-E992642D21F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f59094bbe8e02d0962a08e6ea47f93e5ee03f7f","datavalue":{"value":"5661726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$90C31C12-0455-40F5-AD10-77D6A12658F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8a649807cebce95976c67d20ead22dde23055e","datavalue":{"value":"d.r.e. degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2655142$580803C5-B153-4EB5-AB4E-CCC1A073D467","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f1c7d6689d0b52438bf5455c154225ce1608d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$2B3F0BDD-A2F8-4C0D-9886-E711EC110880","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":"Q2655142$983F9C81-778F-4314-BB64-ED363EB00F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9213fe05cdb7c4992324dd982588718b3cea64f6","datavalue":{"value":"https://doi.org/10.1007/s00153-009-0159-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2655142$2CE7A0B3-B535-45A7-871A-6D1E2A04EF66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"30c17defd16f3bb263289c4fba0a5d10d6aadec6","datavalue":{"value":"W2033188220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$A5EDFD62-9687-48F8-8079-2E034C5C109D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e7920cdf388a5ed50e563163b97bc3726cc303c","datavalue":{"value":{"entity-type":"item","numeric-id":582288,"id":"Q582288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$D078E015-D767-4C90-8E6F-8F993CFE298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee885431a183bedf28cb4190f3e4ad5ed7b73275","datavalue":{"value":{"entity-type":"item","numeric-id":685080,"id":"Q685080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$71FF891B-1ED5-417E-8CDC-0B122BF2AB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d69df0a0537188c5035dc1690fb4ebf6327592c","datavalue":{"value":{"entity-type":"item","numeric-id":2652167,"id":"Q2652167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$22F440DC-A845-4CEA-AF93-A0BED18481B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$C580984A-6638-4A7E-992D-A4101D7ECC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34914bbcb1b2802f7acb949294e1e3a23b3b0fde","datavalue":{"value":{"entity-type":"item","numeric-id":1766924,"id":"Q1766924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$5BF4452F-8479-4DA8-B28C-C57C8D785945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c03a4a841918e4bbb6af7d253d2c44f76a150d","datavalue":{"value":{"entity-type":"item","numeric-id":3576065,"id":"Q3576065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$60D91B6C-307E-4924-80EC-A85880D636BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$4C56F773-9E50-431F-BFA6-26050E155DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1edcfc8f162dce621803913f4363a765362e71d8","datavalue":{"value":{"entity-type":"item","numeric-id":3819052,"id":"Q3819052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2655142$30B3D80B-DA15-4ABB-87E1-37714F2019A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d01ca73774dec4cc76d81454baff8cf47ff4a09e","datavalue":{"value":"10.1007/S00153-009-0159-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2655142$A4CA4AD9-5575-4B3E-8055-094A3EB21359","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b42af6e2cbedfb99c49e64bafef7241b4df02d","datavalue":{"value":{"entity-type":"item","numeric-id":3576065,"id":"Q3576065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","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":"Q2655142$CBCE4F7B-B57C-4E7F-9419-248DD6F36B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1d78d6c6a988c8140768112706d9198173d6c7","datavalue":{"value":{"entity-type":"item","numeric-id":685080,"id":"Q685080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f67e68033faae3d917f1ca5402005000dbc03f","datavalue":{"value":{"amount":"+0.9781986","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":"Q2655142$72A336E0-7A06-4526-BCC4-1FB602D07245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b60991381076f03fddd1df782d9d21569b3b7c","datavalue":{"value":{"entity-type":"item","numeric-id":3159420,"id":"Q3159420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e18dc87b52614af2ebfabe0bdff7a4f16d9e5b0","datavalue":{"value":{"amount":"+0.8356789","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":"Q2655142$F913DE4F-FCF9-4104-A986-A1AA3AA5E8B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e2133ac5e2f1eeff2eb19b1e470a4e4ac5b6ddc","datavalue":{"value":{"entity-type":"item","numeric-id":3764144,"id":"Q3764144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53455e66d6900fd75e6c66916cc2ac0753844102","datavalue":{"value":{"amount":"+0.8343256","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":"Q2655142$D9D081E9-BE7A-4A05-A20F-E79064845A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"298a1e76ad76e02411ab1df5a83bda7e746d7e79","datavalue":{"value":{"entity-type":"item","numeric-id":1715479,"id":"Q1715479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2061b0cc60e7f5d3ae4d9854a89c71ad03ab25a9","datavalue":{"value":{"amount":"+0.8323264","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":"Q2655142$F2564D6C-7CBC-4264-805D-3A6573ADBEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5fae9366d2a895a0152b71f979fbe91d4e030c","datavalue":{"value":{"entity-type":"item","numeric-id":3764143,"id":"Q3764143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d99f4c29188949ba4e9b4bcfcb34c3cada3ffded","datavalue":{"value":{"amount":"+0.8321079","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":"Q2655142$75C3157B-8315-48C4-9118-4FA0F2A11F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef52fec64cdc789d4a854aaa8be0ecacc1ce596","datavalue":{"value":{"entity-type":"item","numeric-id":4487561,"id":"Q4487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd0f6b914256bab5f15666959d84869cae09c70","datavalue":{"value":{"amount":"+0.8164849","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":"Q2655142$842E3D47-152C-4D14-A56D-9A48D4E36D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af2ce575fe5d25e9a036ce2c2505282cff6eac44","datavalue":{"value":{"entity-type":"item","numeric-id":1319507,"id":"Q1319507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f41a161a04d1f1233e9b02d5a2583b008fa0b35","datavalue":{"value":{"amount":"+0.8161781","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":"Q2655142$D8AB0EE3-5028-42FF-B93B-541D5CB75EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f1c032f8d2381be63269eaa8d4d6460edf133e4","datavalue":{"value":{"entity-type":"item","numeric-id":4891408,"id":"Q4891408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f106c1dfbdfbf276d5b992875d68963dd574394","datavalue":{"value":{"amount":"+0.81463295","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":"Q2655142$FE2C58F3-7E03-46CD-A8E7-534F12697966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a4b7b23c0e999bfa6cc451ace508c5f0f1c291","datavalue":{"value":{"entity-type":"item","numeric-id":1239158,"id":"Q1239158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1542b9c97fd2e434b2ec673ed682c0fcd2842494","datavalue":{"value":{"amount":"+0.8100164","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":"Q2655142$F173B65B-F5A7-4D48-BC56-72020FE0D674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2655142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2655142"}}}}}