Bots vs Browsers - Public Bot / User Agent Database & Commentary
Bots vs Browsers - database of 16,271,332 user agents and growing
User Agent Details for "mozilla/5.0_(linux;_u;_android_3.1;_en-us;_gt-p7510_build/hmj37)_applewebkit/534.13_(khtml,_like_gecko)_version/4.0_safari/534.13"