{"entities":{"Q831196":{"pageid":833044,"ns":120,"title":"Item:Q831196","lastrevid":64699914,"modified":"2026-04-11T21:38:36Z","type":"item","id":"Q831196","labels":{"en":{"language":"en","value":"Metabelian groups: full-rank presentations, randomness and Diophantine problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7346971"}},"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":"Q831196$0F0861D6-E65D-40C7-9AF2-09CAB0D25834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d8e48870f718b769526023ff39dc205184b30e8","datavalue":{"value":{"text":"Metabelian groups: full-rank presentations, randomness and Diophantine problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q831196$23AEC78E-126C-46C1-9901-8B86166E4C01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a8a0eb5b9b4281fc8c130ff53c4d0645ef3684e1","datavalue":{"value":"1482.20024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$F8572C97-A8C2-4A2D-BFA1-89B1BFA7190E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3b28410de82a4a836de00ee2a9123b8da849744","datavalue":{"value":{"entity-type":"item","numeric-id":831194,"id":"Q831194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$FB4DDAA5-2392-4A71-BE9B-4132CD59DF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88b9f4f4425c21c6418d1be8660cd058790354fb","datavalue":{"value":{"entity-type":"item","numeric-id":405807,"id":"Q405807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$5668814B-9CF7-4923-AEC2-444A33FF26F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0fe6ddb040f53b3feaddb5f5f5d0302912c7b98f","datavalue":{"value":{"entity-type":"item","numeric-id":831195,"id":"Q831195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$829D2EFD-2E86-44BA-A697-5256B9A1E67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b1843ff51384642f69cbb6cac945664c66fbeb9","datavalue":{"value":{"entity-type":"item","numeric-id":639687,"id":"Q639687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$B6A824DD-71EB-40FD-B502-1487CBAAAEB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd7178ae51228ce9b16137dd68ddaa898944ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":254311,"id":"Q254311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$7CB7E1F2-293B-4311-BE23-70C72FB7F179","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ed4002d7d1dae8a4df69ca0f7d26b6ca60a982d","datavalue":{"value":{"time":"+2021-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q831196$04C57754-525A-49AE-BF78-5758A7ED20C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12ec0634c696426d6878938856e950fbbce35ef6","datavalue":{"value":"https://arxiv.org/abs/2006.06371","type":"string"},"datatype":"url"},"type":"statement","id":"Q831196$42BD0AE0-A241-49E3-BB1A-3F88935AFA58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c604a2bcac665fb6200067bb62cbea946d71e326","datavalue":{"value":"Let \\(F(A)=\\langle A \\rangle\\) be a free group of rank \\(n\\) with basis (that is free generating set) \\(A=\\{a_{1},a_{2}, \\ldots, a_{n}\\}\\). If \\(\\mathcal{V}\\) is a variety of groups, then the largest quotient of \\(F(A)\\) which is in \\(\\mathcal{V}\\) is denoted by \\(F_{\\mathcal{V}}(A)\\). If \\(R=\\{ r_{1}, r_{2}, \\ldots, r_{m} \\}\\) is a finite subset of \\(F_{\\mathcal{V}}(A)\\), then the normal closure of \\(\\langle R \\rangle\\) in \\(F_{\\mathcal{V}}(A)\\) is denoted by \\(\\langle \\langle R \\rangle \\rangle\\). The group \\(G=\\langle A \\mid R \\rangle_{\\mathcal{V}}=F_{\\mathcal{V}}(A)/\\langle \\langle R \\rangle\\rangle\\) is the group with presentation \\(\\langle A \\mid R \\rangle\\) in the variety \\(\\mathcal{V}\\). The relation matrix \\(M(A, R)\\) of the presentation \\(\\langle A \\mid R\\rangle\\) is an \\(m \\times n\\) integral matrix whose \\((i,j)\\)-th entry is the sum of the exponents of the \\(a_{j}\\)'s that occur in \\(r_{i}\\). The matrix \\(M(A, R)\\) has full-rank if its rank is equal to \\(\\min \\{|A|,|R|\\}\\), i.e., it is the maximum possible. The presentation \\(\\langle A \\mid R \\rangle\\) has full-rank if \\(M(A, R)\\) has full-rank.  In [J. Algebra 556, 1--34 (2020; Zbl 1471.20023)], the first author et al. proved that if a finitely generated nilpotent group \\(G\\) admits a full-rank presentation, then \\(G\\) is either virtually free nilpotent (if \\(|A|-|R| \\geq 2\\)), or virtually cyclic (if \\(|A|-|R|=1\\)), or finite (if \\(|A|-|R| \\leq 0\\)). In the paper under review, a similar result is proved for the variety \\(\\mathcal{M}\\) of the metabelian groups. The two main results are.  Theorem 1.1: Let \\(G\\) be a group given by a full-rank presentation \\(G=\\langle A \\mid R \\rangle_{\\mathcal{M}}\\). Then there exist two finitely generated subgroups \\(H\\) and \\(K\\) of \\(G\\) such that (1) \\(H\\) is a free metabelian group of rank \\(\\max \\{|A|-|R|,0\\}\\); (2) \\(K\\) is a virtually abelian group with \\(|R|\\) generators, and its normal closure \\(L=K^{G}\\) is again virtually abelian; (3) \\(G=\\langle H, K \\rangle=HL\\). Moreover, there is an algorithm that, given \\(\\langle A \\mid R\\rangle_{\\mathcal{M}}\\), finds a free basis for \\(H\\) and a generating set in \\(|R|\\) generators for \\(K\\).  Theorem 1.2: Let \\(G=\\langle A \\mid R \\rangle\\) be a full-rank presentation such that \\(|A| - |R| \\geq 1\\). Then, in any direct decomposition of \\(G\\), all but one of the direct factors are virtually abelian.  The Diophantine problem \\(\\mathsf{D}(\\mathcal{A})\\) in an algebraic structure \\(\\mathcal{A}\\) is the task to determine whether or not a given finite system of equations with constants in \\(\\mathcal{A}\\) has a solution in \\(\\mathcal{A}\\). \\(\\mathsf{D}(\\mathcal{A})\\) is decidable if there is an algorithm that, given a finite system \\(S\\) of equations with constants in \\(\\mathcal{A}\\), decides whether or not \\(S\\) has a solution in \\(\\mathcal{A}\\). Furthermore, \\(\\mathsf{D}(\\mathcal{A})\\) is reducible to \\(\\mathsf{D}(\\mathcal{B})\\) for another structure \\(\\mathcal{B}\\) if there is an algorithm that, for any finite system of equations S in \\(\\mathcal{A}\\), computes a finite system of equations \\(S_{\\mathcal{B}}\\) in \\(\\mathcal{B}\\) such that \\(S\\) has a solution in \\(\\mathcal{B}\\) if and only if \\(S_{\\mathcal{B}}\\) has a solution in \\(\\mathcal{B}\\). To prove that \\(\\mathsf{D}(\\mathcal{A})\\) reduces to \\(\\mathsf{D}(\\mathcal{B})\\), it suffices to show that \\(\\mathcal{A}\\) is interpretable by equations (or \\(e\\)-interpretable) in \\(\\mathcal{B}\\).  Due to the classical result of Matiyasevich, Robinson, Davis and Putnam (\\textsf{MRDP} theorem), the Diophantine problem \\(\\mathsf{D}(\\mathbb{Z})\\) in the ring of integers \\(\\mathbb{Z}\\) is undecidable (that is Hilbert's tenth problem is unsolvable).  Theorem 1.3: Let \\(G=\\langle A \\mid R \\rangle_{\\mathcal{M}}\\) be a full-rank presentation, then the following hold. (1) If \\(|A| - |R| \\geq 2\\), then \\(\\mathbb{Z}\\) is \\(e\\)-interpretable in \\(G\\), and hence \\(\\mathsf{D}(G)\\) is undecidable. (2) If \\(|A|-|R| \\leq 0\\), then \\(\\mathsf{D}(G)\\) is decidable (in fact, the first-order theory of \\(G\\) is decidable).  Moreover, since finite presentations have full rank asymptotically almost surely, metabelian groups finitely presented in \\(\\mathcal{M}\\) satisfy all the aforementioned theorems asymptotically almost surely.","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$6327E9B7-D8D7-4541-A191-0CA1568274BC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5bfd82087b720927b1a296c318191d7cfc2aac2e","datavalue":{"value":{"entity-type":"item","numeric-id":284097,"id":"Q284097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$53115CE8-7935-4F61-ADF7-D67947746059","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f6ef259871fba519aa5466cc02e98f40c4b514ae","datavalue":{"value":"20F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$23BC68AE-BD38-45DD-AA74-83FE130D1C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$0DF599B4-0A53-4B85-B0DA-272A14AFC9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e44886d86b7e4edd90303c512458ec5cc0ca9f79","datavalue":{"value":"20F69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$89472691-E20C-4BA5-822A-DA0CABD3F175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ef9852cdcd91e46926999d497f49e0eb30ab1aec","datavalue":{"value":"20P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$4F2B3530-BCFC-4764-A616-527AF8C5FE47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"036d10c4a9e4d1a84dbbeef09a1e534aea009015","datavalue":{"value":"7346971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$A2FEF291-5F17-4ECC-B97D-464F86077B1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96db4b9e7955bee5cbc348d373b4a3af36228b08","datavalue":{"value":"variety of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$19027CFD-6268-44E7-8404-030BD0EA2800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07cb16045b7084341d6028cab72d2aedd9f2bab2","datavalue":{"value":"metabelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$84DCBC98-BAA7-44CE-94B7-48473936FF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e500a0bac6deb61a49e5a6a6e753fea87595aca6","datavalue":{"value":"full-rank presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$A48CE1DC-2794-4889-ADB4-91AC4BD9CADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0f98894baed3c586addce4482813db621763a9","datavalue":{"value":"Freiheitssatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$34F3128B-20C1-4B47-8852-F9A4B9DC6E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dd1dcde360856b931905d797a349d2e7744d79","datavalue":{"value":"diophantine problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$8C5093F1-38D4-47BD-BA65-CCD423C1B4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0126668261f20f9f489b68cc749b1bf676b3ae","datavalue":{"value":"\\(e\\)-interpretability","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$072DBC1E-28C8-49A0-AF3B-A3078CE8D25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8cde58bf949aef4789100ba20c1412f59be0b63","datavalue":{"value":"asymptotic property","type":"string"},"datatype":"string"},"type":"statement","id":"Q831196$08EEB236-D1AF-411C-9E7C-AA7C1E09074A","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":"Q831196$80E8CE21-36F6-4D2D-89DF-C35223A30E0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e27b7b878b0369f47da474f04b905c0b6f9fc892","datavalue":{"value":"W3116942974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$D796E277-246E-4FE8-B194-AABCF1C430D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"526d1a28509315e8c3b9e0d6edb5cb554c454360","datavalue":{"value":{"entity-type":"item","numeric-id":1358513,"id":"Q1358513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$99AE29E0-DFEA-4B84-8557-26DFC17E6075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$056D9BE2-985A-4FE4-8C6F-E9041A36FE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afecf2da27b82df16e7cc2f803a52bb0cbeaf68","datavalue":{"value":{"entity-type":"item","numeric-id":1910397,"id":"Q1910397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$3E4218E4-AD20-4A67-B834-2D9C01E68F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12afeee45d944119968846b8a3d2ed7663a88af4","datavalue":{"value":{"entity-type":"item","numeric-id":4619356,"id":"Q4619356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$96BAEB70-7DCA-4309-9AE3-7231CDC26470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$41750D64-5247-4668-8124-F35A298227E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19116a1e47f7c685da4e25e2d28a60bb35c8a7a8","datavalue":{"value":{"entity-type":"item","numeric-id":5233836,"id":"Q5233836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$693D0C78-0E88-4248-B0A1-5A787B585BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9dc946ca35666bfdf0050ee37adfc633d6a5f31","datavalue":{"value":{"entity-type":"item","numeric-id":1676247,"id":"Q1676247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$AE51D1E5-83B9-4BDC-B210-B62F3525C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5256ecb36e863f17b2020467337047325cc7b0e1","datavalue":{"value":{"entity-type":"item","numeric-id":4997864,"id":"Q4997864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$ABB35262-CA55-4950-AC62-DCF799CFE75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba246bb77cf75cbcd6e2f895822b88aac3e2cc","datavalue":{"value":{"entity-type":"item","numeric-id":2178495,"id":"Q2178495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$FB3676F8-D528-4786-AA6A-7BD46B5B8045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320a4959b3b19951cebc6a79a1a4b49c7a726972","datavalue":{"value":{"entity-type":"item","numeric-id":3772406,"id":"Q3772406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$942BAB50-677F-432B-BB9D-129B8E791035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$1C199938-65AA-4868-B7BD-F8653475A45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3c6f3249fd6de16e05c8bec4f935fb7756e736","datavalue":{"value":{"entity-type":"item","numeric-id":936141,"id":"Q936141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$BEF13CFD-22CF-40B8-AFF4-AABEBDDDA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b01b6e365aef378aed4d780b374e8263c9d02e58","datavalue":{"value":{"entity-type":"item","numeric-id":5113678,"id":"Q5113678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$568A18A0-1D4C-43F5-AD4E-08BD8380D6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$FFE2309B-17CD-4FC1-81E8-B22EB0A9A201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d797fbc83623b095c53cd95c49298e135ee9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4658185,"id":"Q4658185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$708F19ED-5C6B-4D60-AD4C-33AB90DA841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$4639F3EB-E187-4720-B2A6-91A70DF354AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7198e10bdf17892b3da36a59902515c7e29ac463","datavalue":{"value":{"entity-type":"item","numeric-id":5528704,"id":"Q5528704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$5754DAE6-970C-45FD-A9E0-92E226A9139C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a964239d52d7016f801109d626ae55d9cb41fd","datavalue":{"value":{"entity-type":"item","numeric-id":3375561,"id":"Q3375561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$547864EC-3D9B-4720-9374-BC9812912E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64efc6e2d0423fd507b2505eebdd36de51588b62","datavalue":{"value":{"entity-type":"item","numeric-id":4024644,"id":"Q4024644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$4FB2BA73-743A-4038-BA63-7A7EB30D63CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1066902716313b043a8137d87d47885f043612f7","datavalue":{"value":{"entity-type":"item","numeric-id":1251286,"id":"Q1251286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$D11883E9-3D54-4370-835F-A8ABB257DCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"745dd68ffca3d0b92e293a7c3c1bd7dcbf4adeff","datavalue":{"value":{"entity-type":"item","numeric-id":3663506,"id":"Q3663506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$25FA24C3-301C-4BC4-9FB6-A6CA598EC32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"474ac25d03137fceb39302b64b222892adb48859","datavalue":{"value":{"entity-type":"item","numeric-id":5193150,"id":"Q5193150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$E8F0ABE9-6683-4F02-809C-93590B2176EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q831196$EDE3DABE-CD74-4665-9F36-AF3DF1485131","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"094862f86a51b6308a948dcf505dd7de2b02acc3","datavalue":{"value":"10.1515/JGTH-2020-0091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q831196$B8F621C3-188F-4E36-8D66-1A9848281937","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e61e8895f3e26d796ff5fb2b744815bccff9cdc6","datavalue":{"value":{"entity-type":"item","numeric-id":2178495,"id":"Q2178495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01deba23c6df8c9b8323fe7e42c72bb9257dee55","datavalue":{"value":{"amount":"+0.8332832455635071","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":"Q831196$FD282FC2-DEC6-47F5-A765-A922DFB81DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08aa9c96943f83bc89917d233dca8ecb2c6dadde","datavalue":{"value":{"entity-type":"item","numeric-id":1079661,"id":"Q1079661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb43309ae91f7d39971bbf5e830506bb291ce514","datavalue":{"value":{"amount":"+0.7919840812683105","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":"Q831196$6B25338A-6164-4619-BAC0-376FA2717706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e35bafc9786443d1d481fcab7e9297a165cf50","datavalue":{"value":{"entity-type":"item","numeric-id":1676247,"id":"Q1676247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a51c2194f15607a630f1a7348ef6e3d1887540","datavalue":{"value":{"amount":"+0.7543831467628479","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":"Q831196$38895487-08AC-437C-9C28-5E77D4B5AE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2144ebdf582a121f9e741a4000d7bed58de1f5ca","datavalue":{"value":{"entity-type":"item","numeric-id":2790248,"id":"Q2790248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65981c74f3a361e04827a74d942520c8482212bd","datavalue":{"value":{"amount":"+0.7435739040374756","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":"Q831196$5134DC8D-7E27-4CF6-B768-56F226FF9A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"677e3a6a5b82c0d2f6fcab79b7742bcf7148d137","datavalue":{"value":{"entity-type":"item","numeric-id":4997864,"id":"Q4997864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef96ab535b63544b41f4051913ebd7e7c13e89f1","datavalue":{"value":{"amount":"+0.7398574948310852","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":"Q831196$FF0B7FDC-6CF0-4BF8-A8FE-DA5F777023A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Metabelian groups: full-rank presentations, randomness and Diophantine problems","badges":[]}}}}}