{"entities":{"Q1095897":{"pageid":1106649,"ns":120,"title":"Item:Q1095897","lastrevid":66680151,"modified":"2026-04-12T11:52:42Z","type":"item","id":"Q1095897","labels":{"en":{"language":"en","value":"The complexity of the word problem for abelian l-groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4029535"}},"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":"Q1095897$B6F88472-CAD4-4C13-9E01-4511624122E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54656cff26eb8da0272c4a80278fb37d79effdbe","datavalue":{"value":{"text":"The complexity of the word problem for abelian l-groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095897$E06F2D03-763C-46FF-AB0D-5BFBCD47943D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afcbff1346641f7fdb6336774cc3a56171260c08","datavalue":{"value":"0633.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$A63526D6-F0BB-459A-ADE2-8DB8952080D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d13c0336721ca599ea03da4e55c2237cdbad3d11","datavalue":{"value":"10.1016/0304-3975(86)90089-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$7445EBC5-13F6-428B-9126-029779FA63C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$CCFFA7EB-8A56-4C87-9291-6550BB35FAEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$25AB9B62-A22B-4DCF-8A4B-1F84A5F8AA63","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1095897$FFDD988E-AA4C-4A16-8E47-5139BAA64CFD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93884905c3dc253ea382b894b0de773a56c23054","datavalue":{"value":"Using the easily established fact that any two divisible Abelian linearly ordered groups satisfy the same sentences [\\textit{A. Robinson}, Complete theories (1956; Zbl 0070.027)], the author gives a one line proof that any two nontrivial Abelian linearly ordered groups satisfy the same existential sentences. This result was first proved by \\textit{J. S. Gurevich} and \\textit{A. I. Kokorin} [Algebra Logika Sem. 2, No.1, 37-39 (1963; Zbl 0192.041)]. Any Abelian lattice-ordered group is a subdirect product of Abelian linearly ordered groups [\\textit{M. Anderson} and \\textit{T. Feil}, Lattice-ordered groups - an introduction, Reidel Pub. Co.].    The main result of the paper under review is: Theorem: Let \\(G\\leq \\prod_{i\\in I}G_ i\\) be an Abelian lattice-ordered group given as such a subdirect product. Let \\(\\phi =\\exists x_ 1...\\exists x_ n\\gamma (x_ 1,...,x_ n)\\) be an existential sentence in the language of Abelian lattice-ordered groups where \\(\\gamma\\) is written as conjunctions and disjunctions of equations and inequations. Assume that \\(G\\vDash \\phi\\). Then there is a finite t (the minimum of \\(| I|\\) and the number of inequations in \\(\\gamma)\\) and \\(a_ 1,...,a_ n\\in Z^ t\\) with each \\(| a_ i| \\leq n^{n/2}(n+1)r^ n\\) such that \\(Z^ t\\vDash \\gamma (a_ 1,...,a_ n)\\) where \\(r=rank(\\gamma).\\)    The proof is straightforward but elegant. Coding in the knapsack problem leads to: Corollary: The universal theory of the class of all Abelian lattice-ordered groups of dimension (the maximal cardinal of a pairwise disjoint set) belonging to any given non-trivial subset of \\(\\omega\\cup \\{\\infty \\}\\) is co-NP hard. This improves Khisamiev's result that the universal theory of Abelian lattice-ordered groups is decidable [\\textit{N. G. Khisamiev} and \\textit{A. I. Kokorin}, Algebra Logika Sem. 5, No.1, 41-50 (1966; Zbl 0254.06015)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$DFD0667A-3822-41C5-A687-385868BD38EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$8692EF69-57D0-424D-9260-16C335DADFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"84c09a7c8104556c734594fe107478499704cfd1","datavalue":{"value":"06F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$09A2F485-EC04-48DF-8396-02F307F6D016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$29767607-82FD-4AA0-8FB3-BC9B33FD5E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$4201F1AD-EAE9-4CA1-909B-64ABAB6D2321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aac06070c520ace162ae501a350e7f0bec374afb","datavalue":{"value":"4029535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$E8C53C9B-A4D4-419A-BEC7-6B9F729712AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385752a83ccfef65a618d22a0e79ac5f91f4b981","datavalue":{"value":"Abelian linearly ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$0A1BD994-CCEB-477E-8B02-62A8A8D18DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142401fc62c1061573d58b4a6a25b6e87da9ebca","datavalue":{"value":"existential sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$ACF513DC-6B7E-4CCC-94B4-A4D37FB5D593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ae86f9c2ef1d3a9920b56f9183231d10e923c8c","datavalue":{"value":"Abelian lattice- ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$D5F07403-F7FE-4E33-BFF5-EEC382A0949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6e1b5db5758d655b9755dd07749cad9c0767b4","datavalue":{"value":"subdirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$DDDBB21C-A9AF-4E61-A575-819168F4CBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b44e1b783719f7508f73a2bfb0bf3e2d5f795a2","datavalue":{"value":"universal theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$6C05BA21-070C-4B73-950C-345CC9A732C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c46b60ea47bf2e96f0494f2bafdf291cb1b923","datavalue":{"value":"co-NP hard","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095897$157DE4F2-2B8F-4862-8A22-9F69E8D1B733","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"281f61f622ad88f62da56414296e2c40a4498f8e","datavalue":{"value":{"entity-type":"item","numeric-id":251978,"id":"Q251978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$B33D4C0D-819F-4FEA-B0C6-C41A5A5C99B4","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":"Q1095897$B68A6B55-982C-4BF0-82BF-B58653986DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4673f19748be9d34579b96e6a5a5b5efbd3dcbd","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90089-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095897$94FAA971-75C5-4D8B-8BA7-0F94C5A5B01B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6496709d6d04f2fe60479178d78e3e8b4451bdca","datavalue":{"value":"W2039722546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095897$82CAB67B-0F21-4132-AC7C-E3DC38614536","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$E006E83E-5E7F-40C7-863E-E0EB47A8AED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab49208a137bbbf646d81ad1c564e4252f3ff772","datavalue":{"value":{"entity-type":"item","numeric-id":1064333,"id":"Q1064333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$8257B585-F724-4D93-87B8-6C58D0959B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480ed92cdc81c1b695ab095610a1821532023de6","datavalue":{"value":{"entity-type":"item","numeric-id":4181607,"id":"Q4181607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$9810F164-D67B-4BA1-B660-CFEB8289E417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b213b9538fc5cbeb8f9039bb577435fe1d52def0","datavalue":{"value":{"entity-type":"item","numeric-id":5586259,"id":"Q5586259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$79CD3464-9B5F-41FB-8076-7E54F501643C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d303fd097eac95d67f769aed76d621be323179db","datavalue":{"value":{"entity-type":"item","numeric-id":5668844,"id":"Q5668844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$D2034AAE-E81D-4910-A3AC-2CCF0DA50D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0888a322a88f30252daf7f95ed3e66b6e35acd","datavalue":{"value":{"entity-type":"item","numeric-id":1080958,"id":"Q1080958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$E862404C-780C-4CB0-AC52-8D92BCD73567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da358b9262495cd1cc8d4b86656efe69ff77480","datavalue":{"value":{"entity-type":"item","numeric-id":1226083,"id":"Q1226083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095897$358C42B8-D9A5-4383-8F73-D6EF8D113F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ab856566d562b0eae063ebc57f1d1f2959160c","datavalue":{"value":{"entity-type":"item","numeric-id":5426004,"id":"Q5426004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f746cac29c2be67e7e62a3136efb4d71292bdeec","datavalue":{"value":{"amount":"+0.70252687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$D34F79A6-958C-4890-BDCA-4B938B569D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb821d5f67c9b1fbfcb143bef6d843a66fc7ab8c","datavalue":{"value":{"entity-type":"item","numeric-id":1740455,"id":"Q1740455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21bf29f1e2f83a29ade218b69bd080876933422","datavalue":{"value":{"amount":"+0.7006659","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$BAB9A6B5-32F9-4D88-B9DA-52F9C21E44E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16814e53b838b59a422e1e573d3b79e07e6d346d","datavalue":{"value":{"entity-type":"item","numeric-id":914661,"id":"Q914661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f5de5951eafdb98188bd93b5bcbfa8bdeadb32","datavalue":{"value":{"amount":"+0.70009416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$6DF707D1-E5CE-4E65-9311-B3F4C7C5F23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b560c6873695aae2595c4d98ad15fa31d6fac27","datavalue":{"value":{"entity-type":"item","numeric-id":3480105,"id":"Q3480105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc19b6b9dc9714cca59ea14dcd84e0afaf5e9861","datavalue":{"value":{"amount":"+0.6961338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$276D4295-9B08-434D-A55E-29D4179DD98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"327b151894b39cdd1b7103ee0ef8021a08a40cc9","datavalue":{"value":{"entity-type":"item","numeric-id":763703,"id":"Q763703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ddddf8ab47ef2d54893f42fac976ed5c5587bc","datavalue":{"value":{"amount":"+0.69258577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$260223B3-55D5-4ABA-B501-A525C9B51772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c5fcdb89bf062bc4203133d4a94b09a3cdf5b9","datavalue":{"value":{"entity-type":"item","numeric-id":1064333,"id":"Q1064333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c880d725d001994a9c09317c3c8c6ef3f718a40","datavalue":{"value":{"amount":"+0.69179785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$C98B9006-0E8B-41E4-8E5D-17952E036062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78feb153a3e2b9280e256b4ce392a3da3a1f2dcf","datavalue":{"value":{"entity-type":"item","numeric-id":556825,"id":"Q556825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf84e769d316d3939749709da4edc743496559e","datavalue":{"value":{"amount":"+0.69164455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$C1B092BE-1E4C-43D6-9C77-CDAB80BFE09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c093ba36eb080777508b03f194de9ea8585fee6","datavalue":{"value":{"entity-type":"item","numeric-id":3366770,"id":"Q3366770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83f4baa3aea168042428c80207d1f87d6690715","datavalue":{"value":{"amount":"+0.6894368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$9ACE8DAA-0EE7-40C8-98E8-A767F778614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17f140c604fcc579e6a3b01b86bdd0220d5958ab","datavalue":{"value":{"entity-type":"item","numeric-id":3472086,"id":"Q3472086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60981c90b8c5471b0c00a1d132b61bcc1848c5eb","datavalue":{"value":{"amount":"+0.6867142","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$D6E425EB-34F2-4B91-8F58-F27B392ECF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"582c7072e7ed70eb0a50c87925a847c392d64d68","datavalue":{"value":{"entity-type":"item","numeric-id":1185234,"id":"Q1185234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce9d2838a2360e2106f7662bd5d5dc63df098719","datavalue":{"value":{"amount":"+0.6825898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1095897$C6AA361E-0BBA-4A36-A441-C7344424B0AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of the word problem for abelian l-groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_the_word_problem_for_abelian_l-groups"}}}}}