Triple

T20509419
Position Surface form Disambiguated ID Type / Status
Subject Peter–Weyl theorem E503519 entity
Predicate statesThat P34 FINISHED
Object the regular representation of a compact group decomposes as a Hilbert space direct sum of finite-dimensional irreducible unitary representations LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e0b4b1e52c8190894281cf7e3283ab elicitation completed
NER batch_69e69dc9de788190882ce471966ef2b4 ner completed
Created at: April 16, 2026, 11:36 a.m.