{"entities":{"Q1595492":{"pageid":1606232,"ns":120,"title":"Item:Q1595492","lastrevid":81541556,"modified":"2026-05-06T18:45:38Z","type":"item","id":"Q1595492","labels":{"en":{"language":"en","value":"On a connection between the word problem and decidability of the equational theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1564051"}},"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":"Q1595492$362E7C2C-86A3-4F00-A526-A62565210B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ebe847c984cf9b8b0e6b7f7ce492374d0fcdba4","datavalue":{"value":{"text":"On a connection between the word problem and decidability of the equational theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1595492$4612CF73-CA63-4130-9356-F2AFC3A1D2B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f20e170d835e8fe16e61ec6ce2f349f7515a7b5","datavalue":{"value":"0957.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$F9D6A88F-BC55-4E79-A8EF-D9E5D67C1794","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f3336ce0fa67c49034e6902f62f1f3acd02a156","datavalue":{"value":"10.1007/BF02674748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$B3FE0ABB-C28E-47A9-966E-09337E30E2EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c96843a11866d938aa8987e4ff270b5e05d3954","datavalue":{"value":{"entity-type":"item","numeric-id":178453,"id":"Q178453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595492$7A229F67-7CF4-4AF3-BC72-06C98BF4BDD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595492$1CBAF8CA-FBAE-4106-ADEB-5AE40FC7E49D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"329211073fdec0c3c9c3797c513efe095760b570","datavalue":{"value":{"time":"+2001-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1595492$8B004DCB-378C-45D1-96E9-D8F7CBBFFD0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04eb2d8b9701fd30118c3d50f00e3aff127ef8a8","datavalue":{"value":"https://eudml.org/doc/120839","type":"string"},"datatype":"url"},"type":"statement","id":"Q1595492$C197CF08-5AF2-420D-8D6E-3FA40385C452","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71d5a1d01064c68b6f56dd23dea458382904e538","datavalue":{"value":"Given a free algebra \\(\\mathcal A\\), the word problem for \\(\\mathcal A\\) is decidable if and only if the equational theory of the variety generated by \\(\\mathcal A\\) is decidable. For an arbitrary algebra, the situation is more complicated. In the article under review, the author proves that there is a monogenic ring with decidable word problem such that the equational theory of the ring is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595492$55439502-457F-4700-8C1E-B944CC4B1469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$875A2ED5-ED2C-4313-81A1-B1631BD4BCAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$6AA03840-DFE4-4713-A3F7-1DA713A1AC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$81D66245-1A7B-4FC0-8E54-168CBD2AAE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$396D0CCC-2B0E-4F21-A1A3-4FD871CE27E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed22a0664f800d798bad9729a54edf48815e960c","datavalue":{"value":"1564051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1595492$A71214CF-2519-4FFF-9E12-FFBC57E5B3B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595492$6E7733CB-BC0B-43F6-AF0C-DCC2F27F39A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595492$02793839-232E-45A5-A2C8-53062A53D1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595492$34D31BC2-BC2A-4EDE-A24A-A45EE5D97B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b26cdddcbc96dc0da415aa22ad9fa74e8447c95","datavalue":{"value":"monogenic ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1595492$FCE9CD63-312F-4A5C-8612-D9FB1DED5D32","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":"Q1595492$8BB25DB7-F0D7-4AC9-848C-2541AF14972D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8436d480603b69448ee5f56a8745cd75d105a2e","datavalue":{"value":{"entity-type":"item","numeric-id":3958656,"id":"Q3958656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1595492$E44587C0-BEAA-4B24-92C9-88073A164E85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419ebc15072c5a84bcc915d5a4528b4bba1c48ca","datavalue":{"value":{"entity-type":"item","numeric-id":1585640,"id":"Q1585640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2da6669fdb59817f7f41cb5b03ab9784e3ef21b0","datavalue":{"value":{"amount":"+0.8315271735191345","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":"Q1595492$21B53299-6D59-46C6-82B0-C738A9051E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914d6e831fe86399cc01250a2bb577cbdd303060","datavalue":{"value":{"entity-type":"item","numeric-id":3429797,"id":"Q3429797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c39afbf01c1d3b98cb0f4f37631a9ef9eb22155","datavalue":{"value":{"amount":"+0.7998093366622925","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":"Q1595492$35BF572A-8967-4167-A86A-AF29BE4FEC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d7b9fffa2612f80fe4b591f6ca2f5da194f46ab","datavalue":{"value":{"entity-type":"item","numeric-id":2491184,"id":"Q2491184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33366c4669bd52c218bb51a970d78b3bb352d6c4","datavalue":{"value":{"amount":"+0.7821584343910217","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":"Q1595492$E39E0E09-580E-401E-8D98-DD492DFFB86B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96102470c3c4f97368b31f2cf0a25fcac1c6d4c8","datavalue":{"value":{"entity-type":"item","numeric-id":4874782,"id":"Q4874782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3041c0d523c2823112e823d48e671a55753fe4c6","datavalue":{"value":{"amount":"+0.7812207937240601","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":"Q1595492$39A0059C-F188-46D9-8154-16C64AF8EA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a047f62cd8cc3bb0839f3a1d6f462a8e1df5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3839876,"id":"Q3839876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3041c0d523c2823112e823d48e671a55753fe4c6","datavalue":{"value":{"amount":"+0.7812207937240601","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":"Q1595492$21469F9F-9B5C-4280-915A-CEB1572C560E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a connection between the word problem and decidability of the equational theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_connection_between_the_word_problem_and_decidability_of_the_equational_theory"}}}}}