Triple
T7011037
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Richard Dedekind |
E162579
|
entity |
| Predicate | knownFor |
P22
|
FINISHED |
| Object |
Dedekind cut
A Dedekind cut is a method of constructing the real numbers from the rational numbers by partitioning them into two nonempty sets that capture the idea of a "cut" point on the number line.
|
E634836
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69c6885a127c8190867b059bdccf13ff |
elicitation | completed |
| NER | batch_69c6dc3917c481909a288c3e56630c48 |
ner | completed |
| NED1 | batch_69c76a4bd424819097e1543ec59979ff |
ned_source_triple | completed |
| NED2 | batch_69c76c01679c8190b61f642c23c25ed5 |
ned_description | completed |
| NEDg | batch_69c76b1ef6f481908f4c4f610328f633 |
nedg | completed |
Created at: March 27, 2026, 2:34 p.m.