{"entities":{"Q1377645":{"pageid":1388385,"ns":120,"title":"Item:Q1377645","lastrevid":68760630,"modified":"2026-04-13T01:52:55Z","type":"item","id":"Q1377645","labels":{"en":{"language":"en","value":"An undecidability theorem for lattices over group rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1109926"}},"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":"Q1377645$FCED9839-51BA-43C6-9C68-1D03A73C7158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00a3cb0eaed8d8cff062fa0db1a24af4697f3d89","datavalue":{"value":{"text":"An undecidability theorem for lattices over group rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1377645$C49B9F4E-2208-4C03-B8D8-287875034E83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"880b02a70cc45d280d15eed0f1d23753eba44725","datavalue":{"value":"0893.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$A49688B5-946B-47E5-A04B-3CCE1DAEDA97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0228079e42c869730ba86c704c71cac6be5d5e2e","datavalue":{"value":"10.1016/S0168-0072(97)00025-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$18D4B884-F59F-4934-8BA5-EC343B33B37F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$73D0B109-C108-4278-92B0-9213ACF4AB34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1377645$FA18F6E0-3FF3-477B-8465-0CDC776CB1F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"723f8b92d8e7be11e3c3b878a6273f93028bdace","datavalue":{"value":"Let \\(G\\) be a finite group and let \\(T(\\mathbb{Z} G)\\) denote the theory of \\(\\mathbb{Z} G\\)-lattices. The author proves that \\(T(\\mathbb{Z} G)\\) is undecidable if \\(G\\) contains a subgroup \\(S\\) which is of any of the forms \\(C(p^4)\\), \\(C(p)\\times C(p)\\) for \\(p\\neq 2\\), \\(C(2)\\times C(4)\\) where \\(C(n)\\) denotes the cyclic group of order \\(n\\) and where \\(p\\) is a prime.   The quite lengthy and technical proof uses methods already exploited by \\textit{A. Marcja} and \\textit{C. Toffalori} [``Decidable representations'', J. Pure Appl. Algebra 103, 189-203 (1995; Zbl 0838.16010)] and derived in part from the methods of a paper of \\textit{M. C. R. Butler} [``On the classification of local integral representations of finite Abelian \\(p\\)-groups'', Lect. Notes Math. 488, 54-71 (1975; Zbl 0314.20006)] which proves wildness for the category of \\(\\mathbb{Z} S\\)-lattices for groups \\(S\\) as above. The main difficulty is in lifting undecidability from \\(\\mathbb{Z} S\\)-lattices to \\(\\mathbb{Z} G\\)-lattices.   In a more recent paper [\\textit{C. Toffalori}, ``Wildness implies undecidability for lattices over group rings'', J. Symb. Log. 62, 1429-1447 (1997)], the author has extended the results of this paper and shown that if \\(G\\) is a finite group such that for some prime \\(p\\) and Sylow \\(p\\)-subgroup \\(S_p\\) of \\(G\\) the theory of \\(\\mathbb{Z} S_p\\)-lattices is undecidable, then so is the theory of \\(\\mathbb{Z} G\\)-lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$C38FA665-9330-450F-AA0F-386B4A5D4061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$796854F5-AE6C-49C5-9AF2-342117E6478F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28d3bec2f6e07bd25e07bd6f80d073cd0bf2c7d8","datavalue":{"value":"16H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$E9A3042E-0ACA-438C-95F6-68A9E25E7DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$9D9599EB-EDCC-4E74-AEE9-9C16433ACCD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67f94a1d04b3636766a4e1079c477f769c10cdd2","datavalue":{"value":"20C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$BA6DD264-79E9-4C86-B0DF-6C1F7A6088E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a2a08fbf923859623db67d2f25dda13b53d2263b","datavalue":{"value":"20C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$2526EF21-26F6-4E00-BAB9-916EBF39267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$800F4C48-B34D-44D8-A581-31974FB404C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5fa7ffa9c6726226cf097dee17723d8718aca59b","datavalue":{"value":"20A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$EE51FC4B-2A8B-4F15-90BD-57930452B867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a7e67a2561ebefb856e913da9b63666419f7e30","datavalue":{"value":"16B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$57A42B9C-6FB6-4E7D-AA40-C2590CE55C37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97b0ae850bfeb454fca01334eada59fda5bc6dfd","datavalue":{"value":"1109926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1377645$71FAFAF5-9674-49FA-B706-CD089CDF2B57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$A7EE322C-D72F-4CE9-BB80-38FEB173CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ac843a9f7acd9017482a854aefa803092589e6","datavalue":{"value":"induced modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$B1D2B92F-672D-44BA-BA6D-DD55D9262D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a23c33b18cc15fa53e17e0d8b9dde32930e4c4a","datavalue":{"value":"representation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$83C72EB7-AEA9-43D9-B063-7379A33529F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$E9A6EEE3-7083-4CC7-A29A-D48B296F2E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd6fe9a09d17f423d457493549a50f83be79d85","datavalue":{"value":"theory of \\(\\mathbb{Z} G\\)-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$B60E50AD-F024-4FE2-B335-4CCF87293A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8b81d800a5647a30370cfa5fe8bceaff4870a1","datavalue":{"value":"wildness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$3797B699-67E3-4403-8AD0-D44D24F1F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0215af36d970473ecccf1a1e31692c87ffc91262","datavalue":{"value":"category of \\(\\mathbb{Z} S\\)-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1377645$EBD54BF2-CB54-47B8-94C5-D9472F849A14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8cf22f9c82d126ffa66163bab62d95a5907e7af","datavalue":{"value":{"entity-type":"item","numeric-id":190304,"id":"Q190304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$84CAA7CD-7DDD-4C7D-BF7B-171235180622","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2d97b53f005c7a0720daf149ed39bbd3004df69f","datavalue":{"value":{"entity-type":"item","numeric-id":1254307,"id":"Q1254307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$21C5D212-1A69-4366-91A2-1E6C7FE6A7DC","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":"Q1377645$FF636C36-B2C5-4A2C-8E2B-B18B52D505E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70cbced7411797ceec23086034ae1a2dc5a59103","datavalue":{"value":{"entity-type":"item","numeric-id":1128174,"id":"Q1128174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$0097B3FA-34E1-4489-BC30-E70FAB7F0C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d8058da791e8026c46f881c358c24ec3b7eae2","datavalue":{"value":{"entity-type":"item","numeric-id":3900015,"id":"Q3900015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$CD7201BD-4921-4C29-8F97-48654E01574A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e7cae4450d0ed636027c3ea58b94acbc1ea7c","datavalue":{"value":{"entity-type":"item","numeric-id":4073532,"id":"Q4073532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$F01F90FC-19CE-4A3B-85A5-FB4604DA3260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd51cbfd126e5ce8b424152bc94e2831fb35716","datavalue":{"value":{"entity-type":"item","numeric-id":3922829,"id":"Q3922829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$C303EFFC-DF10-46DF-8ECC-96422E60A1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e2295fd342a2faeaa218f072d548b3fe4aa4b0d","datavalue":{"value":{"entity-type":"item","numeric-id":1836731,"id":"Q1836731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$FCAF87AE-0173-4CFB-8DEB-D674E22653BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"771cf89fd79fc8b583d80faef80442972b5f9b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5661866,"id":"Q5661866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$4FD8EC2F-9C57-4339-9445-1295C826B25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$B3B2D8A9-3661-427B-9FCC-6FA74F922B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf549ab96001983adefe8ae7db075248c6194842","datavalue":{"value":{"entity-type":"item","numeric-id":5577154,"id":"Q5577154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$A19A25E5-C166-4A6B-A8A0-ECB7C5DF37F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71774b604f81d388adeb4fc87b9e69891ab13384","datavalue":{"value":{"entity-type":"item","numeric-id":4289363,"id":"Q4289363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$C28632C2-6A44-44E6-A8EC-B8A376421496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe54a9de4be7f48c857f9fe8666b554d5ca2227","datavalue":{"value":{"entity-type":"item","numeric-id":688804,"id":"Q688804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$CD7D35B2-0BED-47F2-B425-4C66A658820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263f64602866f60a5d78f5ef24aefd9414295584","datavalue":{"value":{"entity-type":"item","numeric-id":5287568,"id":"Q5287568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$2061FD23-0097-4308-BAB5-5551E3D9ED69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cd60b6940beaa499091470692c4eefb632682e9","datavalue":{"value":{"entity-type":"item","numeric-id":4304158,"id":"Q4304158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$06143F07-CFB3-4DA7-A0D3-A8E351CA43B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68db85b193e73eb81653170536c8460184ca0314","datavalue":{"value":{"entity-type":"item","numeric-id":1903681,"id":"Q1903681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$8A6E65C8-4637-4C5E-8722-F2E2B8F2AD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ca9513a119c072b12545db62a255ea6a7575e7","datavalue":{"value":{"entity-type":"item","numeric-id":4281263,"id":"Q4281263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$FA086C21-B446-4420-8322-462E495C68CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3454f8662a7fe7c9fd08ef6ada4a7646ed13bf91","datavalue":{"value":{"entity-type":"item","numeric-id":3794166,"id":"Q3794166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$A65ED6BE-F5FC-418D-B9FC-BB8C9D4820D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d5d78c98d08771a783f4c8604c72b419115305","datavalue":{"value":{"entity-type":"item","numeric-id":4032654,"id":"Q4032654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$A2600FEC-4B79-41FB-8957-5A40D9630409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84f56c03dd765075270d61c78d7cb192d8e682ce","datavalue":{"value":{"entity-type":"item","numeric-id":1054715,"id":"Q1054715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$E06A3A6D-4DC5-420A-85BC-072C79CB3F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d52c8023b0c03007ec2d5078545df56914d98f9","datavalue":{"value":{"entity-type":"item","numeric-id":5847174,"id":"Q5847174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$FB867AE8-E227-4860-B478-4F4D545BF139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"165f373fadb2c57b4489d08fdc7a1724104be49b","datavalue":{"value":{"entity-type":"item","numeric-id":4282851,"id":"Q4282851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$5EC50DE7-6BBF-405E-AC03-E6BEA0478A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3282f0c2ef8eb3c2abebfb28cb92570a09e51296","datavalue":{"value":{"entity-type":"item","numeric-id":4359636,"id":"Q4359636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$22A1E1B3-AD5C-4B97-8C05-98F2AA42EC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d8a7a51fa6aa068a6107c4bf8a9da47c002ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4888347,"id":"Q4888347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$F2443E8F-9E72-493B-8E6C-1DDEF54EC5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f00c82897a9a40be0c5f542fd150a3246d41bb","datavalue":{"value":{"entity-type":"item","numeric-id":5687406,"id":"Q5687406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$971E5996-CD3C-4718-858A-9C37DA73528E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9c1654d45746314251987759691016e5c8bc08","datavalue":{"value":{"entity-type":"item","numeric-id":1076118,"id":"Q1076118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1377645$44D7F8C6-D03F-424E-A37D-8AD571FF9773","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf8431faf667ec3d7757e964903dac27ab4b1161","datavalue":{"value":{"entity-type":"item","numeric-id":4382483,"id":"Q4382483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9c6ad90f1f5ef2f3862a3cbd73a936cefd2847","datavalue":{"value":{"amount":"+0.88076556","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":"Q1377645$913D6A38-C2E0-49B7-80C3-A24B53E16795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23d03d93eac7026411afdb7fd0925d9a96b3c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1128176,"id":"Q1128176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c53005934d8f79e9989f78d85ecb5e24793329","datavalue":{"value":{"amount":"+0.8149277","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":"Q1377645$96621CC2-8AFC-4374-AED1-564A5237D7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e24012e69c249bda730cc590053f2e2f62226e7","datavalue":{"value":{"entity-type":"item","numeric-id":1903681,"id":"Q1903681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"971042904bc94f2a33b9efa5b729df8253537dd7","datavalue":{"value":{"amount":"+0.79231954","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":"Q1377645$CB7C90BE-2C91-43E7-BB21-379FB03F3AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592a62bd97e431442a8bebd847300a134988059","datavalue":{"value":{"entity-type":"item","numeric-id":4531085,"id":"Q4531085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941ec39a20dc01e308345c8039d1f38489408f60","datavalue":{"value":{"amount":"+0.7641841","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":"Q1377645$86A9AF89-9143-426F-AC7E-4D961157B44E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c810546d58b1e6ba0fbff1dea122834a1df05652","datavalue":{"value":{"entity-type":"item","numeric-id":4359636,"id":"Q4359636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44337a23e2f1fe47b203fd8983c8482444f111e3","datavalue":{"value":{"amount":"+0.68215966","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":"Q1377645$2491D7EA-1895-4CEB-8E68-1691CFEE7731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0078e5de1f9ad21c7729b54acd85746c82252cc0","datavalue":{"value":{"entity-type":"item","numeric-id":4868183,"id":"Q4868183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0c1bcdeaa2ae00e2cbe5550ce64635ed50af83","datavalue":{"value":{"amount":"+0.6781043","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":"Q1377645$8E0FD8DD-606A-4A9A-AFB3-EF32D7C26DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cdfd2ac24354c687ddc92c07c1a1cdbf495eb44","datavalue":{"value":{"entity-type":"item","numeric-id":1128174,"id":"Q1128174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17e5c1135065fd37ec4541460d2f79d05c8fee","datavalue":{"value":{"amount":"+0.66520566","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":"Q1377645$25B659C3-8440-4D4E-88FE-169042C6B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37d3f0510fd68189e421234584c993cbe87c6427","datavalue":{"value":{"entity-type":"item","numeric-id":1310410,"id":"Q1310410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"564596734fb4bb3d7d5cdb621d3a1ec733ef8e28","datavalue":{"value":{"amount":"+0.66394997","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":"Q1377645$0419769C-27EC-401B-8CAB-73FFAF66D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165391433cb6a9f4aea9127fd13560724066cbda","datavalue":{"value":{"entity-type":"item","numeric-id":1196816,"id":"Q1196816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23ff88eb69a2a48337ca0033806cdcb4a66b48d","datavalue":{"value":{"amount":"+0.64352524","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":"Q1377645$7047D556-12B8-48DB-AEDD-883BA6C60B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8ace242e2527a324e562b24eaca7bc837383d3","datavalue":{"value":{"entity-type":"item","numeric-id":4349724,"id":"Q4349724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb97c72ce76546f186c2c5b29f58390cd96c490","datavalue":{"value":{"amount":"+0.6427156","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":"Q1377645$4553C289-D7F4-4020-B425-CF6152DF404E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An undecidability theorem for lattices over group rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_undecidability_theorem_for_lattices_over_group_rings"}}}}}