Triple
T4492889
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | completeness theorem for first-order logic |
E100620
|
entity |
| Predicate | laterProofMethod |
P7024
|
FINISHED |
| Object |
Henkin construction
Henkin construction is a model-building technique in first-order logic that extends a theory with new constants to ensure every consistent set of sentences has a model, thereby proving completeness.
|
E446858
|
NE FINISHED |
Provenance (6 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 |
| PD | batch_69bd5213e3d0819094b026989e686f01 |
pd | completed |
Created at: March 20, 2026, 12:59 p.m.