Triple
T29484797
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Linnik’s theorem on the least prime in an arithmetic progression |
E747889
|
entity |
| Predicate | statesThat |
P34
|
FINISHED |
| Object | there exists a constant L such that the least prime p ≡ a (mod q) with (a,q)=1 satisfies p ≤ C q^L for some constant C |
—
|
LITERAL FINISHED |
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.