Triple
T10733087
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Leibnizian logic |
E253121
|
entity |
| Predicate | relatedTo |
P37
|
FINISHED |
| Object |
predicate logic
Predicate logic is a formal system in mathematical logic that extends propositional logic by using quantifiers and predicates to express statements about objects and their properties or relations.
|
E883489
|
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.