{"entities":{"Q685058":{"pageid":686907,"ns":120,"title":"Item:Q685058","lastrevid":47187988,"modified":"2025-12-31T23:04:57Z","type":"item","id":"Q685058","labels":{"en":{"language":"en","value":"Friedberg splittings of recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 416873"}},"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":"Q685058$641E4B68-854B-4505-9176-C65FF8A59682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ff6fdfee2ea75f5e5f408649ec9f2ecc08d4322","datavalue":{"value":{"text":"Friedberg splittings of recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685058$4F4CCF49-03F4-4E9D-A26C-BF24D8F5BFBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b8392675c1936cf2d4d4767c7d0ebcb6cc7c94ec","datavalue":{"value":"0795.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685058$D89B3351-F7CB-4468-8F21-D724C4EB595C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0acea19b8cc37e26b258dc84f9957e39b7ab7780","datavalue":{"value":"10.1016/0168-0072(93)90092-R","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685058$B6DA1272-326A-4B18-B0D9-027CCE53229D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4761e83e89cc17291485567599a5ae1ee159d81b","datavalue":{"value":{"entity-type":"item","numeric-id":685056,"id":"Q685056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$7D4A8362-D977-4380-8EF1-5902C50C6C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2356fe1f1f6d7960e11f0114cbd6aa7fe05024f7","datavalue":{"value":{"entity-type":"item","numeric-id":247180,"id":"Q247180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$5AC26CE2-1BBE-40CF-81CE-383DF5177A3E","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":"Q685058$61F211D1-A9DC-4828-A95B-DB986B48FC98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6918393775fb1c8826438f5277bce44cf6f24c36","datavalue":{"value":{"time":"+1993-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685058$B061A16A-8C78-4A6B-B1A9-5B845EB9CFFB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a666be976ff28ac02d756cf4f4988aaf91c0dd5a","datavalue":{"value":"The authors investigate Friedberg splittings and in particular their orbits and degrees for various classes of r.e. sets. The starting point was the following conjecture: All Friedberg splittings of (simple) sets are automorphic. The authors show that a true Friedberg splitting (\\(t\\)- split) is not enough to guarantee automorphism. But the authors introduce a new notion of splitting (an \\(e\\)-splitting) and show that \\(e\\)-splittings of an r.e. set are automorphic. The authors also discuss another conjecture: Do \\(f\\)-creative sets form an orbit? Although they have not answered this question, they do classify the degrees of \\(f\\)-creative sets as exactly the promptly simple ones. Furthermore, since there are \\(e\\)- creative sets of all promptly simple degrees, there is an orbit in \\(\\Aut({\\mathcal E})\\) realizing exactly the promptly simple degrees. At last, the authors examine some other hemiproperties. In particular, they give proofs of results that there are nonhalfhemisimple sets yet there are completely halfhemisimple degrees.","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$507A568F-5B22-4222-A60E-8D59DCCFBBA0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a2593bf416d166930cb1a96ed0c51e8cbe6cd34","datavalue":{"value":{"entity-type":"item","numeric-id":685057,"id":"Q685057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$02977D0A-D13B-42B2-9C37-A463619BD473","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685058$9C979D17-C556-4107-98FF-358E2AAF993C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"423fc3d528a3dffe3c4695fab15267295f40f5ca","datavalue":{"value":"416873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685058$72C42760-05FE-44D0-A568-3E247B7381AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"270a4725709af90cf6986248151444d29945d74f","datavalue":{"value":"creative sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$59BDF163-BF5B-49AA-BAB5-1C81E6562FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5de1d3d1e4aa37a29281012aca1cd95d18400555","datavalue":{"value":"Friedberg splittings","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$876ECEB1-C60E-4C22-AAB2-A4F5E813F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb61390761c75a8ef1c6b49fa0647658271a8e8","datavalue":{"value":"orbits","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$80AF631A-D41F-495B-B3C9-1F1749B9C799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ea5b69d0be7e1d5aded4795bf1838bfcba2141","datavalue":{"value":"degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$A69206EA-6DAD-4591-B94D-F6B808A67276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$6D4456F8-AE70-4788-8455-6D05CE9A6388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c266d63f975d8b4a3ec045caeb70afa99b51e886","datavalue":{"value":"promptly simple degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$BBA531D2-2E97-42AC-A057-C95F01E4CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c404715134beb5383946125a18819c13a304871e","datavalue":{"value":"hemiproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$827C75E4-C43C-401F-8653-9FC30CBCDBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d401a22ae0c09d8b4c6f1aa174dbf40d3c6337cb","datavalue":{"value":"halfhemisimple degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q685058$5AB9E7F4-2E19-4919-84CA-2DF5756D79CF","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":"Q685058$794A585C-2660-4E13-8D4E-EE4AFC886B9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa15a12163fac3e89d5444caaa728ff4b5498a67","datavalue":{"value":{"entity-type":"item","numeric-id":5559251,"id":"Q5559251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$5B2D9C33-C132-44EA-A434-1970A6DD75AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd4cd9b2bfdf144d4307d3f733d3655ae053809","datavalue":{"value":{"entity-type":"item","numeric-id":4018916,"id":"Q4018916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$1B7BD4A3-39A3-483B-9E0F-6FC67E6D3B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543b2c984c80c17be593c9ce40813218dbdf818e","datavalue":{"value":{"entity-type":"item","numeric-id":4748133,"id":"Q4748133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$65C80A88-34C4-465F-8E5B-84094690AD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ff81edee88ee8b30989e6cce4ee4065e97050cf","datavalue":{"value":{"entity-type":"item","numeric-id":1186287,"id":"Q1186287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$FDCD7D67-C4A6-4A88-8B0B-CDB77034AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b62bed1d3ca93c9b72117e9e43a4d258c29591","datavalue":{"value":{"entity-type":"item","numeric-id":3982858,"id":"Q3982858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$35F39DC1-356B-4AF5-AE9F-CBE65F1D581D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e037ed3157f307ba4d55b6ccb6b475e02da59320","datavalue":{"value":{"entity-type":"item","numeric-id":1314544,"id":"Q1314544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$11049149-548C-4E4B-B82D-A6FA87F42F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$020966FC-BA09-4D5F-A944-1F6E81CE2822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$DA37FD5B-DFC4-4BE3-AD3C-8A9DD9EC9C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee2d565b7ebf15866ce498baf342a5bf3eedfbc","datavalue":{"value":{"entity-type":"item","numeric-id":1923566,"id":"Q1923566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$5726DEE8-3A58-453C-8E4A-CABBF2112774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93d2ceb3db2e404230e7fc428d5252a735afa91","datavalue":{"value":{"entity-type":"item","numeric-id":4024700,"id":"Q4024700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$1A198F50-907E-4D45-B478-D44C1EB7448A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee32fd238cd7aa72816d70e40416ef162832c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":3288145,"id":"Q3288145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$99625617-21EE-4A42-9A76-ECB24E1FCDF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b0e409ebcee6cee216ed726bbf3a24be14c9a2","datavalue":{"value":{"entity-type":"item","numeric-id":3337460,"id":"Q3337460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$EE54EB14-A030-4AF7-859C-9A15A40F3F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d154ba6c2a32a85dade348adc122eac802ab0db0","datavalue":{"value":{"entity-type":"item","numeric-id":1156791,"id":"Q1156791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$B8CE0781-876E-451E-8B70-BBB80C15448B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$DE84AE6A-D5F5-4236-A1A4-8E08CCFD036B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c662d813b1e9eefb532df071ece3cc094fe82f0","datavalue":{"value":{"entity-type":"item","numeric-id":3922662,"id":"Q3922662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$B39AD777-DBCE-46DF-B60F-0F999A7B0149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a52c26566fec192c01fbc25554a5255473b2a5","datavalue":{"value":{"entity-type":"item","numeric-id":4402143,"id":"Q4402143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$A03D27E4-700A-4E15-804D-76CEF957F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ffab9107d6323d7b497634ac7635a953e1d2932","datavalue":{"value":{"entity-type":"item","numeric-id":4012134,"id":"Q4012134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$6E96ED38-AC1B-46EA-9CB8-6E1727A6F6D7","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":"Q685058$E4DF0F10-9500-482C-8D70-DD8B95466E67","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":"Q685058$7D22CDAC-87FB-42F7-BFB0-398F02350F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$440A333A-7782-4F86-B274-9C7CFD4269C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc74e319c9c70b4c00697c697375a2f30976ac9f","datavalue":{"value":{"entity-type":"item","numeric-id":4094861,"id":"Q4094861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685058$0E3E83E8-DD38-4F78-9FE5-BCC5C343786C","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":"Q685058$3313D249-E55F-429B-82EC-17562FF963B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8412308fc201993f0a7daa4ef912efeaa3a0254","datavalue":{"value":{"entity-type":"item","numeric-id":1186287,"id":"Q1186287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27db3e179645a0ca2d5a9ce3f3b2e7a012932fcc","datavalue":{"value":{"amount":"+0.7834317684173584","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":"Q685058$746824C8-0A69-4A22-90E1-1C8067593410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c47b06e15cf76586ad6de43a65cc40670b5b97a6","datavalue":{"value":{"entity-type":"item","numeric-id":3765754,"id":"Q3765754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4f26086459b9f587bd30d0274254711ac30dc9","datavalue":{"value":{"amount":"+0.7826492190361023","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":"Q685058$4A495918-19E0-4EF5-8685-0283B0822AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a378740669ee14db0c3a71c64af56d14badd8f66","datavalue":{"value":{"entity-type":"item","numeric-id":3728889,"id":"Q3728889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de67bb7510019b1f2e86cff37023c49421b63155","datavalue":{"value":{"amount":"+0.7803738117218018","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":"Q685058$D0096250-ED0F-465E-ADE9-CFDDC8036F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159a02d26f9a8eaf15a44c6a75b9f56f5f071f34","datavalue":{"value":{"entity-type":"item","numeric-id":3712326,"id":"Q3712326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e505d04fda057582310512444fa24998d5dc05","datavalue":{"value":{"amount":"+0.7749077081680298","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":"Q685058$067BD733-17E3-4EF5-940F-6C4285892E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d95d0aa04844127119499d0e6050b8d8059794","datavalue":{"value":{"entity-type":"item","numeric-id":1066890,"id":"Q1066890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf870a6c8c94f914a9a5ee92fb1d42fbc0a4a23","datavalue":{"value":{"amount":"+0.7711039781570435","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":"Q685058$6A60A0A0-592D-4F6F-8BD9-CDA63B435601","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685058"}}}}}