%0 Journal Article %1 journals/fm/OkazakiAS11 %A Okazaki, Hiroyuki %A Arai, Kenichi %A Shidama, Yasunari %D 2011 %J Formalized Mathematics %K dblp %N 1 %P 23-26 %T Normal Subgroup of Product of Groups. %U http://dblp.uni-trier.de/db/journals/fm/fm19.html#OkazakiAS11 %V 19

@article{journals/fm/OkazakiAS11, added-at = {2019-02-20T00:00:00.000+0100}, author = {Okazaki, Hiroyuki and Arai, Kenichi and Shidama, Yasunari}, biburl = {https://www.bibsonomy.org/bibtex/21f4615ca8f61cc7744c09579ccf992b6/dblp}, ee = {https://doi.org/10.2478/v10037-011-0004-7}, interhash = {d72323013ee4100edfab1f29544de807}, intrahash = {1f4615ca8f61cc7744c09579ccf992b6}, journal = {Formalized Mathematics}, keywords = {dblp}, number = 1, pages = {23-26}, timestamp = {2019-02-21T11:39:25.000+0100}, title = {Normal Subgroup of Product of Groups.}, url = {http://dblp.uni-trier.de/db/journals/fm/fm19.html#OkazakiAS11}, volume = 19, year = 2011 }