Triple
T17020422
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Closed Graph Theorem |
E412931
|
entity |
| Predicate | logicalForm |
P4940
|
FINISHED |
| Object | T is bounded implies graph(T) is closed in X×Y |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d886cc4170819093deddc7b8b4b6a7 |
elicitation | completed |
| NER | batch_69e3d482c3a0819099e6ea4acb0a08ee |
ner | completed |
Created at: April 10, 2026, 5:33 a.m.