Triple
T6295525
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lie derivative |
E141121
|
entity |
| Predicate | expressedBy |
P4596
|
FINISHED |
| Object |
Cartan magic formula
The Cartan magic formula is a fundamental identity in differential geometry that expresses the Lie derivative of a differential form in terms of the exterior derivative and interior product.
|
E582441
|
NE FINISHED |
Provenance (6 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c008cdf2ac8190bb640c94478fb4ed |
elicitation | completed |
| NER | batch_69c06439a6908190b0a8ebf426d3ca02 |
ner | completed |
| NED1 | batch_69c51988f1388190b36212b0d9756863 |
ned_source_triple | completed |
| NED2 | batch_69c59285696c819099c31868f6b758dc |
ned_description | completed |
| NEDg | batch_69c51e7ce1b4819090b5bef16a9ea95e |
nedg | completed |
| PD | batch_69c060df0d8881908215575862ef6831 |
pd | completed |
Created at: March 22, 2026, 4:27 p.m.