{"entities":{"Q1067006":{"pageid":1077758,"ns":120,"title":"Item:Q1067006","lastrevid":66199698,"modified":"2026-04-12T08:13:05Z","type":"item","id":"Q1067006","labels":{"en":{"language":"en","value":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3927200"}},"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":"Q1067006$8605EAFC-FDA4-4E3D-8040-25B6BDC747DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2379f8e8e8fdbfc31bc338d9643129af117ff4a0","datavalue":{"value":{"text":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067006$A8646AB4-5CE7-4AE5-B155-00CADC92185A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47218ad46c7ce63e902718dee85079397cc81760","datavalue":{"value":"0579.20031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$E1400EA9-0856-4A62-A4FF-8A1A679C5FFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90c5fa14c8d7ce63cc1f014d87b9937fb348a671","datavalue":{"value":"10.1016/0021-8693(85)90085-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$728432C7-12AB-4D3E-A2BE-2E2115E984AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc35669eb1adb45ee22100557a37b96fc4fe6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":473133,"id":"Q473133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$7F2F42CF-5133-4EE5-99E9-DFCBDCD8771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c58198c3d0b22a092b2689c9e597b941861988","datavalue":{"value":{"entity-type":"item","numeric-id":599170,"id":"Q599170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$8295AE1D-32AC-4D13-9781-5376BB456D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238d828199312a448029477c8576c0a75197d7d2","datavalue":{"value":{"entity-type":"item","numeric-id":514624,"id":"Q514624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$D1FBD769-93AC-435E-9A62-7D99DFF271D6","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":"Q1067006$C868291F-616C-4FED-935B-676E88CDF40D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1067006$6972C158-DD94-4E88-B57B-1FFE8A5D1034","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"321370da4cb217f92acbcf5edb10378879eef90c","datavalue":{"value":"This is the second paper in a series devoted to algorithmic problems [for the first one see J. Pure Appl. Algebra 39, 53-94 (1986; Zbl 0577.20021)]. Here the authors use a variation of O. Kharlampovich's example of a finitely presented group of derived length 3 with insoluble word problem to derive some further results on algorithmic undecidability in soluble groups. They produce a recursive class of finitely presented groups of soluble length 3 with insoluble isomorphism problem. A recursive class of finitely presented groups of soluble length 3 or 4 is exhibited with no algorithm for determining the exact length of any of these groups. They also construct a class of soluble groups of derived length 3 where the problem of direct decomposability is insoluble. Finally they give an example of a finitely presented soluble group of derived length 3 where many properties of elements are insoluble.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$829FE236-6E72-4E1F-880C-2383FF6ACB48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$8BE93150-8C4B-4247-BF6B-7FDD1AB88FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$87017496-459A-411E-B246-80257E768509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$4185EA67-5476-473A-922A-CF9B9AA064D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5436d7e16d3634e544e620a54570a58ad442e8a4","datavalue":{"value":"3927200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$3A599222-1838-496E-9942-1E101F28287E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$E5CEC7A4-1750-49AE-B09C-A4EF85ADB780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d4836dab67ec6d377d7d3ccdb65a585787ef48","datavalue":{"value":"finitely presented group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$7C1FD60D-1C5C-4822-A859-CDF96CCC06FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c284bca20681f999fc1e29a71c38142a5d319b","datavalue":{"value":"insoluble word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$46AECE9F-31F5-4D07-84F0-222C9230D5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d81765351bf4227fd1c3dcc4dff15c9209fd7a","datavalue":{"value":"algorithmic undecidability in soluble groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$2BD172DA-9D21-4F6B-B5EE-F9A6A95AFD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$9B3ED2B3-9B34-4CF0-A602-C7CF3CD73D7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dedfef7c3b64ec161eeaa797350ff8a70f67e38b","datavalue":{"value":"direct decomposability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067006$AFAF189A-7CAD-47D0-B917-CB87DEEB5042","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ebd3d68e3732c49cc08333ca54580cbd788b4316","datavalue":{"value":"Q115366933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$15C7AEF4-92EF-49A9-AFD8-4EC0231EAC28","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":"Q1067006$36E7B891-7C50-4B07-AC0D-092164509464","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e64e6af4fa02ee99cf21416c45ef9de0363fc3d9","datavalue":{"value":"https://doi.org/10.1016/0021-8693(85)90085-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067006$BBE26C1D-DF99-4B2E-BB7B-01913691A0CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9dcfc7a8d8f5772540631cfae470c937796ad56","datavalue":{"value":"W4205201762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067006$105C895A-45E2-459D-AE4B-E6D149B54290","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f085b7a9beafb4a4c46af1ed41888dc503dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$3ECA3DE4-A928-477E-8432-E78A161FB1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d13d8a01f8b4de37cf82c0da98cbcf3f1f4283","datavalue":{"value":{"entity-type":"item","numeric-id":3248009,"id":"Q3248009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$7FA5CCA4-88FF-4704-B8C6-0799DE9C36E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5ca07eb16ee22593d65078143cfd5e8a7ff989","datavalue":{"value":{"entity-type":"item","numeric-id":3256325,"id":"Q3256325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$770CAF1C-601F-4279-AE9E-E1CB993EDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b3fceafd3d2a12d7acfc865997c9a8e73c346a","datavalue":{"value":{"entity-type":"item","numeric-id":3262784,"id":"Q3262784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$E7DA1AF5-5768-436E-8C95-AA83204A16EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9318d098a0b33f9c56922f288a91c3852b49ac15","datavalue":{"value":{"entity-type":"item","numeric-id":3288103,"id":"Q3288103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$6D41BB68-5341-4D27-B458-2733C90DC7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074c43fe6e6e0117176dd2bafc710e208f7f3b65","datavalue":{"value":{"entity-type":"item","numeric-id":1150042,"id":"Q1150042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$A256A5AF-4B61-43F8-AD44-A3BC47F1FC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1d37aa9f5859a63c9cbf5d6d550accb00225fe","datavalue":{"value":{"entity-type":"item","numeric-id":1067006,"id":"Q1067006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$F53B456D-9553-4012-988D-02260C5F9B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41a23cfcd5e44f329acc4abc0eefe53035ea6cf","datavalue":{"value":{"entity-type":"item","numeric-id":3228627,"id":"Q3228627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$4EF876B8-8393-4A08-AD11-2C7563851474","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":"Q1067006$A40BCAC0-C9B8-4DDA-B61F-446266405955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23a52c26566fec192c01fbc25554a5255473b2a5","datavalue":{"value":{"entity-type":"item","numeric-id":4402143,"id":"Q4402143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$C5CBE737-3DDE-4EE5-869E-5922B49B17A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f4e1592fc87e761e6dbc246debbe5615eba615","datavalue":{"value":{"entity-type":"item","numeric-id":5813179,"id":"Q5813179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$E5C71E2B-7249-47F2-90CC-B514D157B80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f47b60ed99f09f3fb583f7fbaba6ba5893ee12a3","datavalue":{"value":{"entity-type":"item","numeric-id":3269139,"id":"Q3269139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$02D42A31-7B32-46E7-B6B1-7CF852F301F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067006$22211115-162D-44A7-B4B0-DCA5761DF4D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c36c39750fe90a6488dd0a0bfe61201b65730a","datavalue":{"value":{"entity-type":"item","numeric-id":3342745,"id":"Q3342745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157b8ee729231907d518455bb693312ec8b2577b","datavalue":{"value":{"amount":"+0.917102873325348","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":"Q1067006$4468C050-D208-4694-A2ED-7812AB0F741F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21d870b14978fadeda6ad960c453c2c1f6c91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1065930,"id":"Q1065930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03809f309aa42d9770c36d990a2f6c8c6a982849","datavalue":{"value":{"amount":"+0.8966718316078186","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":"Q1067006$EBF47B30-09FB-42C3-9825-BF98C19989B9","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":"d1f18cd7850179624643190a7e6df5e1d2dc649d","datavalue":{"value":{"amount":"+0.8966676592826843","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":"Q1067006$B6598591-7B99-48F5-ADEC-B2FCF0465706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549d0c38deb23374c50b697a974a09d6b71286bc","datavalue":{"value":{"entity-type":"item","numeric-id":3033961,"id":"Q3033961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6471b1a22952f05e21d0979d2b01d2519c4a156","datavalue":{"value":{"amount":"+0.8554462194442749","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":"Q1067006$D6C1F4BC-E63C-49A8-AA3C-014EC97A6857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acbed6eee77044cc8c3c4f7e21aa62ae694cc3f","datavalue":{"value":{"entity-type":"item","numeric-id":3218300,"id":"Q3218300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b69ae0b243235e54a164e9d5c699ac146d47eb","datavalue":{"value":{"amount":"+0.8403215408325195","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":"Q1067006$C8B2C3C7-B78C-443B-9DF4-3BB2B7DFEB3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmically_insoluble_problems_about_finitely_presented_solvable_groups,_Lie_and_associative_algebras._II"}}}}}