{"entities":{"Q1803017":{"pageid":1813759,"ns":120,"title":"Item:Q1803017","lastrevid":72990726,"modified":"2026-04-14T09:14:14Z","type":"item","id":"Q1803017","labels":{"en":{"language":"en","value":"Upper semilattice of recursively enumerable sQ-degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 220169"}},"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":"Q1803017$0E019912-798C-4626-AFD3-3F9867EB6A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e182d5dc2695380e9ba85903819ccb134b8ebbac","datavalue":{"value":{"text":"Upper semilattice of recursively enumerable sQ-degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1803017$EFD517A3-820B-4A30-84FC-2AD515B18077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81344647f5936cab0cfc73d6ecd3cd5b56ee06eb","datavalue":{"value":"0788.03060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$96F6C023-CB61-48BE-A910-E5FE2B47791B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c53fb12c61da0b13e5fde924f70694bac5602388","datavalue":{"value":"10.1007/BF01985061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$A91CBC85-AA2F-4213-AAA7-B55601CE7277","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":"Q1803017$58F7931D-4C92-48AB-8333-E37F67006A73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1803017$6FBF8654-8646-43A5-99FD-EBD972EA438F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a69082516ec8844afaaff53db52ed9f9f433ad24","datavalue":{"value":"A set \\(A\\) is called \\(sQ\\)-reducible to \\(B\\) if there exist recursive functions \\(f\\) and \\(g\\) such that, for all \\(x\\), \\(x \\in A\\) iff \\(W_{f(x)} \\subseteq B\\) (i.e. \\(A \\leq_ QB)\\) and, for all \\(y\\), \\(y \\in W_{f(x)}\\) implies \\(y \\leq g(x)\\). The author studies various properties of the upper semilattice of recursively enumerable \\(sQ\\)-degrees and relationships to abstract complexity properties such as speedability in the sense of \\textit{M. Blum} and \\textit{I. Marques} [J. Symb. Logic 38, 579-593 (1973; Zbl 0335.02024)]. For instance, a density theorem is proven, and relationships with \\(wtt\\)- and \\(T\\)-degrees are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$01C21537-557E-426E-A855-8701A26599FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$30D39F42-60AE-46C3-9A9C-F62C45DCB322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$A69E7CBA-B66E-43B2-ACD2-25560068EE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$6CF35599-A396-4E20-AD4A-D5E9A4A1EB64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69c5942411616cf3ed72a477fb2a36c14ac91c0c","datavalue":{"value":"220169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1803017$9CD25599-22A7-4F21-AC96-9D2CE8853973","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3954df2c94d477be1f9053d2b0645cb5946fb2a4","datavalue":{"value":"\\(sQ\\)-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$278F67CE-558E-4D59-9CA0-69900908EC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9ad95ef7a0b5faf386292e56509a1d5ea71290","datavalue":{"value":"upper semilattice of recursively enumerable \\(sQ\\)- degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$8A118A2D-2E04-4AE6-875A-D8FF7B5E533D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eba61ad2dafe0045b1ddce75e7ba518e81daee0","datavalue":{"value":"abstract complexity properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$F15EFE2B-C7A4-478F-9B74-65A0041A3EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adee8dbd2b97b8f8edf84564a782309afea3f9ac","datavalue":{"value":"speedability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$0EC9D0D2-66AF-44BD-A14F-170A3C56F9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a01ee01077a14e69c3c27408efccd7f448855eec","datavalue":{"value":"density","type":"string"},"datatype":"string"},"type":"statement","id":"Q1803017$4B0E7253-57D5-451C-9293-9FCA504EA92D","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":"Q1803017$165B3CD1-F660-43C7-9122-E3F922E08154","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8055ef4c08baf7aae068108b5a3771ed10ad54de","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$691A002B-B3EE-404E-AFFA-9A75F3FDD23D","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":"Q1803017$FE0A84DE-4447-428A-A9D6-95303444E1C4","rank":"normal"}],"P223":[{"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":"Q1803017$1D4BB00D-24B1-4083-B186-D63F9A7EA9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee49309237dd1d4b4ae05e00460e1fcc41858a4","datavalue":{"value":{"entity-type":"item","numeric-id":1071761,"id":"Q1071761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$E7091601-CE48-442B-86FC-01E728A5D327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24bf59e38036f09fa3feb656c1d94032cd520b","datavalue":{"value":{"entity-type":"item","numeric-id":4182728,"id":"Q4182728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$A9F2B12F-06E0-443D-89FC-0BD5A530B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3b834ce09e1f5c4a225d246b941933bcb0d414d","datavalue":{"value":{"entity-type":"item","numeric-id":3794171,"id":"Q3794171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$E9422D4B-DEA5-42B6-B129-BB38E73BCEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce38d666d23d39801802e7eff3732bc0ae06ca41","datavalue":{"value":{"entity-type":"item","numeric-id":2395863,"id":"Q2395863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$33E9F666-D801-4C8C-B63F-8C86935511EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6311a1d5430629fb3a5817cc1a3bc92f10de739","datavalue":{"value":{"entity-type":"item","numeric-id":3731592,"id":"Q3731592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$2DDCB955-218B-4D90-BD19-3801BD8E037A","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":"Q1803017$71D5A7FB-0AD0-4E8F-9DD3-49A598EE95A4","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":"Q1803017$850D8F73-5042-4938-877B-9AB0EC6BFB78","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":"Q1803017$8D63C232-9022-4208-9928-169EBE73717D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00a55592ef5870c3ad686a5c2e69b736a5d81c1d","datavalue":{"value":{"entity-type":"item","numeric-id":2555553,"id":"Q2555553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1803017$4E14EECF-8F13-4BA7-8023-5D269E4C231B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5f0bb58357ca7ac199a479d7333b54409803ba8","datavalue":{"value":{"entity-type":"item","numeric-id":3351356,"id":"Q3351356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db89d6a0dfdbb7aff2339e0f41f96824eb0c87de","datavalue":{"value":{"amount":"+0.8278586268424988","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":"Q1803017$34C2AFE9-44D2-4CAC-AB2A-8E0B73AF9639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723b05ca272748bd3caf144a3b3d71d10a554cae","datavalue":{"value":{"entity-type":"item","numeric-id":1910281,"id":"Q1910281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3dee443ebdc7708335a74fe771f1bb22b31eea8","datavalue":{"value":{"amount":"+0.8243457078933716","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":"Q1803017$4FB7550F-B547-4DB6-BDC9-D2C317E00192","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":"980e4ef4dc8d268d2f990d0cc9958666ffeef24e","datavalue":{"value":{"amount":"+0.8241140246391296","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":"Q1803017$CAC71BE8-0D5C-487F-A0A1-AA4A4F288F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a6d281d9c11971615bc2b4ee6f87f5477e48a09","datavalue":{"value":{"entity-type":"item","numeric-id":1071761,"id":"Q1071761"},"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":"Q1803017$36AB9014-6850-46CE-B9E7-5D81B9020AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1303a6f8bac63456f6edfe983930451b570d663c","datavalue":{"value":{"entity-type":"item","numeric-id":1316903,"id":"Q1316903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987dd6eb96c2d8642ed1ed501ec9011bca5ab6f7","datavalue":{"value":{"amount":"+0.8097507953643799","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":"Q1803017$AE4D99BF-609B-47E8-8691-F9DDFC07E0B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Upper semilattice of recursively enumerable sQ-degrees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Upper_semilattice_of_recursively_enumerable_sQ-degrees"}}}}}