{"entities":{"Q1810051":{"pageid":1820793,"ns":120,"title":"Item:Q1810051","lastrevid":73008276,"modified":"2026-04-14T09:21:25Z","type":"item","id":"Q1810051","labels":{"en":{"language":"en","value":"Major sets, classes of simple sets, and Q-complete sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1928150"}},"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":"Q1810051$94B38146-EC51-4399-84E2-75EEA8BB04F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09ebe5e070802b920071b7e0cb8ba30f1a9de2b9","datavalue":{"value":{"text":"Major sets, classes of simple sets, and Q-complete sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1810051$44C280E9-5581-4A55-A0A9-F89F49FD0AA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c7e3ea1e3e8fd9133af3537c205261f2d64eb33","datavalue":{"value":"1026.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810051$2C19FED9-A9D0-4618-ADDF-135C0D433E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61aec04a4b84619a7a577bf6b5b1cd2339493a89","datavalue":{"value":"10.1023/A:1013930408357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810051$976DA2CE-A1AD-4768-959B-2BDB04417323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810051$9A68D4BA-DFA5-42F8-86B1-65BF5FB406C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5729b7a32c154f3073e7cc4ff690b60c4f52f3d2","datavalue":{"value":{"time":"+2003-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1810051$862ED60A-BA6E-4925-AA12-C49E1D35A38A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1f25e76316c9fd304b427801e2042317e00676e","datavalue":{"value":"In this paper, the author shows that every nonrecursive r.e. (recursively enumerable) set has a Q-complete major set. An r.e. set \\(A\\) is called Q-complete if each r.e. set Q-reduces to \\(A\\), where a set \\(B\\) Q-reduces to \\(A\\) if there exists a general recursive function \\(f\\) such that \\((\\forall x)(x\\in B \\Longleftrightarrow W_{f(x)}\\subseteq A)\\). In addition, the author gives various classes of simple sets which contain Q-complete sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810051$8BBEE457-6F55-4402-8645-1575B4308A53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ca8ed344194345ca16bbb6704624120ee7ad077f","datavalue":{"value":{"entity-type":"item","numeric-id":589210,"id":"Q589210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1810051$78524547-79F1-40B4-A1B9-DB84EF92066E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810051$671BE0ED-8A68-410B-A686-EDF97B006100","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f615449b78eb43c73eb827e2fc2ede8e3260960","datavalue":{"value":"1928150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1810051$52698894-B3A7-4796-8AEA-0CD6DF1EAB6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2e1b665f28e129d39a00ebdae46326d5228982","datavalue":{"value":"Q-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810051$E1598735-56EF-4A8B-87C7-5071266DBB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c40a44a75ee9697b5a01a68f8934409a556927","datavalue":{"value":"major set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810051$98F55465-D0F2-47A4-9993-3D73612A9BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8787dbc3363eb34a2de284c0465dfa565c6d1859","datavalue":{"value":"simple set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810051$9A82ADE8-7B28-4BEA-9DCB-BEDE8D369BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c7031418e51cc601e012608d4b8d0d0c53a567","datavalue":{"value":"recursively enumerable set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1810051$A78C7801-F59C-4CD5-8634-54F395535B4B","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":"Q1810051$936642A6-51DB-461C-82A2-5664D2644BCD","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":"Q1810051$96ED6629-2124-419F-818F-5D01AC5FEF01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"231f171783b3be94cf88d53cf47baba145402eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3816067,"id":"Q3816067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f09bc7fa197690200715fe5a9f019cc876e6b6a","datavalue":{"value":{"amount":"+0.8260579109191895","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":"Q1810051$BF0D77BD-87B6-4AD6-89C6-9BF1611C3809","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":"7ebdff8251d042705b4063eb61166794e49cd345","datavalue":{"value":{"amount":"+0.8189730048179626","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":"Q1810051$911A7953-47E2-499E-8518-955A1169993B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e4ba8fbbc3b7f4874d7c67421a04d7727a1cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1295419,"id":"Q1295419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c3e57e9a50ba7a7ddb5efde2761918707ad927","datavalue":{"value":{"amount":"+0.8155310750007629","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":"Q1810051$1BD6DC40-059E-4F81-85A2-60AEEF05BDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b03127662fad9ad4812f03993cfb2badadc968","datavalue":{"value":{"entity-type":"item","numeric-id":4542698,"id":"Q4542698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92b3f6224643191eddc19b9ed89ee26c792c9d0","datavalue":{"value":{"amount":"+0.8004230856895447","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":"Q1810051$094C674F-CB01-4F76-AEDB-66FCE0A5F6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ada7dcdc9d70898a1a98d439e36af17a3804a292","datavalue":{"value":{"entity-type":"item","numeric-id":4383591,"id":"Q4383591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3621d31197ce09a64af6ffb03847b81e4c35237","datavalue":{"value":{"amount":"+0.7983984351158142","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":"Q1810051$5D4791A8-B1F7-45D0-B33D-56115CFCEC87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Major sets, classes of simple sets, and Q-complete sets","badges":[]}}}}}