Triple
T4492964
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Gödel numbering |
E100622
|
entity |
| Predicate | usedIn |
P98
|
FINISHED |
| Object |
arithmetization of syntax
Arithmetization of syntax is a method in mathematical logic that encodes formal language expressions and proofs as natural numbers so that syntactic properties can be studied using arithmetic.
|
E446861
|
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.