Triple
T2139590
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Jacques Herbrand |
E46730
|
entity |
| Predicate | notableWork |
P4
|
FINISHED |
| Object |
Recherches sur la théorie de la démonstration
Recherches sur la théorie de la démonstration is Jacques Herbrand’s foundational work in mathematical logic, introducing key results in proof theory and what is now known as Herbrand’s theorem.
|
E238238
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88a174ab48190a5db20c132e5dccf |
elicitation | completed |
| NER | batch_69abbe025d3c81908bcb33a7ff09eae8 |
ner | completed |
| NED1 | batch_69ae51b1290c8190a08850b428c99a6c |
ned_source_triple | completed |
| NED2 | batch_69ae55fdc32c8190b6ecdc9b23d64cc5 |
ned_description | completed |
| NEDg | batch_69ae55923b748190bf7a2df3ae94edc8 |
nedg | completed |
Created at: March 4, 2026, 7:44 p.m.