{"entities":{"Q1346929":{"pageid":1357668,"ns":120,"title":"Item:Q1346929","lastrevid":67670022,"modified":"2026-04-12T19:15:28Z","type":"item","id":"Q1346929","labels":{"en":{"language":"en","value":"Algebras over negative equivalences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738975"}},"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":"Q1346929$AE9FDAD6-C210-46CB-8C19-CCCAD755FD9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2aea84d20485049641dfbec6412c68dc1224a3","datavalue":{"value":{"text":"Algebras over negative equivalences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346929$D2812EB9-F1C8-490A-951D-C01F6378EF6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5231e7e776b7886571599496a4a4e0d592633805","datavalue":{"value":"0820.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346929$6585A33D-0EC2-4D26-A1C8-663298DD0A7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9cdecd0813daca88e59358b4b3131e02a1af914","datavalue":{"value":"10.1007/BF00739416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346929$6A85BD81-BAE5-4714-B490-6544E66A9AF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4611b92dae875abfae44466af6ce7f3cbc461216","datavalue":{"value":{"entity-type":"item","numeric-id":299154,"id":"Q299154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346929$4E49E6EB-B06C-4B8E-9187-E388B45C85F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346929$17FE3E55-7F32-4014-A7A3-5772685A8EB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13b74804618c57ee35b990cf82f55e89bccfb918","datavalue":{"value":{"time":"+1995-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346929$C12DC758-A37A-4C93-AFCE-FA269D9188C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41bdc86c062680147a31d4dcb1fa0f46b88b5d99","datavalue":{"value":"https://eudml.org/doc/187675","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346929$8D84D91A-401F-429D-A16E-D6C4AEE48827","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb75ff2cc8e0d6e55e66b3f33c62bdb06d63f503","datavalue":{"value":"For an equivalence \\(\\eta\\) on \\(\\omega\\), an algebra \\({\\mathcal A}\\) is said to be an algebra over \\(\\eta\\) if there is a computable family \\(F\\) of recursive functions on \\(\\omega\\) such that \\(\\eta\\) is a congruence of the algebra \\((\\omega, F)\\) and \\({\\mathcal A} \\simeq (\\omega,F)/ \\eta\\). For every negative (that is, co-r.e.) equivalence \\(\\eta\\) on \\(\\omega\\), the author constructs a finitely generated algebra and a simple algebra over \\(\\eta\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346929$D3E0F1F3-7729-4298-9B3B-082274C98AD0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d7a760754899c4252076421c1bbdd70a575016d7","datavalue":{"value":{"entity-type":"item","numeric-id":593287,"id":"Q593287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346929$7F39571E-183B-4DB7-B863-96FF4FD7F751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346929$417E85E6-17D6-4129-B497-625525415A90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5828d89cdaba57309d2d92ef4dc1ac2e2b09a900","datavalue":{"value":"738975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346929$444C713C-A9BA-4904-9D54-67D0C24EA79C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7def87aedd1702787efdcaff1a3b905c760af8e","datavalue":{"value":"negative equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346929$322E605D-E27A-4B13-AAE1-BF2C1B76F748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1759ec671fc2ee95734c91cd67aebd23636670e4","datavalue":{"value":"algebra over an equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346929$DD6AF20F-425F-4B4D-9871-AD6FB4BFF64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6da523c89b57ae3a8d5c9fdf9c01dc40d72708","datavalue":{"value":"finitely generated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346929$AAF92F00-9B37-4A74-AC1C-053F97E0323B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07800169ef6ee31e9f523c1565838c221182a5c","datavalue":{"value":"simple algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346929$58A79D95-04BA-47EE-AC70-C41F0E976106","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":"Q1346929$16A6769D-1744-44C7-BE47-A2F394BF4F57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca82098c56b477837baab3195124d2084216873f","datavalue":{"value":{"entity-type":"item","numeric-id":1204783,"id":"Q1204783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185e8fa44e67966a884cb7855222b93e1665bc69","datavalue":{"value":{"amount":"+0.8234039545059204","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":"Q1346929$7C218F7A-7975-4175-BEF0-0FA63F40E3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a08581555d5c9ef044f232db2a9e3ace21accce9","datavalue":{"value":{"entity-type":"item","numeric-id":3363037,"id":"Q3363037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c344915c848d498ee8db014f67ed1b96bccd31f","datavalue":{"value":{"amount":"+0.761330246925354","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":"Q1346929$608E7A1F-2213-4469-B752-ACBBE20AC0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6c877cf0d31437d6d8f2fa1316be48d42d8c13","datavalue":{"value":{"entity-type":"item","numeric-id":1317603,"id":"Q1317603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f2dff1aebd211fac111ad30bfbc9b77410be68","datavalue":{"value":{"amount":"+0.7453569769859314","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":"Q1346929$5C9E718D-7A99-4D1F-BF64-8ED2B1007EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1c7ea7b1ce07d099cdef409ea90be442a01315","datavalue":{"value":{"entity-type":"item","numeric-id":299155,"id":"Q299155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a868e3164b3aa4193abf2b17776f717dad9b570e","datavalue":{"value":{"amount":"+0.7315565347671509","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":"Q1346929$FF25F9E0-DF7A-44EA-BFD2-FA09449723B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39aa282fa40b7f752efacbc0b56884b76766c68d","datavalue":{"value":{"entity-type":"item","numeric-id":3497124,"id":"Q3497124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f340966761788ce4f8b6542e89c2bb66b2a3f65","datavalue":{"value":{"amount":"+0.7209617495536804","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":"Q1346929$513453A6-407B-464F-96AE-ED7E47B173C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras over negative equivalences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebras_over_negative_equivalences"}}}}}