{"entities":{"Q1104352":{"pageid":1115101,"ns":120,"title":"Item:Q1104352","lastrevid":66724311,"modified":"2026-04-12T12:25:28Z","type":"item","id":"Q1104352","labels":{"en":{"language":"en","value":"Free word problems for additive relation algebras of modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055692"}},"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":"Q1104352$FB63DCF6-89BD-4DA6-92B2-4743BF38A3FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09afa7b5d7955c2eeaabd2483390b4ee47c56240","datavalue":{"value":{"text":"Free word problems for additive relation algebras of modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104352$6D2DFE2E-0B1A-42F0-AA60-FFA6543D7BE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e10a52a2c6b65e2334242d056317fc9e8d3c4ccd","datavalue":{"value":"0647.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$79AF09B2-B751-4CD4-8343-58919DD93170","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b113e59bd303ca8e2e1df7b72e189c4b8ad6c85e","datavalue":{"value":"10.1016/0022-4049(88)90111-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$76CC12AF-0A63-4F61-AD1F-E32096B4120B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$A5D32653-1E4C-4DE1-9BB0-C87C7291E423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$0540DDE4-5D27-4972-B41A-28BE4430688E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1104352$409A29EA-0CEA-4AD1-9CE8-0341F0FB086D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cb7a7063e6b3cc608df7273f2e35100b66f55c50","datavalue":{"value":"For a ring R with unit denote by \\(V_ R\\) the variety of additive relation algebras generated by the algebras of submodules of \\(M\\times M\\), where M is an R-module. (The operations are the lattice meet and join, composition of relations, unary converse and relational sum: \\(<a,b+c>\\in f+g\\) if \\(<a,b>\\in f\\) and \\(<a,c>\\in g\\). The variety \\(V_ R\\) is found to have recursively solvable word problem for free algebras in many cases, e.g., always if R is a ring with characteristic \\(k\\geq 1\\). The classification of all the distinct varieties \\(V_ R\\) is given. It is proved that all the varieties \\(V_ R\\) are self-dual; if R is a field with characteristic zero then \\(V_ R\\) is not finitely axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104352$06E579E9-62F3-4C46-88E3-DDE1E612A5D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$F689D9DC-4065-4E8A-8DA0-D68B4682F0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$E5E0F27A-4A17-4538-9209-CBEB15BA4692","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d215dd0a10b841bb833ecf4985ace025341db7","datavalue":{"value":"4055692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$A6984ACA-02C5-42CC-A2DA-9731C4A19BCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b301ff456cde0468c5b58e493d51b3e0b072d846","datavalue":{"value":"variety of additive relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104352$CBA34AEF-4811-49CB-A0CD-77FCEE6DA45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104352$10FFEB81-E666-4F75-B587-10C103579C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104352$33AFC0DA-7696-47F4-9901-AF3439CE9056","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"501cfe30a4ec27729b88954a82206635d87d237f","datavalue":{"value":{"entity-type":"item","numeric-id":1223491,"id":"Q1223491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$04637830-F099-4DFB-B892-ACB6558F9504","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":"Q1104352$0F315D62-BF9E-4AF0-853E-A60F241B604A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab8e2f90319929b0d6148ef1b36d23a8029d548","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90111-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104352$8E512ACB-9E96-446D-BD7C-D3CC60135732","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e1301fb51b9b8c176a54415b864a04e21e9db81","datavalue":{"value":"W2063060498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104352$145BFDD0-BBBC-4AFD-9D29-A74A501238C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec208d7fdf75588a21304e64ab4c4ec41dc8422","datavalue":{"value":{"entity-type":"item","numeric-id":2538653,"id":"Q2538653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$92613FF6-FC1B-4627-8C17-176BF5242E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47fd1f06820f6cb6ed9331a1cf76bfd35269333","datavalue":{"value":{"entity-type":"item","numeric-id":2536625,"id":"Q2536625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$A47CF6AD-666E-4AD1-BC4F-8474814A0DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194b09ed29c843ed826da7d33cd4444ab8c15ec7","datavalue":{"value":{"entity-type":"item","numeric-id":3949100,"id":"Q3949100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$F15F252F-441A-44F1-80CE-874E45B759EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6db44461333ef5e5aae7abb248658a05e60ef41","datavalue":{"value":{"entity-type":"item","numeric-id":3247126,"id":"Q3247126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$D902346D-FC0B-45F5-9A00-12A3E0DF4914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$18CE5929-15F0-446C-805B-CEB1DB4E6BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1900d7ef980be084976e708f493f511c783681d","datavalue":{"value":{"entity-type":"item","numeric-id":5586465,"id":"Q5586465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$CA169573-2093-4704-B540-8EDF35CAAEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6811d95accea4e331bb99263331f03bc766643e6","datavalue":{"value":{"entity-type":"item","numeric-id":5595190,"id":"Q5595190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$E0342424-4D0A-4255-A8A1-EEA7DF0F17BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6fff08d3eb378fd9b1b0cac5025d300233f372","datavalue":{"value":{"entity-type":"item","numeric-id":1245859,"id":"Q1245859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$F5F05944-87A6-4509-B3D4-2F14066B69DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec523e0f58f83b60d871d4f3e5da0ca1f0c8ed1","datavalue":{"value":{"entity-type":"item","numeric-id":1078216,"id":"Q1078216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$96641162-E797-4BAB-832C-3AEE55A4A48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fcd3e64ad3b0de98df61634b49a4247db9a471","datavalue":{"value":{"entity-type":"item","numeric-id":1248533,"id":"Q1248533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$6D26C215-8869-4CB5-9BDB-5B93618AC831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a172e48c61bbb704608cbf2fc0bf84a51a3ff5e","datavalue":{"value":{"entity-type":"item","numeric-id":5735219,"id":"Q5735219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$BDA1945F-9300-41AC-9A06-71C68D297439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f360a7714ff96230984102a4a7f6ffacdba77bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1130919,"id":"Q1130919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$034153DA-6C98-479B-99DB-2162E0E99264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9bfadacb56b1613b5b4d8ee87773d55810e9b3","datavalue":{"value":{"entity-type":"item","numeric-id":2560464,"id":"Q2560464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$FADDC374-D1C9-47DA-B1F3-56B3617247EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f8a13e9b7bd4d8bd2c198d1656938ea2c49c35","datavalue":{"value":{"entity-type":"item","numeric-id":4092160,"id":"Q4092160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$5A67B62A-BA21-4A5D-B726-CE4D586ECCAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547d23cdff9b4d8d6bc3a40b6b53d5ef47b4cbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3882609,"id":"Q3882609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104352$51AB4AE1-6000-4900-BB6F-4B24CAC8F061","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4410b56fb177e423bdd6d5801e3d527a869dfec0","datavalue":{"value":{"entity-type":"item","numeric-id":1078216,"id":"Q1078216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7fc4c1b521a920e74d7bd0c9e0e9bec2517675","datavalue":{"value":{"amount":"+0.8004586100578308","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":"Q1104352$78927102-893E-4A49-B700-1B3B767981E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c43240afa3d66cabace2b1e4e7753295427c9df3","datavalue":{"value":{"entity-type":"item","numeric-id":4273473,"id":"Q4273473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7b7b3230412a8928a9430a8389230ba2c0b40e","datavalue":{"value":{"amount":"+0.7993906140327454","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":"Q1104352$C7D79EB3-C0BC-4B2E-8843-ABB05C31FE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45ce3ae4c2afe7872aed402f4c524828cd4e16fe","datavalue":{"value":{"entity-type":"item","numeric-id":3708968,"id":"Q3708968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4311bb4e85a648ee3404399399f1af5317e926","datavalue":{"value":{"amount":"+0.7572241425514221","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":"Q1104352$42097E60-EA21-450A-BC53-97A9388F4249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"524d277bc91c2905650f5294c46809f2004a3261","datavalue":{"value":{"entity-type":"item","numeric-id":4396505,"id":"Q4396505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1222b507c73a6a3ab993f096819260ecf3b6fa64","datavalue":{"value":{"amount":"+0.754578173160553","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":"Q1104352$02C96AA6-30B2-4483-A649-0F05A30CBB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967e8e3abf5ee8837a570c44a1e24bb64cd25178","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88858fe2e2275b2720d389f601df9375fb48b8a5","datavalue":{"value":{"amount":"+0.7543346285820007","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":"Q1104352$31501748-0EF1-4DBC-84E4-BF2E4C04794D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free word problems for additive relation algebras of modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_word_problems_for_additive_relation_algebras_of_modules"}}}}}