1 evidence check
Last checked: 3/26/2026
The source text extensively discusses TA1 (toolkit for mathematical assurance) and TA2 (Phase 2 selection process that was cancelled), but makes no mention of TA3 or 'Real-World Applications' as a division name. While the source confirms that TA1 and TA2 exist as programme areas within ARIA, it does not provide information about TA3 specifically. The record cannot be verified or contradicted based on the provided source material, as the source simply does not address TA3.
Evidence — 1 source, 1 check
Note: The source text extensively discusses TA1 (toolkit for mathematical assurance) and TA2 (Phase 2 selection process that was cancelled), but makes no mention of TA3 or 'Real-World Applications' as a division name. While the source confirms that TA1 and TA2 exist as programme areas within ARIA, it does not provide information about TA3 specifically. The record cannot be verified or contradicted based on the provided source material, as the source simply does not address TA3.
Debug info
Record type: division
Record ID: uRPFXhBwBY