Triple

T24806238
Position Surface form Disambiguated ID Type / Status
Subject Kac's lemma E620664 entity
Predicate typicalFormulation P12789 FINISHED
Object If T is a measure-preserving transformation on (X, Σ, μ) and A has μ(A) > 0, then the integral over A of the first return time to A equals 1. LITERAL FINISHED

Provenance (2 batches)

Stage Batch ID Job type Status
creating batch_69e2fabf26bc8190b191faac8f67065b elicitation completed
NER batch_69f42205d32481909a05d2930118816a ner completed
Created at: April 18, 2026, 4:50 a.m.