Revenue (Remaining Performance Obligations) (Details) $ in Billions |
9 Months Ended |
|---|---|
|
Apr. 30, 2026
USD ($)
| |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Remaining performance obligation, amount | $ 3.6 |
| Subscription | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Revenue, performance obligation, initial term | 5 years |
| Support | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Revenue, performance obligation, initial term | 1 year |
| Services | |
| Revenue, Remaining Performance Obligation, Expected Timing of Satisfaction [Line Items] | |
| Revenue, performance obligation, initial term | 1 year |