Triple
T4493079
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Paul Cohen |
E100624
|
entity |
| Predicate | notableConcept |
P201
|
FINISHED |
| Object |
forcing (set theory)
Forcing (set theory) is a powerful technique in mathematical logic, introduced by Paul Cohen, used to construct models of set theory and prove the independence of certain propositions from Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC).
|
E446865
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43cdf15081909a4fa2585ff63b3e |
elicitation | completed |
| NER | batch_69bd5570ba0881908f5fb4f8d0730e64 |
ner | completed |
| NED1 | batch_69bd67b40fd4819098636b6f29304312 |
ned_source_triple | completed |
| NED2 | batch_69bd69bcf10c8190bd6ceb6bc604b3f5 |
ned_description | completed |
| NEDg | batch_69bd688e84fc8190a8900be40e3cf694 |
nedg | completed |
Created at: March 20, 2026, 12:59 p.m.