{"entities":{"Q1908458":{"pageid":1919200,"ns":120,"title":"Item:Q1908458","lastrevid":73952742,"modified":"2026-04-14T17:50:50Z","type":"item","id":"Q1908458","labels":{"en":{"language":"en","value":"Occurrence problem for free solvable groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 848951"}},"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":"Q1908458$D81CA592-F6DF-458C-AA35-6C9FC86D0BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e26ee35fed4d037daf3637d8c5b13864139e279","datavalue":{"value":{"text":"Occurrence problem for free solvable groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908458$6AB739E5-0C78-41BF-A30F-DCF89A909795","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9cecdcbe0c366402b52024111bc4a95a9f4b40c","datavalue":{"value":"0854.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$0D036564-0AA4-4E08-9BD7-2316943F0D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b419e518644ef9e2774b01649212565054de0832","datavalue":{"value":"10.1007/BF00750164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$A35CD6A7-2632-462F-90C5-5176D0F7427F","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":"Q1908458$5336D382-D797-4C8A-B901-93B73277C4E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb3fd24908ce68799244ebdfe7a5876886c122fb","datavalue":{"value":{"time":"+1996-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908458$6397148B-86B8-43FC-A77C-C33995DC2F06","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40a3a73cf99a9d1b0fb43b57a03fd236ceee2ad8","datavalue":{"value":"https://eudml.org/doc/187721","type":"string"},"datatype":"url"},"type":"statement","id":"Q1908458$48415CE4-FC96-4474-8ACD-6630B5C52369","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"be6e6cece1a81b52baa83c37a9617eb3ccb8957c","datavalue":{"value":"The author studies the problem of the existence of an algorithm verifying whether systems of linear equations over a group ring of a free metabelian group are solvable. He proves that if \\(G\\) is a free metabelian group (of large enough rank), then the occurrence problem for right ideals of the ring \\(ZG\\) is undecidable. Also he shows that the occurrence problem for free solvable groups of derived length \\(\\geq 3\\) is undecidable. It is given an example of a group with undecidable word problem which is finitely presented in the variety of solvable groups of derived length \\(\\geq 3\\) and whose defining relations are taken from the last commutant.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$868FB0C9-B555-4B81-B3D8-9185B3A64149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$D2BEC943-4DC5-4DF3-9279-A92819D7EB7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$05909EF2-38E2-4753-9622-C5D005032B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$1B6114E2-AD96-44EE-8AD9-189D12C75A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$A5C64A35-69CF-47B9-9FD5-EA7C3E06D5CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f33284a9c3f2ed18529ad0edec64285292de9f33","datavalue":{"value":"848951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$92B31F90-4342-481D-B631-62A6E41DB959","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a42118390deea791e6fe02297813bb07428ae9","datavalue":{"value":"systems of linear equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$98C68085-86AA-43A4-8930-96F46CDEAB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c1428a27ec5a387810adbd59a003075fca44010","datavalue":{"value":"group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$3B3DB982-F124-41E8-B14F-91EF880B6426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771cd2c43341518c2a294e42ebbd9c51e6a586a2","datavalue":{"value":"free metabelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$371FF244-28AF-42AB-9485-90BE13EFF1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3adf99bc2643d120a8c7768213af2d75140eebb","datavalue":{"value":"occurrence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$34393949-BC28-400B-AB2A-44B77C7BC74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8129d6a5288d508d9010dbbb15b42efa9cc2974","datavalue":{"value":"right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$949755CC-FCDB-436A-A311-2615CAC6EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dfa2bcab929787481ea5da4c8e02afe70cb9ff7","datavalue":{"value":"free solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$F8130D16-BEDA-4DC3-88D6-923500D1FC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af24c1a2f13d0bd65589bf579b8a7c3549dbd","datavalue":{"value":"undecidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$0826860C-275C-4793-BADA-D7DB912E0440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad496d4e7377d45d2113d68fc5bbbc0a6bbc560","datavalue":{"value":"variety of solvable groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908458$19693D78-9B14-46DD-9570-87185063BB8A","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":"Q1908458$560F00ED-8624-497D-8172-BF44AD9641EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"708e006c4f72e96d711dfc54a5ca7128a402a212","datavalue":{"value":{"entity-type":"item","numeric-id":1685376,"id":"Q1685376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$D9C7091C-E242-44A0-97B2-48FE54AA42E9","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":"Q1908458$1882A9B9-C25B-4B3C-AD6E-BBE55833728E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"248a2d26a1ca08934deac5e7bece6864db39e79f","datavalue":{"value":{"entity-type":"item","numeric-id":5921451,"id":"Q5921451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$2D01D6FB-E7D7-4AE4-8507-D23D28C689F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d57f9850d6c226c9589c54d1d4c390298823e5","datavalue":{"value":{"entity-type":"item","numeric-id":5904545,"id":"Q5904545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$D39D5102-5FF8-4515-8633-11B610122FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"155e720be9d096a6a506446d7570fc55a0d94bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3944763,"id":"Q3944763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$12FE0B07-9625-4818-AD6D-5E97A8CFE007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2169a2d8c04240cec99809e97f6c6234a474de4a","datavalue":{"value":{"entity-type":"item","numeric-id":1346901,"id":"Q1346901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$964FFE75-25B1-4892-85D8-F8E97A53C2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe61fbf6903198a3da0cbe0be9835e7ffd5a2ec","datavalue":{"value":{"entity-type":"item","numeric-id":2522863,"id":"Q2522863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$00CF18DA-5F4A-44ED-B003-003645E38697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b52e354b961b6417db7bd334adac6c7bd118d5bb","datavalue":{"value":{"entity-type":"item","numeric-id":5339339,"id":"Q5339339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908458$E097A08D-F1E3-4F54-A82F-E470DC3053CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48c74c713c8800d1d9991f83bd7e9da30acfb626","datavalue":{"value":"W1982922907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908458$42F5D555-407F-4661-9BA2-3BBC3968C7AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af04cfb0d7183f75927e143a09f55fb68a3df1f7","datavalue":{"value":{"entity-type":"item","numeric-id":1346901,"id":"Q1346901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4841277bce2939aee57fef81418d522fe9e91e92","datavalue":{"value":{"amount":"+0.800014853477478","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":"Q1908458$0F454D1F-5E47-4D17-B4EC-318E5D3F8284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"292984429c6c32fa0a5fd5d98a015bf888227e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1295586,"id":"Q1295586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f420621f1a840131bedf1d65a3e3474a830414d2","datavalue":{"value":{"amount":"+0.7946068644523621","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":"Q1908458$29E870CC-BF9D-4F20-BCDD-B3EB3C509695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b68820f8c1d5a6e1a07eaf5b8dfe1ffd82ffbad","datavalue":{"value":{"entity-type":"item","numeric-id":4889735,"id":"Q4889735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642f56880b9d5debbaea15f6784341bab832c9f1","datavalue":{"value":{"amount":"+0.7925569415092468","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":"Q1908458$5FF065F4-F413-42E1-8B9B-ADC9F6B28555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2099ea4bdd9a65e53e3cb945fe8f86504d6971f3","datavalue":{"value":{"entity-type":"item","numeric-id":4930015,"id":"Q4930015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"642f56880b9d5debbaea15f6784341bab832c9f1","datavalue":{"value":{"amount":"+0.7925569415092468","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":"Q1908458$E5E7608F-4D0A-41C4-9715-0CF1ED96A4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aef3e7198a8fa7a0499846ee008765c63a449c2","datavalue":{"value":{"entity-type":"item","numeric-id":3977895,"id":"Q3977895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a007cca777b7b0d8f53cf4d281512a3aca05f1aa","datavalue":{"value":{"amount":"+0.7922812700271606","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":"Q1908458$60F785F3-B4B3-44BC-A164-04EF6BF6ADA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Occurrence problem for free solvable groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Occurrence_problem_for_free_solvable_groups"}}}}}