Triple
T15502444
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Khinchin's law of the iterated logarithm |
E378993
|
entity |
| Predicate | implies |
P1661
|
FINISHED |
| Object | limsup of S_n divided by sqrt(2 σ² n log log n) equals 1 almost surely |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d85cd53a7c819080f5b9042c4c199e |
elicitation | completed |
| NER | batch_69e03fcc5bb88190b8a9a81419a9a38b |
ner | completed |
Created at: April 10, 2026, 3:54 a.m.