{"entities":{"Q896924":{"pageid":898772,"ns":120,"title":"Item:Q896924","lastrevid":65171673,"modified":"2026-04-12T00:47:31Z","type":"item","id":"Q896924","labels":{"en":{"language":"en","value":"Reducibilities among equivalence relations induced by recursively enumerable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521257"}},"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":"Q896924$201CAD70-5CF3-47CA-B6B1-919831667F91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb9a2f1458ffffc97a06979762d3085dc856b7c0","datavalue":{"value":{"text":"Reducibilities among equivalence relations induced by recursively enumerable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896924$978174B1-A119-4C93-A31A-977053D3FAC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10097300bd2fe5061cba4b3852206b1243daf404","datavalue":{"value":"1338.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$6F839921-9A9D-4B65-938C-54303DD2F1C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70708a617b968af3806a45f8c4d5f33915c59640","datavalue":{"value":{"entity-type":"item","numeric-id":96710,"id":"Q96710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$042626C1-025C-4A24-99D6-558093FD6EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$2ED28847-19E3-465A-A670-2C6704DCD465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$113A07F5-7227-41E2-A5DE-AE11BDAFDED3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$AB19B2BF-B9E8-45E7-9694-CEE9C03FD21D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-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":"Q896924$6749F5E3-C321-4B2E-9ABA-FFF916E8776A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d7861c516e2a987bfe1de3b1afd563c364f70e0","datavalue":{"value":"Recursively enumerable (r.e.) structures are structures over quotients \\(\\omega/E\\), where \\(E\\) is an r.e. equivalence relation (an r.e.e.r.) on \\(\\omega\\). Such a structure is called an \\(E\\)-structure, \\((\\omega/E, f_1,\\dots f_m,P_1,\\dots P_n)\\), where \\(m\\) or \\(n\\) may be \\(0\\). (If \\(n=0\\), the \\(E\\)-structure is an algebra.) The functions must be recursive, the predicates r.e., with finitely many of each. Most important, they must all respect the equivalence relation \\(E\\).  This paper assembles motley previous results and adds many of its own. They deal with such varied structures as permutation algebras, groups, rings, and orderings. There is a focus on ordering relations for the r.e.e.r. and there is extensive interplay with recursion theory. The topics are unusually varied. We select from them here.  For r.e.e.r. \\(E\\), we write \\(\\mathcal K(E)\\) for the class of \\(E\\)-structures, sometimes relativized by subscript to structures of a specific kind. We say that \\(E\\) realizes the structures in \\(\\mathcal K(E)\\). For \\(S \\subseteq \\omega\\), we let \\(E(S) = \\{(x,y): x=y \\text{ or } x,y \\in S\\}\\). Two straightforward observations: (i) The identity relation is the only r.e.e.r. that realizes a structure containing an injective function; (ii) If \\(S\\) is a simple set then any function \\(f(x)\\) in a structure realized by \\(E(S)\\) must have a constant value for all but finitely many values of \\(x\\).  Let \\(C\\) be the class of countably infinite algebras. We can define a partial order on the r.e.e.r. by \\(E_1\\leq _{\\mathrm{alg}} E_2 \\,\\, \\text{iff}\\,\\, \\mathcal K_C(E_1) \\subseteq \\mathcal K_C(E_2)\\). Call a set \\(E\\)-closed if it is a union of equivalence classes of \\(E\\). Then, with a maximal set from recursion theory playing a role in the argument, there is an r.e.e.r. \\(E\\) such that every nonempty \\(E\\)-closed r.e. set other than \\(\\omega\\) is the union of finitely many \\(E\\)-equivalence classes. This \\(E\\) is a least element in the \\(\\leq _{\\mathrm{alg}}\\) ordering. Further, we can construct an r.e.e.r. \\(E'\\) not Turing equivalent to \\(E\\) with \\(\\mathcal K_C(E') = \\mathcal K_C(E)\\). On the other hand, there are infinitely many equivalence classes whose members are maximal in the \\(\\leq _{\\mathrm{alg}}\\) ordering, including the class of recursive equivalence relations which themselves have infinitely many equivalence classes.  Now take \\(C\\) to be the class of linearly ordred sets. Defining \\('E_1 \\leq _{\\mathrm{ord}} E_2'\\) as above, the partial ordering has both a least element and a maximal element, the identity on \\(\\omega\\). Among many results: If \\(X \\subseteq \\omega\\) is hyperhypersimple or creative or simple but not hypersimple then \\(E(X)\\) realizes no linear order; for every \\(k\\) there is a r.e.e.r that realizes exactly \\(k\\) orders; the partial order \\(\\leq _{\\mathrm{ord}}\\) contains an infinite descending chain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$8867EF50-6308-452D-87EF-14FCEDC95F0C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b80b8bd1054c5101cd01e496a6e5c79a0223fa9f","datavalue":{"value":{"entity-type":"item","numeric-id":591980,"id":"Q591980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$8BAC60D4-668B-4D40-A694-A5403F32EBC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$0DCB05FE-889C-4D1E-BC65-35DC79A8DF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$5DD8F200-605F-4847-B499-700605DEDD38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e99eeba46b25af0d44aa0e659331efc17bb889","datavalue":{"value":"6521257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$583DABA5-A082-48A3-AC6B-049EA5582C0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa6e209a302cc822d09ecc651404c9b031670d5","datavalue":{"value":"recursively enumerable equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$35F27583-AD2F-4BB1-B153-3992BBC50B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66565212894f617d9e135f451b753f6472725ee9","datavalue":{"value":"algebraic structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$CD04613F-A1A7-456E-8170-62D6AE4B8CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aefdc95b5d07aae392947218e16fe44a96e0fb19","datavalue":{"value":"reducibilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$993D1735-0282-4659-9B3C-F94D86B0D1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ea5b69d0be7e1d5aded4795bf1838bfcba2141","datavalue":{"value":"degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$1875DBFE-E6ED-4FC7-9F2F-80D1BA0DD3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q896924$42754721-B24F-428C-BF10-A86026501AF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0fbf8ab3827fe6222319ae7e1e2c39354afb9d2e","datavalue":{"value":"Q59864164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$E9E9FFF5-1ACA-4AB5-8E96-F147B48247FA","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":"Q896924$4B5C089E-827C-4E2E-905B-378322FD0929","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c866518f997eeafe7bd8112776be1f9959f323e","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.042","type":"string"},"datatype":"url"},"type":"statement","id":"Q896924$B2C524AD-75F5-4D4B-9D63-AD5EF486DE08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f62861105a935b6e7b5e091dc3fdbbe2d52fb7d","datavalue":{"value":"W2181593437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$B0DD996D-46A1-4F72-B9E4-D11003CE1891","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a332496fd4cc1406fd7def0dcea913d6b05b6a","datavalue":{"value":{"entity-type":"item","numeric-id":1267600,"id":"Q1267600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$B8A001E0-28F8-4348-9361-7BD719F811AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28556556f0168b33e33c3cb9502f07a40d7d2ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4078005,"id":"Q4078005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$3C94A64E-6D36-4503-ABEC-2973661BF260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea0c6a74e5ef0db48f2e3e6adb0974a2fd4f7a1","datavalue":{"value":{"entity-type":"item","numeric-id":1156125,"id":"Q1156125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$B406B612-D7BA-4F7A-842E-22C4337DF112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a06a77350a0e89c679d1b1a4beb086f99b213ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3309827,"id":"Q3309827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$5F18E518-DF12-49A4-BEAB-493D450A0D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06ab2fccbc2af815ff52a3539605153246eabd2a","datavalue":{"value":{"entity-type":"item","numeric-id":1891135,"id":"Q1891135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$B454BFB2-3442-4BCD-90FF-191794BD2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced42733366f5ff0eb16bafcb58db89b59a7fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3107360,"id":"Q3107360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$44C8E36A-08B9-4CC1-9189-336D62E3F016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c31b4e0f70ef9345fb67daad7fc58e93c0951062","datavalue":{"value":{"entity-type":"item","numeric-id":540407,"id":"Q540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$5E71A492-84E7-4D78-8BE8-1132F0D0E0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65585f232633d168589b22c5b3dfe800457ef91e","datavalue":{"value":{"entity-type":"item","numeric-id":4904456,"id":"Q4904456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$B6634D9C-3C74-4072-A6BC-B25DEC897F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c59fa5a6862e05df7ee16ddb2d8bba3daa3988","datavalue":{"value":{"entity-type":"item","numeric-id":1393225,"id":"Q1393225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$2975A13C-1265-41D8-92F3-9F9629954754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b04465ad608a8c1a165f24b8f0583a5bf5ea651","datavalue":{"value":{"entity-type":"item","numeric-id":4934289,"id":"Q4934289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$24819C83-4497-46B8-B583-955EB24ACD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"562a08b398a22178ebb2e9d16b27c10dfd89e3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3188324,"id":"Q3188324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$2BCB4105-54FA-4353-9970-F39E86C35592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9937b06af4b8e2f716292513164d650fd5730b18","datavalue":{"value":{"entity-type":"item","numeric-id":3576052,"id":"Q3576052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$D25D1790-A199-464A-968C-35A78601F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db90ee52adaf1e387a94dfe5fa56159dfe3b35b","datavalue":{"value":{"entity-type":"item","numeric-id":3117786,"id":"Q3117786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$DD5908A3-D4BB-4884-83F2-C07AD2C9E606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af337b3bac9fdda69f7978677f997cbc76bbc49","datavalue":{"value":{"entity-type":"item","numeric-id":5388722,"id":"Q5388722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$A8E48E81-E5C9-45F7-BB65-830B1C267199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e122ba9125d1486f7adcb34167fc7232cecfd84","datavalue":{"value":{"entity-type":"item","numeric-id":636325,"id":"Q636325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$FF5A795B-6DB2-4035-A6F9-49E3526FF7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59e2ecee767e81da56034513cc44b906e0cf609b","datavalue":{"value":{"entity-type":"item","numeric-id":5939996,"id":"Q5939996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$48153B70-E698-4802-98A4-D9DB94D0B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d8232a861cd192d6078820822fbca21cb1c648","datavalue":{"value":{"entity-type":"item","numeric-id":2349100,"id":"Q2349100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$503E6A88-6F42-42E8-9FAB-22AC61FEBFDA","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":"Q896924$152C3248-BFE2-4B81-A79D-0B31DF833DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3461812571fe4b88bf766bf9ac5ffb291e727f","datavalue":{"value":{"entity-type":"item","numeric-id":3789548,"id":"Q3789548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$E0FD352B-99D7-4E76-B6F3-18CF2829D068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78368933f630661e07edc0981a7c9b40401d778c","datavalue":{"value":{"entity-type":"item","numeric-id":1936272,"id":"Q1936272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$496AF868-8A71-4D24-B12F-1EF1EEC3BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef2304e662b21e4b29a117b55c0e5afcd36defd","datavalue":{"value":{"entity-type":"item","numeric-id":5316305,"id":"Q5316305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$6831E501-5ED2-4D24-96AA-B7562608356A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531994bc0585908b00bae50bd11c71bf82ff272b","datavalue":{"value":{"entity-type":"item","numeric-id":1898479,"id":"Q1898479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$997EAAF0-6AEF-42F9-BC05-43103FB26C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd473f278e22b42f30e82bcf94419123d2ea77b","datavalue":{"value":{"entity-type":"item","numeric-id":3026990,"id":"Q3026990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$BAC48554-513B-4E51-AD1D-9FF400194E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5cf8fa535605290547950c58b065116b31c50c3","datavalue":{"value":{"entity-type":"item","numeric-id":1188502,"id":"Q1188502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896924$A48490D9-09F7-4CC3-B2D4-1B4B016C31A1","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":"Q896924$670C14EA-0F19-4D2A-9A5A-76825AFFEB34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a54d3d953297e3bb4273832dfe79d8dd3521cde7","datavalue":{"value":"10.1016/J.TCS.2015.11.042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896924$068D317C-B719-46B9-B368-C24A3D3B8E53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c45892991f558a070f7eaa2af20c5e2aed7b40","datavalue":{"value":{"entity-type":"item","numeric-id":2349100,"id":"Q2349100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf773ddc6a313dc7fd896ca6006439111100224","datavalue":{"value":{"amount":"+0.8264725804328918","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":"Q896924$DCDBEC99-FE48-4181-8F73-2AB46BF94499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7234c7bc8ee305ec5c9c53d0d3b34d8251e7eb46","datavalue":{"value":{"entity-type":"item","numeric-id":3188324,"id":"Q3188324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f1563f9fe44efb01f4dd2603c3b1990c3025b5","datavalue":{"value":{"amount":"+0.8019800186157227","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":"Q896924$B8ACDE84-6288-4249-94BB-F5A47A4DC96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57069193010b9f42cf53f60a79b7c2271cc1b60","datavalue":{"value":{"entity-type":"item","numeric-id":4731180,"id":"Q4731180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a951f7cd224d31305da048c3ab3e46a299b1e85f","datavalue":{"value":{"amount":"+0.7842338681221008","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":"Q896924$6F5C3128-955F-40CD-877B-72982C62933B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fbf801528f51cd910c9c67184be32c509c3fa5f","datavalue":{"value":{"entity-type":"item","numeric-id":1919770,"id":"Q1919770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee81baa43d99932907a461c541c2f5910726eee","datavalue":{"value":{"amount":"+0.774954617023468","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":"Q896924$E1D3ACB4-2D1E-438A-BA8B-DBD4ADF7FC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a180852c9f473ce062d1155c911dca674c8c84","datavalue":{"value":{"entity-type":"item","numeric-id":2295742,"id":"Q2295742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee75cce040a029c194fb9db7580f5d4fa8fccb1","datavalue":{"value":{"amount":"+0.7728336453437805","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":"Q896924$CF602CAF-9D83-414D-811B-6F1BDD4BB406","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducibilities among equivalence relations induced by recursively enumerable structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reducibilities_among_equivalence_relations_induced_by_recursively_enumerable_structures"}}}}}