{"entities":{"Q2784779":{"pageid":2795517,"ns":120,"title":"Item:Q2784779","lastrevid":79437950,"modified":"2026-05-06T13:54:31Z","type":"item","id":"Q2784779","labels":{"en":{"language":"en","value":"Lattice embedding into d-r. e. degrees preserving 0 and 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732997"}},"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":"Q2784779$E4AFDE37-9314-4737-A3BA-4BB36B3E9394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8d0002a639bae684f0cbd175515120ded4003a6","datavalue":{"value":"1004.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784779$B6EFF631-99E5-42FE-8D45-5879F13AE836","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb78d6e16e1b42b714676493ccae392d5911af","datavalue":{"value":{"entity-type":"item","numeric-id":162006,"id":"Q162006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784779$34ED207A-366B-43ED-BE99-5D6C5F9550A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fc6cfc16d30fffaac8494cf92709609503433fb","datavalue":{"value":{"entity-type":"item","numeric-id":685057,"id":"Q685057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784779$800C96FE-EF74-46E1-8D08-496D47FF7E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311ed7fa9222ebce3571fb58ac7575ce5e3b89fd","datavalue":{"value":{"time":"+2002-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784779$44F09ED3-C0DB-4C03-97CF-0B8183C6E492","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784779$435C039D-A311-4A98-A487-022A49E7AC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784779$30065002-39EF-46A8-BB27-6DC70C2265B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c17f9503a73de5e68b174624ae32e0b8f7208a4c","datavalue":{"value":"1732997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784779$7E3C797A-BF9E-4F82-BB14-C1ACB5B7F49D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93f29f8c121f47a154c10001f7bdbac3bbf1a0df","datavalue":{"value":"recursively enumerable degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784779$21B7B202-BE36-49D7-AC59-729A08FB3EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf8a649807cebce95976c67d20ead22dde23055e","datavalue":{"value":"d.r.e. degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784779$1307EC0E-7E66-4E85-8110-BB63D989260E","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":"Q2784779$2D3BC28B-C505-4E4A-8A15-62C285A96D0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10a5ba867da7beb613283347114f073144f1b831","datavalue":{"value":{"text":"Lattice embedding into d-r. e. degrees preserving 0 and 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784779$2844DCC6-98AD-49A1-BBA7-922E900C043F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14772d0954537933bce0aa237d9c7d4b33af3674","datavalue":{"value":"The following theorems are established: There are an r.e. degree \\({\\mathbf a}\\) and a d.r.e. degree \\({\\mathbf b}\\) such that \\(\\mathbf{0}<{\\mathbf a}<\\text\\textbf{0}'\\), \\(\\mathbf{0}<{\\mathbf b}<\\text\\textbf{0}'\\), \\({\\mathbf a}\\cup{\\mathbf b}=\\mathbf{0}'\\) and \\({\\mathbf a}\\cap{\\mathbf b}=\\mathbf{0}\\). There are an r.e. degree \\({\\mathbf a}>\\mathbf{0}\\) and d.r.e. degrees \\({\\mathbf b}\\), \\({\\mathbf c}> \\mathbf{0}\\) such that \\({\\mathbf a}\\cup {\\mathbf b}={\\mathbf b}\\cup{\\mathbf c}=\\mathbf{0}'\\) and \\({\\mathbf a}\\cap{\\mathbf b}={\\mathbf b}\\cap{\\mathbf c}={\\mathbf c}\\cap{\\mathbf a}=\\mathbf{0}\\). There are r.e. degrees \\({\\mathbf a}\\), \\({\\mathbf b}>\\mathbf{0}\\) and a d.r.e. degree \\({\\mathbf c}>\\mathbf{0}\\) such that \\({\\mathbf a}<{\\mathbf b}\\), \\({ \\mathbf a}\\cup{\\mathbf c}=\\mathbf{0}'\\) and \\({\\mathbf b}\\cap{\\mathbf c}=\\mathbf{0}\\).NEWLINENEWLINEFor the entire collection see [Zbl 0970.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784779$1598050D-F69F-4D24-85E3-7FF6BB956E3A","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":"Q2784779$644B5015-9DFE-45D7-B6D1-376FF215DC3B","rank":"normal"}],"P1643":[{"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":"5da7e055ed63df265ec7b307e0328f9425f915f0","datavalue":{"value":{"amount":"+0.8597808480262756","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":"Q2784779$77483A48-3A48-4A36-93AC-FDC8B20EEDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808d392d68e26ee4a2e7cb9b77d7bc34631bc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3816068,"id":"Q3816068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0fa8f05665729f96ef200fb2645ae9b5c8fb9c","datavalue":{"value":{"amount":"+0.8560633063316345","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":"Q2784779$CC6DE805-F9E2-4DDC-A368-D5A074007A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a52ae3129382f727ebc7d87d2582c4722055561","datavalue":{"value":{"entity-type":"item","numeric-id":687903,"id":"Q687903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f13709a1e3c7cca3d590b059ad9ad7c5ca58d14","datavalue":{"value":{"amount":"+0.8420862555503845","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":"Q2784779$E86190F9-AA16-4E6A-971E-4492859E506A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29ab7b6ec0cae8768fa95704dbd74a97df79959d","datavalue":{"value":{"entity-type":"item","numeric-id":4764099,"id":"Q4764099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e074812880f2ca0b599e962161654fb0744c2f3","datavalue":{"value":{"amount":"+0.8413849472999573","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":"Q2784779$23F65495-CCA5-4E29-85FD-03834FA24690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51dbb8bd2dcf53caf96d5ccdc2b39bb3188feef8","datavalue":{"value":{"entity-type":"item","numeric-id":4286357,"id":"Q4286357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d9a0eea746c070c19a24bc7bc6024101bf5880","datavalue":{"value":{"amount":"+0.8387227058410645","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":"Q2784779$66A88953-5272-46C9-9F1B-E0EAAC4689B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice embedding into d-r. e. degrees preserving 0 and 1","badges":[]}}}}}