{"entities":{"Q7361886":{"pageid":31521197,"ns":120,"title":"Item:Q7361886","lastrevid":105370049,"modified":"2026-10-07T13:38:45Z","type":"item","id":"Q7361886","labels":{"en":{"language":"en","value":"Finitely Generated Abelian Groups"}},"descriptions":{"en":{"language":"en","value":"AFP entry Finitely_Generated_Abelian_Groups"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58dc91b791be69a2f379c2a04ecc42ac60758a51","datavalue":{"value":"https://isa-afp.org/entries/Finitely_Generated_Abelian_Groups.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361886$EF34B6B4-6698-4044-98EE-60A67B7E77DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1b07861f0a8f55d609d0c858d9f681c9c0e6b5b","datavalue":{"value":{"time":"+2021-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361886$A28FFF39-6300-4B0F-97C8-A99F49CC129B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"3bcd2eb5d9a6e0367ff10d9250eba5f6df36eaa1","datavalue":{"value":"Joseph Thommes","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361886$D7A8EF33-8848-4632-803B-BA7159B93D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"85859c7ab42dcb8b36208f2902b7ce0d86423a6f","datavalue":{"value":"Manuel Eberl","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361886$6D2C822A-7945-4B6E-A371-7D3CC6C9B449","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3260a1db100bc6662ccba1d5c271262df64c4301","datavalue":{"value":{"text":"Finitely Generated Abelian Groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361886$5ABA26BB-3DBB-4FEF-9418-9CFA35E59FEC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"82a110694727874ab550032aa7199daad9f65faa","datavalue":{"value":"This article deals with the formalisation of some group-theoretic results including the fundamental theorem of finitely generated abelian groups characterising the structure of these groups as a uniquely determined product of cyclic groups. Both the invariant factor decomposition and the primary decomposition are covered. Additional work includes results about the direct product, the internal direct product and more group-theoretic lemmas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361886$79ED8FDA-9D7D-4698-9DF5-DE03B92EDC26","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361886$EE69BD8E-2F1F-4A99-942F-B1B97C9F9253","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361886$48EEE269-BACD-4BAA-A174-2D5DFD75D1CB","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361886$838F508A-C8B6-4A4E-A74F-D0C9A2DD8F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely Generated Abelian Groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_Generated_Abelian_Groups"}}}}}