{"entities":{"Q809074":{"pageid":810922,"ns":120,"title":"Item:Q809074","lastrevid":49527793,"modified":"2026-01-07T12:24:45Z","type":"item","id":"Q809074","labels":{"en":{"language":"en","value":"The density of infima in the recursively enumerable degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210128"}},"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":"Q809074$86DBDDD3-BC60-4611-B5E5-654CB9DD68E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5270a44b43fca3c92ec85c794cba71f9c4bed03","datavalue":{"value":{"text":"The density of infima in the recursively enumerable degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809074$ED05CBF6-A0AA-4304-BCC8-966C1D59EC85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a5a07293d65b7f4f217a5c5ce5248cc1784a4ce","datavalue":{"value":"0732.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809074$DC4593CF-5DCE-46AA-82BB-50CD1D3F99EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84fa2a794f7b3762614832eff1c7044ad64d048c","datavalue":{"value":"10.1016/0168-0072(91)90044-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809074$C60D0C6B-BE01-4AFC-89A4-D7FF753C496F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a89229a66bdfdb3e2e5619b7e8031866b3343269","datavalue":{"value":{"entity-type":"item","numeric-id":189917,"id":"Q189917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$87F3651A-D81E-4215-A1A1-6EE9A83E04FE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$4D339F16-8B9A-4C43-AD76-9F8DFF8D3B4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q809074$E168D85D-B273-401F-A92E-5AE9F6626DFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19a6b6dbba85100e0f0808091bef2323e2137b0e","datavalue":{"value":"The author shows that, for any recursively enumerable degrees \\(\\underset{\\tilde{}} a\\), \\(\\underset{\\tilde{}} e\\) with \\(\\underset{\\tilde{}} e<\\underset{\\tilde{}} a\\), there exist incomparable recursively enumerable degrees \\(\\underset{\\tilde{}} b\\), \\(\\underset{\\tilde{}} c\\) with infimum \\(\\underset{\\tilde{}} d\\) such that \\(\\underset{\\tilde{}} e<\\underset{\\tilde{}} d,\\underset{\\tilde{}} b,\\underset{\\tilde{}} c<\\underset{\\tilde{}} a\\). Then, combining \\textit{K. Ambos-Spies}' result of ``On pairs of recursively enumerable degrees'' [Trans. Am. Math. Soc. 283, 507-531 (1984; Zbl 0541.03023)], any nontrivial interval in the recursively enumerable degrees contains both incomparable pairs with and without infima in recursively enumerable degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809074$7483CE48-2B43-4371-9700-38EA6060B46B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809074$650A1ADC-FD62-4B30-8782-3945686ACE2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a108afa3abc8690143f4b8db5b4b4357c3cec047","datavalue":{"value":"4210128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809074$BC1308CC-D5F3-43EC-BC81-B272C77A7921","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50019eaff869d05eee5ca71292ad7aeb5c989ac2","datavalue":{"value":"recursively enumerable degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q809074$F8FA1F2A-4DA5-44A0-B2A2-4B5D876E85EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e81fc0b274ca6568194209cb25b533d8b15c5470","datavalue":{"value":"interval","type":"string"},"datatype":"string"},"type":"statement","id":"Q809074$A2E5CA3C-6C98-4F4D-860C-7735ECD0D957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"472096acf400a82b058f2d0617de6b434db12e33","datavalue":{"value":"infima","type":"string"},"datatype":"string"},"type":"statement","id":"Q809074$27273998-EB88-4CAF-A311-C3AD72CCC243","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dbc008852b7f12e01f50414af435612153cc55c4","datavalue":{"value":{"entity-type":"item","numeric-id":162063,"id":"Q162063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$304759D1-E00E-48E7-902A-05D1A4A43B5E","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":"Q809074$985E1576-CA81-4DBE-83BC-D93605189805","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45c93e56265a59942fc0fa1163efc0e58936f59","datavalue":{"value":{"entity-type":"item","numeric-id":3897040,"id":"Q3897040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$D7065F56-3052-4782-8EC7-8FC205F42F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3183fe1b285e34ab4afafe2135598ac868bd7630","datavalue":{"value":{"entity-type":"item","numeric-id":2520837,"id":"Q2520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$6D981C19-73E7-43FF-92D8-E36E13CEE951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba17c610b66d156b76e62a37325c965ffedff718","datavalue":{"value":{"entity-type":"item","numeric-id":4184825,"id":"Q4184825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809074$D2CC019E-25E0-44B1-B819-92F476CC3720","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ea47e9076dc5854b17040fc14a0ec30d2ee778","datavalue":{"value":{"entity-type":"item","numeric-id":3328534,"id":"Q3328534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48e167458f3c7062d3167f04f9bbdc739cd891c","datavalue":{"value":{"amount":"+0.8762346506118774","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":"Q809074$6DE691F3-83C4-4DE8-90B8-E93FEA6858D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d2ef4652d02ecc9b5f91aa6bad0c364bdb5c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3315501,"id":"Q3315501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82f7cf50abfb550e4b43c845f028bf2f553ad1c","datavalue":{"value":{"amount":"+0.8609621524810791","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":"Q809074$6722130B-EFB8-4EAF-905D-49B90936895D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bef43f7ad20cf4ae6091335ce7897224db19cd","datavalue":{"value":{"entity-type":"item","numeric-id":2655142,"id":"Q2655142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06347f8a458c57eaf07934983851a989e4be08e8","datavalue":{"value":{"amount":"+0.8248913884162903","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":"Q809074$1A2BF195-8BFF-4A08-AD3A-B580D5D91C02","rank":"normal"},{"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":"7be31caa62b41a6247ccca17eeb79081704c9486","datavalue":{"value":{"amount":"+0.8211609721183777","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":"Q809074$0E2DBE49-E62B-40B7-9638-299F86138695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"890f1788f9694b1560086dd4eccad55e732174c2","datavalue":{"value":{"entity-type":"item","numeric-id":1114676,"id":"Q1114676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30274765f794dd275cfd8f1853d31f246ecc6431","datavalue":{"value":{"amount":"+0.8198704719543457","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":"Q809074$B1C3D3B5-BA43-4344-BCEA-7D3ADFE84CA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:809074","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:809074"}}}}}