{"entities":{"Q2498900":{"pageid":2509643,"ns":120,"title":"Item:Q2498900","lastrevid":73275174,"modified":"2026-04-14T15:14:28Z","type":"item","id":"Q2498900","labels":{"en":{"language":"en","value":"Effective categoricity of equivalence structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047219"}},"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":"Q2498900$37C0D837-8B4B-4178-B01F-1C8983AB0F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8b6857ccbfc2b89926734c4870f37d8f08d3c65","datavalue":{"value":{"text":"Effective categoricity of equivalence structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2498900$0616CB11-5967-41EC-9691-F15F4E490A05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e040a5fa545f07b2224930c4f29233504388320","datavalue":{"value":"1103.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$8F834D11-75EE-4ABF-9C8D-A5DCB4E7D540","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e826ed4f399daa696f96135b2223a3156a548d9","datavalue":{"value":{"entity-type":"item","numeric-id":541223,"id":"Q541223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$094F07DC-2D90-4BE7-A542-3431200558BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$29AAB370-F712-42D6-97B8-43CBBA679330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec221a2b73dcf6fb94011fc6c6f693afff39c1c","datavalue":{"value":{"entity-type":"item","numeric-id":636348,"id":"Q636348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$FF1D56D7-038E-45AF-A7B5-BCA33CDC8DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$1BEB840F-105E-4440-9C29-B5F9A086A11C","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":"Q2498900$24FCE303-C78B-4E21-9225-0AFE5C9B73B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51baedb45b1970a218dc00cb5762a1bbcc63a6f4","datavalue":{"value":{"time":"+2006-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2498900$DF0DD541-D739-437B-BF35-D3E0AF7495EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"311fbebc2b3e638d8bc0f69f92d81bc5aa236fad","datavalue":{"value":"https://arxiv.org/abs/0805.1887","type":"string"},"datatype":"url"},"type":"statement","id":"Q2498900$97AFDB3B-506D-4364-97C4-E8B2A2A9BCB5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d6ed159b7d721b6f5071cb1c0981bc7757de8f73","datavalue":{"value":"In the paper under review, the authors study effective categoricity of computable equivalence structures. A structure \\({\\mathcal A}=\\{A;E^{{\\mathcal A}}\\}\\) is an equivalence structure, if it consists of a set \\(A\\) with a binary relation \\(E^{{\\mathcal A}}\\) that is reflexive, symmetric, and transitive. It is proved that such a structure \\({\\mathcal A}\\) is computably categorical if and only if \\({\\mathcal A}\\) has only finitely many finite equivalence classes, or \\({\\mathcal A}\\) has only finitely many infinite classes, bounded character, and at most one finite \\(k\\) such that there are infinitely many classes of size \\(k\\). (\\({\\mathcal A}\\) has bounded character if there is some finite \\(k\\) such that all finite equivalence classes of \\({\\mathcal A}\\) have size at most \\(k\\)). It is also proved that all computably categorical structures have computably enumerable Scott families of existential formulas. The authors also characterize relatively \\(\\Delta_2^0\\)-categorical equivalence structures and study the complexity of isomorphisms for stuctures \\({\\mathcal A}\\) and \\({\\mathcal B}\\) such that both Fin\\(^A\\) and Fin\\(^B\\) are computable, or \\(\\Delta_2^0\\). Here, by definition, \\(\\text{Fin}^A=\\{a:[a]^{{\\mathcal A}} \\text{ is finite}\\}\\), and \\([a]^{{\\mathcal A}}=\\{x\\in A: xE^{{\\mathcal A}}a\\}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$2CBACFA4-38E5-44CD-B691-947E924F6E88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$E021173D-8541-427F-825D-3ED7101FFF28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d55403567409ac8e289cc0bf36c8a7646494342a","datavalue":{"value":"5047219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$D00A1BE7-87A0-42BD-B2D8-C844CF2C643A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84459e32fe6e8af51205469091c89643497426d","datavalue":{"value":"computable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$03CFD7D1-7D35-4B57-B5AE-AB083AC0DD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d041827ff52f088bfca7776f3760b9417ad9bd18","datavalue":{"value":"isomorphism type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$DA708DEF-F553-44CC-AE30-C9506CD1B99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a0e44abbfb9afe1b4d12c54aec81a7c6d157cf5","datavalue":{"value":"Scott family","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$80FB151A-5C0D-44AB-9211-FB4BD28B58DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60efc77a27ecd6c28ff13f40109f9e27b96c08af","datavalue":{"value":"effective categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$C8EEF836-99A8-4E9D-993C-A47971B0353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24c4927fd67ad9619e744910515cba75a616016","datavalue":{"value":"computable equivalence structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2498900$FF5080D5-9062-4A65-85A7-D1D759043B39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$E2468A58-A9EA-48E7-BEA8-F4AC76725D58","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":"Q2498900$2AED8B40-7B35-489B-81B9-1DBBE91829F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2ff0782127f646ccc04891c5475c8f721719eeb","datavalue":{"value":"W2004277670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$80FCA9FE-2F5A-4611-93C4-34AFEA2EBF47","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e88485f253812f2c2db621b63c76c0d5520b9a66","datavalue":{"value":"Q59199682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$36C59C85-9701-453E-9838-B8BC8D330316","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5a5c976723aae226a75add549dd3d7aa355e43","datavalue":{"value":{"entity-type":"item","numeric-id":1821772,"id":"Q1821772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$9E4E1948-1A78-4282-967D-5E0B25D254D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$69943605-E2FF-4FA7-B843-409AC18CDD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64fb00daeb600c33bdb6784a21af48a463f2039d","datavalue":{"value":{"entity-type":"item","numeric-id":1123889,"id":"Q1123889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$C545E3E6-2F60-40F8-AD6C-7502FF454C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf869e8ab52e808530e2def69fcf49de282e2fd","datavalue":{"value":{"entity-type":"item","numeric-id":5753942,"id":"Q5753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$2210192B-8C3A-46F1-AAD9-AFA70310D04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90cd6307b8a4f538f5736b0fa0f5f7bfc07af946","datavalue":{"value":{"entity-type":"item","numeric-id":4254616,"id":"Q4254616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$4D02C31A-9B97-499C-A4CB-2C922D45FC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc472c4006d08ec38c269978e89f0714a413eb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1247964,"id":"Q1247964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$166598C8-D8F5-48AC-A8F9-DFACFECAFFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e576ce89587a57392f0f21a1b25045c767f8fadb","datavalue":{"value":{"entity-type":"item","numeric-id":1257890,"id":"Q1257890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$CEE63541-7563-48E2-8846-4133D80C962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bb064ce3995741ddff7a10695d91c514b9fa7e","datavalue":{"value":{"entity-type":"item","numeric-id":1156126,"id":"Q1156126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$3150CC9D-B7E2-476F-838B-8A0D962EA178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e05d7132d40513b67e6d35d3751926616ce7ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1156127,"id":"Q1156127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$6D269B8A-B8A1-45B9-9CFF-9EF68EAE2B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8373a428d5aef635cffa09d9b902a79732bfe035","datavalue":{"value":{"entity-type":"item","numeric-id":2570135,"id":"Q2570135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$04CF1955-3E08-40EF-B347-A134AD16B4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee171677b43fa68303b692e7fe0e72572beda659","datavalue":{"value":{"entity-type":"item","numeric-id":5311742,"id":"Q5311742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$1248DC2C-9D9F-49E5-916F-6C1C1F7FE308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9f37de6d915d628253b3ef9f9b1a59d7756a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1873769,"id":"Q1873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$DDAA5166-7F39-4A99-9174-49E5F0987F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce583b24c74e24e52cbb1bb739c6fca1b5cd5f53","datavalue":{"value":{"entity-type":"item","numeric-id":1914760,"id":"Q1914760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$102F5377-9398-4F47-973F-79937FEF50E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b8ee7a8b19d70f4fb0d4aadbb8b30113b89b91","datavalue":{"value":{"entity-type":"item","numeric-id":1381432,"id":"Q1381432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$1DA373FF-68CA-4021-A135-06E263ACA6ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e3d4a8ba29f2da8b7cd1f020b8f8d828386f069","datavalue":{"value":{"entity-type":"item","numeric-id":1295389,"id":"Q1295389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$481CAB1D-F91B-4C31-8475-A6062BF1F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9740629ffdd1cc6d439b8ee7ad14ae144e71dac","datavalue":{"value":{"entity-type":"item","numeric-id":2709313,"id":"Q2709313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$55CBEE48-6152-4F1C-A9D4-8B898D34EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a8b3e6dfcb9825529fe8445bba63fffb3639e3","datavalue":{"value":{"entity-type":"item","numeric-id":3370760,"id":"Q3370760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$9E2AED35-736A-4132-9C13-6FDA8F62386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3c12e6ddea2bce7a12bf80c9c36f8b3f2f8139c","datavalue":{"value":{"entity-type":"item","numeric-id":1861536,"id":"Q1861536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$1074DBE5-12B8-421D-BE52-BE80B4EED188","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":"Q2498900$08489A98-5822-49F5-8AE4-BDA04101BE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd6d32ec3248f5319c5ec4542db48f9844438e38","datavalue":{"value":{"entity-type":"item","numeric-id":3767330,"id":"Q3767330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$A70649B2-57D9-4DB7-962E-7F4CD10727C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c77ee540343e0e3e8f6577cbaf5127c8e867e32","datavalue":{"value":{"entity-type":"item","numeric-id":3370758,"id":"Q3370758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$66ECFFDA-F508-4351-B015-D96F6B832D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30d8e1ec72c8ff3967bc4895830c9797d68c4746","datavalue":{"value":{"entity-type":"item","numeric-id":1217118,"id":"Q1217118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$150AE9CB-ABFB-4DF1-B87A-1A78C7191D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8d31b9fc87b89ee3effdeb240daa3f1a04408e","datavalue":{"value":{"entity-type":"item","numeric-id":3955343,"id":"Q3955343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$4F404C50-8C44-4690-B088-20C40D2BDA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dec416ead949ba55ab98d0194a607553c3113dd","datavalue":{"value":{"entity-type":"item","numeric-id":3331214,"id":"Q3331214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$2B913A27-F33B-452C-B457-3D9013DAB43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c25cf32b621f5178d06ace026c2e7d52fdfc864","datavalue":{"value":{"entity-type":"item","numeric-id":1239156,"id":"Q1239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$AADA325F-A378-4FB4-A814-B5E5595094E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d676e60bcb875cb3e260106d5ae3ee3384116d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3949039,"id":"Q3949039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2498900$0E8A5A9D-E32D-496B-B710-475B7B4C6559","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":"Q2498900$865CDB6B-4EC0-4E43-B738-22F654061EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"058d3ae3dbeb8d41af491bb4174bf5fc824bdcfb","datavalue":{"value":"10.1016/J.APAL.2005.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2498900$7F2E1712-8809-4940-B3DC-E91E2C42109F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c7db1345f9abc8154b7bc708a4127546c07be","datavalue":{"value":{"entity-type":"item","numeric-id":3091709,"id":"Q3091709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41e3f944bc0e1dc9c155b600a445c8a0dace085d","datavalue":{"value":{"amount":"+0.8584643602371216","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":"Q2498900$1E88415E-2EE8-46BF-A75C-B3069A69C272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3482b714c205fb914b55a9f99c4da86dacec48","datavalue":{"value":{"entity-type":"item","numeric-id":2195573,"id":"Q2195573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01db6db91b918306c82baf981b64947722833f05","datavalue":{"value":{"amount":"+0.8556095361709595","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":"Q2498900$74C9F622-4638-4CD2-A1AF-E376FD4DCC88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dcbf56f370bd9bf7b4efdeba4318aba213ef30f","datavalue":{"value":{"entity-type":"item","numeric-id":3630578,"id":"Q3630578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e3f456aa9b72866101f44788ca051e8b69dd44e","datavalue":{"value":{"amount":"+0.8491634130477905","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":"Q2498900$363C2615-BB80-4696-9E29-58B3E34C264D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81f40c65a73218138cd31313abfde289290de0","datavalue":{"value":{"entity-type":"item","numeric-id":3576042,"id":"Q3576042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a59b757bca9b60abba2f4fc018563669b93d063","datavalue":{"value":{"amount":"+0.8325666785240173","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":"Q2498900$C37A9C93-33FB-4C60-BD23-A55814783E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3876cd1fdfa012c186e5107a5193332d94799c69","datavalue":{"value":{"entity-type":"item","numeric-id":639658,"id":"Q639658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fced7174e60f19f5be2f72398c99ea4abf0aae9","datavalue":{"value":{"amount":"+0.8097174763679504","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":"Q2498900$09856C7E-0683-434B-8917-757418BD3298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective categoricity of equivalence structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_categoricity_of_equivalence_structures"}}}}}