Triple
T14334478
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Ramanujan prime |
E355434
|
entity |
| Predicate | definition |
P773
|
FINISHED |
| Object |
the nth Ramanujan prime R_n is the least integer such that for all x ≥ R_n, π(x) − π(x/2) ≥ n
A Ramanujan prime is a special kind of prime number that guarantees, from a certain point onward, at least a specified number of primes in every interval between x/2 and x.
|
E1094037
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d8278fa2108190bc0d0e7939c1eb03 |
elicitation | completed |
| NER | batch_69de8c20d2148190bb534bef338e871d |
ner | completed |
| NED1 | batch_69fd469634688190980df59ee482b792 |
ned_source_triple | completed |
| NED2 | batch_69fd4879b2688190ac208545ae226c93 |
ned_description | completed |
| NEDg | batch_69fd47e2b8d481909ed8274a96615b36 |
nedg | completed |
Created at: April 10, 2026, 1:13 a.m.