{"entities":{"Q1071761":{"pageid":1082513,"ns":120,"title":"Item:Q1071761","lastrevid":69794973,"modified":"2026-04-13T09:26:28Z","type":"item","id":"Q1071761","labels":{"en":{"language":"en","value":"Upper semilattice of recursively enumerable Q-degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3939346"}},"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":"Q1071761$6BE3DE6D-3EE9-4AFC-BE83-CA7AE4845978","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d2ac86f7535e1b099fbaa2af7928d7e3e285eac","datavalue":{"value":{"text":"Upper semilattice of recursively enumerable Q-degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071761$C7F3D34D-7D7F-46C9-9CFC-24C85D9C6F51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03a33446ea8c5816284b348801adf8fd5bc43b67","datavalue":{"value":"0586.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071761$7601EE32-CAD7-4977-A0D8-795338539385","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d2c8502879f0b2b06822e3017e31e532a311cf2","datavalue":{"value":"10.1007/BF01979705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071761$E5A290A7-B588-4552-BC6B-959E762C2212","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$268848A4-1904-4B33-9985-D869866894B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1071761$BB46544B-EC84-4098-ADB8-57D7010E9B0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eeeed7094da55262603d9cd153e7bba8ceb05e3","datavalue":{"value":"https://eudml.org/doc/187262","type":"string"},"datatype":"url"},"type":"statement","id":"Q1071761$3A898060-3C1C-47C4-BE97-481533353646","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8b4e7e7972dbed5cae1b5ef696081bd7c287459","datavalue":{"value":"It is proved that among all \\(m\\)-degrees belonging to the \\({\\mathcal Q}\\)- degree of a maximal set there exists a least \\(m\\)-degree. It is shown that the \\({\\mathcal Q}\\)-degree of a maximal set does not coincide with the upper bound for incomparable \\({\\mathcal Q}\\)-degrees. In particular this implies that \\(Th(L_{{\\mathcal Q}})\\neq Th(L_ r)\\) for \\(r\\in \\{Wtt,T\\}\\), where \\(Th(L_ r)\\) is the elementary theory of the upper semilattice of r.e. r- degrees. It is established that the r.e. \\({\\mathcal Q}\\)-degree is contained in \\({\\mathcal O}'\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071761$B7A0129D-B1E7-45AB-B4E9-DFC9DFDAA30D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071761$C42F4EFD-7D8A-4BFB-987E-2AEBEE6E3E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071761$94AF23FF-7B1A-48DF-AD57-5FB0811691E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e674df4a3adeb243035bbbb9488d88df2d09ea5","datavalue":{"value":"3939346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071761$1B116874-EB65-4920-B6F4-281BFD94B294","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b93d6ade5554c4f1ecdac2b5cd4f907ff15280db","datavalue":{"value":"maximal set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071761$8827E5F3-FFF5-4D95-A1B6-E684891DE801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"817f91d754a6618dd027e0d851a1fc8b7cbc7134","datavalue":{"value":"upper bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071761$3C5DDA7E-FF30-430E-8A9B-3DBBB0FA22D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1d3dad8fd923a5891cf7fb7fe9a17b95b39d704","datavalue":{"value":"elementary theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071761$B9FED22E-45EF-4293-A205-55C793EA6183","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"760aea6a29168acdca880977efcbbf48e149fc50","datavalue":{"value":{"entity-type":"item","numeric-id":535144,"id":"Q535144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$CE00998E-72A0-4BFB-A3D5-356E87244D51","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":"Q1071761$68621042-46A2-4B61-AB18-695CA374BC85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2745d26821ae3d7ce766b8394801e6853c9679","datavalue":{"value":{"entity-type":"item","numeric-id":1218852,"id":"Q1218852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$A7DB434E-B452-4DFE-9403-0599B5A4E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4520f7e99200130522a5d96899cf8913e1f2fa3","datavalue":{"value":{"entity-type":"item","numeric-id":3050412,"id":"Q3050412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$48A4B478-54D9-4AF2-AE9C-04AC358F85CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$31BC2DD5-4884-4E53-9AB3-69F9396908A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8163a5081f8b0b291e678042b7038ef6a2c37a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4101804,"id":"Q4101804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$A5885459-2551-4B5C-BE7C-1309AD096111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f9046a025d2270bef5b9a6397ba3ba12ebb877","datavalue":{"value":{"entity-type":"item","numeric-id":2559464,"id":"Q2559464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$0B16BBDB-5350-4CC7-8121-062B04DCA433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbef6bbbe60bfce0721481461ecfc4b8834e00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5595155,"id":"Q5595155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$25163DCB-70F0-42C6-AF05-8FBCACABD1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6792ef4b3b9eda4ca7ac5e1df7783896e36225","datavalue":{"value":{"entity-type":"item","numeric-id":3216640,"id":"Q3216640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$1C0076E9-BB9D-4518-9A4E-A894642F9E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7a79ad5d72d6b5482aaedfb2526d8e1808499b","datavalue":{"value":{"entity-type":"item","numeric-id":4185801,"id":"Q4185801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071761$8534CF85-682F-4AE3-9521-4310CC530744","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e6ee49bc087d52a2f68460218c245e6e76abbf4","datavalue":{"value":{"entity-type":"item","numeric-id":1803017,"id":"Q1803017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af28324c6898d63a7f540ef340229f0b00c5cd5","datavalue":{"value":{"amount":"+0.8142658472061157","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":"Q1071761$E281E594-7A5E-4F6D-8621-45E3A4C94F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593ea5bd2aac926ec7ad283477b1da171a31967b","datavalue":{"value":{"entity-type":"item","numeric-id":3791140,"id":"Q3791140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fecedebdf23d9dd28fc6825e50e7d38658866550","datavalue":{"value":{"amount":"+0.813772439956665","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":"Q1071761$C3890AA8-FF97-4DC0-BB08-BD7C271A5686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a551a58cded01a16992133fb24803d710b3286d5","datavalue":{"value":{"entity-type":"item","numeric-id":892147,"id":"Q892147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b5e6e6172fed870ab2b26773291dd5996ad832","datavalue":{"value":{"amount":"+0.8034698367118835","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":"Q1071761$5A03FBEA-9420-4533-82DD-7A93DB6DB84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ea4fb6aab73f47dda50cc9d0b6adfa316e04201","datavalue":{"value":{"entity-type":"item","numeric-id":1902712,"id":"Q1902712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4f8e65ed17f0b0da3dc1d1778bc51e517ab9f9","datavalue":{"value":{"amount":"+0.8000799417495728","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":"Q1071761$5C07F942-C2C6-496E-B73F-C2E9354E2CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28532667ee675d63ecd447db8f9b90902c4e6ce2","datavalue":{"value":{"entity-type":"item","numeric-id":453193,"id":"Q453193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15664bfb94daff405e2bfc42e76fc6d8fc4f0cff","datavalue":{"value":{"amount":"+0.8000796437263489","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":"Q1071761$047D83EB-A22B-4500-A7E9-E9DB56C63951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper semilattice of recursively enumerable Q-degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_semilattice_of_recursively_enumerable_Q-degrees"}}}}}