{"entities":{"Q5028304":{"pageid":7057881,"ns":120,"title":"Item:Q5028304","lastrevid":55399330,"modified":"2026-02-17T15:37:46Z","type":"item","id":"Q5028304","labels":{"en":{"language":"en","value":"The first-order theory of the computably enumerable equivalence relations in the uncountable setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471451"}},"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":"Q5028304$44D4C5BC-857C-40DD-8881-5DBBE646D4E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5133dd068cf45f84f97ff738c8a290f0eb2bb8e","datavalue":{"value":{"text":"The first-order theory of the computably enumerable equivalence relations in the uncountable setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5028304$2DF5E49D-9D79-4320-BFE5-946A535E6587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d4e8d0d40de5d64578f28267ba69171aa96f9a2","datavalue":{"value":{"entity-type":"item","numeric-id":375900,"id":"Q375900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028304$B509BC7A-3B57-46B5-90FC-CDC4EE837295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0b2f77af8f2df77d28314d19ad410add2b91","datavalue":{"value":{"entity-type":"item","numeric-id":218972,"id":"Q218972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028304$F9DF689A-7D72-456B-927C-38FF84DD1C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f46129921d282c6d7244c3037be0e6dc839ab1e8","datavalue":{"value":{"entity-type":"item","numeric-id":2039551,"id":"Q2039551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028304$5C1ECDF1-2264-461A-9543-120223B41644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"365b81bf923ee7ef2cd00cdf551ca8c21283e10d","datavalue":{"value":{"entity-type":"item","numeric-id":1734276,"id":"Q1734276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028304$CF2870F9-9AED-4EA9-BB33-75D14D1C92D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"488e6207134e67ec131f48c4bb4bab2c61330f44","datavalue":{"value":{"time":"+2022-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5028304$F5118E3F-C2AF-43DA-98CE-18CBC11AB44F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028304$BE29462B-7AD6-479E-A5DE-5F47CBA28D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028304$90B16151-DCBC-41A6-ACA3-C47492571424","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55ba95f9c3949ff24ea995e794a73af6bb64ceb4","datavalue":{"value":"7471451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028304$C7E4E099-C18E-4F30-B14E-6D61390B4CD1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc8af151a06b0b1dd4951e878847c83ff977ec3","datavalue":{"value":"ceers (c.e. equivalence relations)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028304$098678D9-C736-4C9F-88D2-2F131FCF8E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028304$12681245-8B3C-4D22-A80E-2A0D426944DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd3ea83f6496a1a3e250f891974c7fca3f76a3c","datavalue":{"value":"degree structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028304$6F1A24CE-BBED-423E-9627-A1FA3F8BD3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94b6cc557db8130cff72a7435178f48b4c42b5b7","datavalue":{"value":"\\(\\alpha\\)-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028304$66B99FF9-AA94-496F-95BC-EC95D1D7E312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a5be123137bd24014f50988be0932788e504cb","datavalue":{"value":"uncountable computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028304$0A1AA000-EC43-4B8A-A979-4369235CFB63","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":"Q5028304$3A5D9777-3931-4698-A7CD-0F4612AC57A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b756bd7e73e624b73c83a7d6125b4f23a8bc9bf","datavalue":{"value":"https://doi.org/10.1093/logcom/exab045","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028304$B3670D4F-A692-42ED-A03F-F0AEE7932E85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9b9fdc7f55108a6d65516afb4505b672ea144cb","datavalue":{"value":"W3186371800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028304$B2CB9D40-29A2-444F-AC3B-404536F60BBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d67d3c67bc2f0b63667a7508dfd603f0b25194f3","datavalue":{"value":"10.1093/LOGCOM/EXAB045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028304$3FA31B46-F131-4A74-8B60-0229B7DC59C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028304$A7C5541C-ABB9-43BF-B6F3-E67BB6AEA80A","rank":"normal"}],"P1643":[{"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":"47e737fcd3e1a4c6597c161b7fb5ff82349422a2","datavalue":{"value":{"amount":"+0.7706046104431152","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":"Q5028304$52C645C1-49F9-43AF-B296-E3AAE47C505C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5fd633db5e8d6ac3a1904b7e11d760c809bce2","datavalue":{"value":{"entity-type":"item","numeric-id":2187270,"id":"Q2187270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a912fedd5420d649baa1e52872236427bdb5e9e","datavalue":{"value":{"amount":"+0.7648833394050598","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":"Q5028304$B50E929C-66D9-42C2-AC16-DCB29595B105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a53188b4ec23ae490ae46bdb9f37415b3876816","datavalue":{"value":{"entity-type":"item","numeric-id":2921020,"id":"Q2921020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af96992ef29e49ca59ea3a941a75e2604cc9b2fe","datavalue":{"value":{"amount":"+0.7625752091407776","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":"Q5028304$40FAED9A-79B3-4445-A8A1-3A778EF194BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4822ad2227f3449468a95016f9b1681bd6a210d7","datavalue":{"value":{"entity-type":"item","numeric-id":2213931,"id":"Q2213931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c63700e749612fb3c2b284e9565c2dc0c095f01","datavalue":{"value":{"amount":"+0.7548781633377075","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":"Q5028304$A8679423-B526-4161-82BB-74BDD13E7CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abeddc3d69f0e1c18cdf3f0e1895fa53ce996749","datavalue":{"value":{"entity-type":"item","numeric-id":3679170,"id":"Q3679170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec7ca6a3802d2f38acacabd803a9f77711d342f","datavalue":{"value":{"amount":"+0.7540801763534546","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":"Q5028304$0B200B00-6938-4EE6-B6FA-71713A53AEE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028304"}}}}}