Triple
T29484807
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Linnik’s theorem on the least prime in an arithmetic progression |
E747889
|
entity |
| Predicate | strengthens |
P3261
|
FINISHED |
| Object | Dirichlet’s theorem by giving an explicit upper bound for the least prime |
—
|
NE NERFINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69f0bd43ba30819095eb1cfc3adf525c |
elicitation | completed |
| NER | batch_69f66c04cebc819083ae3b4338149347 |
ner | completed |
Created at: April 28, 2026, 4:07 p.m.