%0 Journal Article %1 journals/fm/FutaS16 %A Futa, Yuichi %A Shidama, Yasunari %D 2016 %J Formalized Mathematics %K dblp %N 1 %P 37-47 %T Divisible ℤ-modules. %U http://dblp.uni-trier.de/db/journals/fm/fm24.html#FutaS16 %V 24

@article{journals/fm/FutaS16, added-at = {2019-02-20T00:00:00.000+0100}, author = {Futa, Yuichi and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/2227f000a29501ffbd1eb429b5c7cc9b4/dblp}, ee = {https://doi.org/10.1515/forma-2016-0004}, interhash = {06bad7263bf5312ea32d74443bb0d92e}, intrahash = {227f000a29501ffbd1eb429b5c7cc9b4}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = {37-47}, timestamp = {2019-02-21T11:39:31.000+0100}, title = {Divisible ℤ-modules.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm24.html#FutaS16}, volume = 24, year = 2016 }