{"entities":{"Q1823931":{"pageid":1834673,"ns":120,"title":"Item:Q1823931","lastrevid":49311220,"modified":"2026-01-06T22:53:31Z","type":"item","id":"Q1823931","labels":{"en":{"language":"en","value":"The recursively enumerable degrees have infinitely many one-types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116514"}},"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":"Q1823931$BBC33E57-4203-4A15-8245-6F1E74A14A73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5505866d5e0b43054a6254c4ceac51e98fc35936","datavalue":{"value":{"text":"The recursively enumerable degrees have infinitely many one-types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823931$11C0C1DA-88E5-42D5-AC72-481F013C3AD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b234175a469e24191d29e519113f43363e056586","datavalue":{"value":"0682.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$E1A8B87F-B882-4CB9-9D5F-8F8A13039890","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42c05b21689f5cef3fb54cd937c5dd8e711b210a","datavalue":{"value":"10.1016/0168-0072(89)90042-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$B522ABB9-AECC-491B-A4AC-38A59D88A3ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$F8DD8A7E-91F3-4A81-A06E-534DF246DD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b09a388965329c926d542d4fdd3e9db9fa7e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":162061,"id":"Q162061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$E69018A7-6FC4-4E34-872A-2F9BF0993223","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":"Q1823931$066CDB8D-E71E-4C50-B283-5D3B74A3077F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1823931$16F3BE30-16F8-42E5-9011-AD0D2BC01787","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"884b03e0b4b767f5ed3f93b536ce6628bb446243","datavalue":{"value":"The authors prove the following theorem: There exist r.e. degrees \\(\\{c_ m\\}_{m\\in \\omega}\\) such that for all m: (i) \\(c_ m>0\\); (ii) \\(c_ m\\) does not bound a minimal pair; (iii) for every \\(n\\neq m\\), \\(c_ m\\) and \\(c_ n\\) form a minimal pair.    Applications and an informal motivation are also included. This is a deep mathematical paper which should be of great value for many ``practically oriented'' computer scientists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823931$6D361CF8-31A4-4B57-8095-E427E3133D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$7E9FFFE4-ED07-42FE-B0B5-A2E7C24C88A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef5c5996b4e5c1ee5716ece1a99486d68c1abf4f","datavalue":{"value":"4116514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$51317E93-4229-4952-AED6-7F9C8FB8FEF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85ecc00a0dac90f3c4c0f926fae07a4de239cc9d","datavalue":{"value":"many-one types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823931$5B669BC2-4CA1-4A29-9995-060F0C57608D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f7a81982e9a700dd7d9e1d40822af105258ec6a","datavalue":{"value":"r.e. degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823931$B45BCA30-BBB0-4495-9EA4-30634017BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"089045109444783772792da658bd57f5bf33eabb","datavalue":{"value":"minimal pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823931$FA952085-DA6B-4E15-AEA7-0687E903EA14","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":"Q1823931$BCE34F40-78F6-4C4E-B55E-81A3A7778780","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72919036dbb5d7bb31a080cd664c813ff55ab6af","datavalue":{"value":"https://doi.org/10.1016/0168-0072(89)90042-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823931$D0229FAE-A60E-4554-AA60-73ACFE16220A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf318122898112f8671e2edccf8985c024617e32","datavalue":{"value":"W2057628387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$373F40B2-4E0D-4F25-99B7-A6E97B94C1E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9cda4b39156bdddc665a0bb799c9a31ed83983","datavalue":{"value":{"entity-type":"item","numeric-id":5187269,"id":"Q5187269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$538ED70E-8548-4A78-A78E-09A108942333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bca441acee540b6c6848d51594e5798c2464759","datavalue":{"value":{"entity-type":"item","numeric-id":5537365,"id":"Q5537365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$B4B4D2D3-B8DC-4ED8-86FE-143996E9FF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fff557e7dc247071db38e3d3a6654bb3ac39f29","datavalue":{"value":{"entity-type":"item","numeric-id":5670617,"id":"Q5670617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$4E87EFAA-5030-4C29-A44A-67492F90E220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33baeb8b1d0ce631770e405e454620cb1cdbbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3864501,"id":"Q3864501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$282B4262-0F3F-4092-BB15-8EB3671D2B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15736a1fabe53e34c9adbd1c3f77269c133e2124","datavalue":{"value":{"entity-type":"item","numeric-id":4040892,"id":"Q4040892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$D87FAE83-6257-4800-9B23-A298CF22ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a395c4c5933b613b35995fb962c5b0cfa5341e","datavalue":{"value":{"entity-type":"item","numeric-id":3676135,"id":"Q3676135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$FF8ED04E-4AAE-485E-A0F7-2E19A415D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8827bb25975fd126f345bc5a9b6c2a45f53f8adf","datavalue":{"value":{"entity-type":"item","numeric-id":5519131,"id":"Q5519131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823931$ABF5FD3D-8110-4C4A-B4ED-ACD0E55472CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bf7bf0e1e689fc88abc732c85ebf62990ca2a607","datavalue":{"value":"Q126463979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823931$4599DD75-B83F-4FAF-BC49-5363531B3ECB","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":"53797954052d2bdf4bb129e1df71b36ef67b35b1","datavalue":{"value":{"amount":"+0.8077830076217651","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":"Q1823931$135CDB42-FB0D-416A-92AA-4A50D321C5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5045f654be472f29e03fe9c332e8e0d0b15991d8","datavalue":{"value":{"entity-type":"item","numeric-id":688787,"id":"Q688787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24515e1289fbc50f0807b36adb6853a7b0b1693","datavalue":{"value":{"amount":"+0.8036907315254211","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":"Q1823931$DDC2722F-C9C1-419A-91F0-376BFFFC5529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e818d8b4ef1f0ff25d9f3777ef90dd67461d936","datavalue":{"value":{"entity-type":"item","numeric-id":1306796,"id":"Q1306796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015ca628ca619d007d94cd3ebad4a579b1905bfd","datavalue":{"value":{"amount":"+0.8022947907447815","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":"Q1823931$AE3CFD80-3420-4840-88C9-F32860904D5C","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":"462a51669c2bbbc4846d3477b2da335cafb340f7","datavalue":{"value":{"amount":"+0.7977939248085022","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":"Q1823931$267F6639-A4D7-4A4B-AE0A-0CE87E7658C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfd5e2ba4038d85ccbc9fc039a70ead18e811ca","datavalue":{"value":{"entity-type":"item","numeric-id":802550,"id":"Q802550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"705209fa325e68638b15c0210270dfcd49cba922","datavalue":{"value":{"amount":"+0.7916104197502136","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":"Q1823931$7706E730-F905-4224-8828-71439EA0B330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823931","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823931"}}}}}