Triple
T6295503
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Lie derivative |
E141121
|
entity |
| Predicate | satisfies |
P4233
|
FINISHED |
| Object |
Leibniz rule
The Leibniz rule is a fundamental property of derivatives stating that the derivative of a product equals the sum of each factor’s derivative times the other factor.
|
E582439
|
NE FINISHED |
Provenance (5 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 |
Created at: March 22, 2026, 4:27 p.m.