Information about Geographic Areas - Revenues by Geographic Area (Details) - USD ($) $ in Thousands	3 Months Ended		9 Months Ended
	Oct. 31, 2023	Oct. 31, 2022	Oct. 31, 2023	Oct. 31, 2022
Revenues by geography
Total revenues	$ 616,505	$ 552,351	$ 1,733,055	$ 1,591,671
North America
Revenues by geography
Total revenues	362,381	321,860	1,022,691	925,589
Europe
Revenues by geography
Total revenues	172,473	152,951	479,423	441,719
Asia Pacific
Revenues by geography
Total revenues	65,180	62,621	184,720	181,286
Middle East, Africa, and Latin America
Revenues by geography
Total revenues	$ 16,471	$ 14,919	$ 46,221	$ 43,077