Triple
T2287277
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Begriffsschrift |
E51421
|
entity |
| Predicate | introducedConcept |
P201
|
FINISHED |
| Object |
Fregean quantifier notation
Fregean quantifier notation is the formal logical symbolism for quantifiers developed by Gottlob Frege, which laid the foundation for modern predicate logic and the rigorous treatment of quantification.
|
E18534
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88b09c644819090b503456d96bf70 |
elicitation | completed |
| NER | batch_69abc24868048190940512fd6449d99e |
ner | completed |
| NED1 | batch_69ae7f1b2a7c8190aa836f9feba2ce1a |
ned_source_triple | completed |
| NED2 | batch_69ae809ebfdc8190ae404d5711a58b59 |
ned_description | completed |
| NEDg | batch_69ae8004fb6c81908f9fb1678f608419 |
nedg | completed |
Created at: March 4, 2026, 7:48 p.m.