Triple
T10733073
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Leibnizian logic |
E253121
|
entity |
| Predicate | coreConcept |
P533
|
FINISHED |
| Object |
calculus ratiocinator
The calculus ratiocinator is Gottfried Wilhelm Leibniz’s envisioned formal symbolic system for mechanically performing logical reasoning and calculation.
|
E883487
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa5d8be481909a43218b2bfdbe95 |
elicitation | completed |
| NER | batch_69d7101ff9808190a27fcc06da097ea3 |
ner | completed |
| NED1 | batch_69de22bb62e481909544c87801012df3 |
ned_source_triple | completed |
| NED2 | batch_69de2ccee0cc8190acd24d5c225f7cde |
ned_description | completed |
| NEDg | batch_69de271ca4f081908d78a20b25ebd25c |
nedg | completed |
Created at: April 8, 2026, 9:14 p.m.