%0 Journal Article %1 GROUP_8.ABS %A Geleijnse, Gijs %A Bancerek, Grzegorz %D 2004 %J Formalized Mathematics %K imported %N 3 %P 347--350 %T Properties of Groups %U http://fm.mizar.org/2004-12/pdf12-3/group_8.pdf %V 12

@article{GROUP_8.ABS, added-at = {2007-10-23T13:43:33.000+0200}, author = {Geleijnse, Gijs and Bancerek, Grzegorz}, biburl = {https://www.bibsonomy.org/bibtex/263d3b94882ae5db47a13d844c909b9ce/gijsg}, interhash = {c4b2da6347b7c48cd858707b782491e6}, intrahash = {63d3b94882ae5db47a13d844c909b9ce}, journal = {Formalized Mathematics}, keywords = {imported}, number = 3, pages = {347--350}, timestamp = {2007-10-23T13:43:33.000+0200}, title = {Properties of Groups}, url = {http://fm.mizar.org/2004-12/pdf12-3/group_8.pdf}, volume = 12, year = 2004 }