{"entities":{"Q2491817":{"pageid":2502560,"ns":120,"title":"Item:Q2491817","lastrevid":73486848,"modified":"2026-04-14T16:11:02Z","type":"item","id":"Q2491817","labels":{"en":{"language":"en","value":"Morita equivalence of many-sorted algebraic theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5028852"}},"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":"Q2491817$C22BAA73-11B0-4806-93EF-557743738108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df93703fa0f48c342c40a7ced1d56cb353c5b04e","datavalue":{"value":{"text":"Morita equivalence of many-sorted algebraic theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2491817$444F62DA-7BF8-4FCB-8D1B-92C7BAF19319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a2479f5f97afc6072ce2ede06ab8108fc60fdb6","datavalue":{"value":"1094.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491817$DF590D49-247C-49DB-A877-1DFEC72D2785","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$1EA05E18-59BF-47CF-9E35-6021FF8D9DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66a6ddea8871f9f356e5b7dc9f8bda12c95302","datavalue":{"value":{"entity-type":"item","numeric-id":232628,"id":"Q232628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$8B9E4A6A-44D9-4E96-AD55-49FD6FA1752C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$9701BC84-1562-460A-B01E-1F04FDE81964","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$7EE994E8-E3D2-47F3-A4B7-FAB02413623B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f15351dbed855cf0fba6286653472b73d10f2649","datavalue":{"value":{"time":"+2006-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2491817$6FF6B8FA-E1A8-4467-A599-5A7CF8E00E0C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eccc6f5381c0912f4c473936202907c838efad4","datavalue":{"value":"Two algebraic theories \\(T\\) and \\(T'\\) are called Morita equivalent provided that the categories \\({\\mathcal A}lg\\, T\\) and \\({\\mathcal A}lg\\, T'\\) (the categories of algebras of \\(T\\) and \\(T'\\)) are categorically equivalent. The paper is concerned with an extention of \\textit{K.~Morita}'s characterization of equivalence of categories of modules to the case of many-sorted algebraic theories. In the setting of Morita's characterization, two rings \\(R\\) and \\(Q\\) are called Morita equivalent if the corresponding categories \\(R\\)-\\({\\mathcal M}od\\) and \\(Q\\)-\\({\\mathcal M}od\\) of left \\(R\\)- and \\(Q\\)-modules are categorically equivalent. This received a generalization to one-sorted algebraic theories due to \\textit{J. J. Dukarm} [Colloq. Math. 55, 11--17 (1988; Zbl 0669.18005)]. The present paper adds many-sortedness to Dukarm's analysis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491817$328E91B1-EF43-4781-9A3C-631C572E30B3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$9B63A730-27C3-40BD-B402-E7961ED4E719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491817$B3B23CEC-5B09-4878-93FB-BD8112BC7A01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc254c2dcff866c345ac1f45d4162d70d6ac030d","datavalue":{"value":"5028852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491817$616A84C7-A5FE-4354-B98E-EFB676246B60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f9543e1696aeda8e9c3904ef4bb1c495b096f39","datavalue":{"value":"many-sorted algebraic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491817$5C97A721-249D-49B1-965E-89B6AD0C7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f975111e985da9420d0cb10c17a8dd4cdcc18ddf","datavalue":{"value":"Morita equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2491817$BECB9F3C-735C-4815-97C0-3D9E0940E877","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":"Q2491817$238C460F-1690-491A-B19F-7FA0A06CF94F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d783c2dcdcf838d4475bb8a13b6a7d14abfdd69e","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2006.01.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2491817$D33F2F4A-1369-4F78-941F-24E8991DBD00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45920ccb53b28233e097e0efd23b702dea6eaa87","datavalue":{"value":"W2011715172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491817$271A0EDC-D8B9-45A4-BB78-FBD87D505F9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94b192bcb1f1438fac6d7d940c39373c38eae5","datavalue":{"value":{"entity-type":"item","numeric-id":4527392,"id":"Q4527392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$E45F7E4B-3939-44EE-9D1F-FCB2C6729527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80a154a2ea1a3657fd743d45979888da168cddf","datavalue":{"value":{"entity-type":"item","numeric-id":2559540,"id":"Q2559540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$DD1F0247-8968-4E77-BB97-AEC4CAD962AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$263CC1A2-04D7-45B7-A38C-43260EE4A3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c759173e85961827a5d48e15dfe2e0b33bc8d9c7","datavalue":{"value":{"entity-type":"item","numeric-id":1332449,"id":"Q1332449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$9EF9DC46-12C9-4586-9212-5D37FFA13027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6eccc62e212a334049565f371970ef463ac500","datavalue":{"value":{"entity-type":"item","numeric-id":3822370,"id":"Q3822370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$0D46E641-2B6E-4431-9D69-3CA0D4374AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$32B6046E-CCFC-4440-983F-4ECD83387FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a6169f5b9a6ac85097fb90a0af3bae2c027238","datavalue":{"value":{"entity-type":"item","numeric-id":2550444,"id":"Q2550444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$17828E80-C94B-45A2-B6D0-BFA38BDA0D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$19FAE082-CEA4-4038-B229-D3A8BF347755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$35972BE4-FFFC-49E3-A55F-7F0A2880D0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475846900515f38e25fc239024d47684c8700f69","datavalue":{"value":{"entity-type":"item","numeric-id":4896512,"id":"Q4896512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$9DBCE2D7-F3C6-421E-A382-30626C1CB2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270c153d3ac5ce0d1e62eef4bebfd1f78847d614","datavalue":{"value":{"entity-type":"item","numeric-id":3248050,"id":"Q3248050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$8E5EC727-6839-4C4B-BBDF-EA0C2941C248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7745139c44f923f8b2570a13d9075394910b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1866805,"id":"Q1866805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$55F34C53-2B98-48E9-BBDD-E61EAE58596B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a202cd9fbdd8ff0269dba1dca054be81c6a1823","datavalue":{"value":{"entity-type":"item","numeric-id":4095083,"id":"Q4095083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2491817$921C5016-D57A-4DF2-B65B-20F7643B7CAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6b776c480d5cc06d4253ad2367b0c673dc4bfea","datavalue":{"value":"10.1016/J.JALGEBRA.2006.01.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2491817$99D5C353-41F8-4AC5-BA7F-62CA797637A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef3460f6962b2742dc0f3e7f93597601bf5fdb6","datavalue":{"value":{"entity-type":"item","numeric-id":3822370,"id":"Q3822370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5fd8e0fb1f3a900d5e328d161eae086b390a8e5","datavalue":{"value":{"amount":"+0.96166444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$996BF4F9-78DF-4E8A-B9AE-5CE807BE482E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f16a68b9f1617ba070186a3068c7fa5ee4f9f3","datavalue":{"value":{"entity-type":"item","numeric-id":2374328,"id":"Q2374328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c799ce8a2386e2ec6c9433fa92365297ae9bd235","datavalue":{"value":{"amount":"+0.9505756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$E6276080-583F-435B-A0EC-6964275F7DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84a1a58667f327b23d5250fdcfdf1a0e692523f4","datavalue":{"value":{"entity-type":"item","numeric-id":863085,"id":"Q863085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f855c7e89f557661f6a72895309a695e21654f68","datavalue":{"value":{"amount":"+0.89995784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$B0962647-923A-4091-9B9C-1F8454B4CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4f5be55051c4d22c6f5663fbd57e2f2f306f31a","datavalue":{"value":{"entity-type":"item","numeric-id":5119215,"id":"Q5119215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723bb7e31077e7f91c9cb2c5d2318bfa1b9f51f0","datavalue":{"value":{"amount":"+0.89070404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$26DCD7E1-0F87-46CD-9535-E3404D03C336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b50dd622428bf6cf7dff86ff77eb487d405e83b","datavalue":{"value":{"entity-type":"item","numeric-id":4396591,"id":"Q4396591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7c7df39e79f54fe96bd5d64fa4b3c6491f61abc","datavalue":{"value":{"amount":"+0.887885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$ADD3226E-106F-4D3A-9293-ACB00B56B6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34724f5a107235429ea5d85dfa0b52bc4d39836a","datavalue":{"value":{"entity-type":"item","numeric-id":795823,"id":"Q795823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fcf836e87c1c2fdc272f6114cf15ef27ee87453","datavalue":{"value":{"amount":"+0.88726115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$62283447-3A62-448A-AD2B-7D84A892602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c5da3f9d3ce997241b7954969e7e2d61a620073","datavalue":{"value":{"entity-type":"item","numeric-id":4454681,"id":"Q4454681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e4a61b3ee833c1c9093657db006b4a1b66b5607","datavalue":{"value":{"amount":"+0.88310766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$EF623051-3ECD-431F-86A5-B8D27627A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b1c96cf657d1bb85e58dfca9e4f7e2f2d34600","datavalue":{"value":{"entity-type":"item","numeric-id":5239170,"id":"Q5239170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b24114c8668f148d024b8b06aaa5e0e15bbaaa","datavalue":{"value":{"amount":"+0.88306785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$4A530C8D-7CD3-4C91-94A1-076A6B68EFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64314eb11f70a97a3d35a6368144f21103f7f010","datavalue":{"value":{"entity-type":"item","numeric-id":3377761,"id":"Q3377761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049c5a36be5f2fdd11beb83c51ae0c00aeeae29c","datavalue":{"value":{"amount":"+0.87993044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$F0E78FE8-6A9F-4765-883D-19CB19437D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67095191bc57efa8ce13a0bce0df0f371c9add69","datavalue":{"value":{"entity-type":"item","numeric-id":2015821,"id":"Q2015821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f7e725f6bf97b40fb383d63adfb6a1b14e9f827","datavalue":{"value":{"amount":"+0.8795408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2491817$0E01806F-7000-4C5D-9CFD-FE542C2EA8C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Morita equivalence of many-sorted algebraic theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Morita_equivalence_of_many-sorted_algebraic_theories"}}}}}