Triple
T29514233
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Graham's number |
E748745
|
entity |
| Predicate | roleInProof |
P63687
|
FINISHED |
| Object | upper bound on a specific Ramsey number |
—
|
LITERAL FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69f0bd461c208190bec20bbf24e02cc5 |
elicitation | completed |
| NER | batch_69ff0d80c0dc81909fbd12285c7a45c0 |
ner | completed |
| PD | batch_69ff0cd03e78819094895058f925fbfa |
pd | completed |
Created at: April 28, 2026, 4:35 p.m.