Triple
T34154831
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Beilinson–Bernstein localization theorem |
E876104
|
entity |
| Predicate | asserts |
P3106
|
FINISHED |
| Object | localization functor is an equivalence for regular dominant central character |
—
|
LITERAL FINISHED |
Provenance (2 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69f349abaa508190a820f206620efddc |
elicitation | completed |
| NER | batch_69f70fb5ae4c8190a6c0e578edfa60ce |
ner | completed |
Created at: May 1, 2026, 1:54 a.m.