{"entities":{"Q1346910":{"pageid":1357649,"ns":120,"title":"Item:Q1346910","lastrevid":67669851,"modified":"2026-04-12T19:15:26Z","type":"item","id":"Q1346910","labels":{"en":{"language":"en","value":"Algorithmic problems in associative algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 738958"}},"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":"Q1346910$4B817732-F699-46A6-8035-89800464D0CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af2dfa3583a31105ccc096b1d42ca8c528dc1d3","datavalue":{"value":{"text":"Algorithmic problems in associative algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346910$27E1B6D1-F906-4722-9D65-BF965424CE60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6a1a84073fa793bbbfb69ad3e6f872690e10dec","datavalue":{"value":"0851.16023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$0013C71F-D3AC-427F-89F7-0628D4FECF0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f5d4ea07e5a6d2bade9422338799bf9c10d8b94","datavalue":{"value":"10.1007/BF02261749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$030AA478-D7D8-449D-853B-FAE46E9EAD1F","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":"Q1346910$D4B75489-3D1C-4748-8BFD-7AAF2E16BE0E","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":"Q1346910$61FE37DD-E273-42D7-AE0B-4532F75F7F67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"614754cccf7683cdf6f519744c7cb450c5c5d408","datavalue":{"value":"https://eudml.org/doc/187658","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346910$71C3875E-A44F-41DC-AE3A-629C7CBBC689","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9258e5e27529b38ef5d189b1e1b22cea5edcdd08","datavalue":{"value":"The author proves that the occurrence problem for free algebras in the variety of algebras obeying the identity \\([x_1,x_2][x_3,x_4][x_5,x_6][x_7,x_8]=0\\) is undecidable. The next result is that there is no algorithm determining whether or not a finite system of elements in a free associative algebra is algebraically dependent. And the last result is that there exists a f.g. associative algebra with undecidable word problem, such that its relation module is free. These undecidability results are proven by interpretation of two-tape Minsky machines. In the proof of the second result the cycles in these machines are studied and interpreted as dependences in algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$89149278-E953-47BD-B475-A89663726B91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$9389981F-5640-417C-8AF9-270639C63FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$BDC50AC4-FE73-4764-9836-1E06B5C0FA6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9310830cecf5941f8214fadebb08d52ee5324f1d","datavalue":{"value":"738958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$D095DD43-656E-413B-A6A3-CB1DDC1AC14C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$C392597B-45E2-4DC4-A897-19A0FE2C710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4965fa0e9dde6e147d9c285a5b648fd78ce8158","datavalue":{"value":"algebraic dependence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$557DE671-A3C7-4DA7-8CCC-2755DFF0B50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3adf99bc2643d120a8c7768213af2d75140eebb","datavalue":{"value":"occurrence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$4B53A0C7-4266-4362-AC30-AEF6C3C3F74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$E2229B47-FF0F-437E-951C-80E9FF2814E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$C312972F-764C-45BA-8895-7276245C2FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af24c1a2f13d0bd65589bf579b8a7c3549dbd","datavalue":{"value":"undecidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$658B6ED9-6F3F-470D-9CD8-2CC4B04791F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50b0a13766b81f28c40858aa054fa4fa81a4413","datavalue":{"value":"relation modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$56B217A4-E040-41F9-912D-62B1D2F51CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"700bb3ba390d879b82f82c914de5910e05e7b8a6","datavalue":{"value":"undecidability results","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$52F8B1D8-C7D1-4333-8873-8FB71274A369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60698e5dd60697db2cc58511f425cd5fb56abcbf","datavalue":{"value":"two-tape Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346910$B12CCE52-FD7A-4715-B06F-E8C8663151ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef37818891daaa41216b1ecd78269747e6211f10","datavalue":{"value":{"entity-type":"item","numeric-id":1750775,"id":"Q1750775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$A0F89222-C01E-4733-97B1-B592186B6259","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":"Q1346910$CCB2354E-7F5F-46DE-9264-2368E47B2164","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70577d47406adebc0fe5a39c1f45eefbd25a5768","datavalue":{"value":{"entity-type":"item","numeric-id":5821489,"id":"Q5821489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$ADCBEFFE-9DF4-4A72-A387-DA93C2838061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33e97ac4cfef72a57b31adb4b10fe063a7b8574b","datavalue":{"value":{"entity-type":"item","numeric-id":5517759,"id":"Q5517759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$606B78A0-BF19-43FA-B048-6497CAA43385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea05b4d88a32445c1190f74190c13b31a065043","datavalue":{"value":{"entity-type":"item","numeric-id":4297725,"id":"Q4297725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$316CAF16-1205-4712-9499-7C0F075DF681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f75d85d0ed7fb806f183d8c48fa79c8fca5595","datavalue":{"value":{"entity-type":"item","numeric-id":4189352,"id":"Q4189352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$E8208E79-D5D1-4580-843B-81A630F2A57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0322103f340ea88011bd3d9c87bf5c7ccfa41d14","datavalue":{"value":{"entity-type":"item","numeric-id":1823681,"id":"Q1823681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$FAF24B55-6A19-4A10-B0F9-BEBA83CC13E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627e3f618e4831f377af2fa074bb38364d5d4c35","datavalue":{"value":{"entity-type":"item","numeric-id":5519136,"id":"Q5519136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$DEABC7F3-E3B3-459C-843E-34DBCBFBA31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab60de02740591c97b8bdf852f853d690edd5f","datavalue":{"value":{"entity-type":"item","numeric-id":1054819,"id":"Q1054819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$5279B116-C884-43C3-A9D2-258B7DAB5C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a576b271069c131903338ff34ed58e4cbf17d601","datavalue":{"value":{"entity-type":"item","numeric-id":3831180,"id":"Q3831180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$4DB17C9F-861D-4413-B47E-9952A907D8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e5b78a19605f7009bee6a112f7003550ca4b07","datavalue":{"value":{"entity-type":"item","numeric-id":2653224,"id":"Q2653224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$DAAC7AC7-79C8-4B52-A4D1-243C18CED8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1476af2192afc583921c8529b58899bc9c5d4ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3909162,"id":"Q3909162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346910$AF9EEC34-AEEA-4CE9-8AB3-80BAE3CB4F1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3992252aae4a7e8ed8e4088976557f0a09388fca","datavalue":{"value":"W2026893279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346910$40F43784-C7E1-447B-8293-7C4B33B0BF48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195b038a1666600236cba88bf20079fe9bfaaeeb","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e226e837af7be06e3fa2e8711636482a1b194479","datavalue":{"value":{"amount":"+0.8115358352661133","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":"Q1346910$08D4DBE5-CB48-4A08-AEAD-BA99051CBBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c213e1b7def02556dad68a65336502509583838f","datavalue":{"value":{"entity-type":"item","numeric-id":1118677,"id":"Q1118677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369a6b900c3c47b158465ada7e39bad5125c5a86","datavalue":{"value":{"amount":"+0.7977247834205627","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":"Q1346910$2AA518C7-6934-4A92-878D-A9B5D183C18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c9e0191f08f98c68e3ac04101da2f87d46742c","datavalue":{"value":{"entity-type":"item","numeric-id":267385,"id":"Q267385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d923a9ca264474511304cb89839380853d4ee987","datavalue":{"value":{"amount":"+0.7924692034721375","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":"Q1346910$4C366DA2-1566-4676-80BE-6DB447001CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce25a38aefcc31300d279c5302db91937b727f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3469235,"id":"Q3469235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42cc0f5661f9a927d8b7fa7adef0a053ce6171bc","datavalue":{"value":{"amount":"+0.7845432758331299","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":"Q1346910$B2983D5D-9187-4F4B-88CA-533DC372951A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d0e37ce14a13d6152f26558054c78812a22427","datavalue":{"value":{"entity-type":"item","numeric-id":2713996,"id":"Q2713996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71c6e6c0e288c1bfc71402e4f11d97f82bc6745","datavalue":{"value":{"amount":"+0.7839068174362183","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":"Q1346910$D570DF7C-BD46-4B50-9FA2-314C65918421","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic problems in associative algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_problems_in_associative_algebras"}}}}}