Triple
T26966582
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Post correspondence problem |
E679187
|
entity |
| Predicate | dominoCountCondition |
P169245
|
FINISHED |
| Object | undecidable for sufficiently many dominoes |
—
|
LITERAL FINISHED |
Provenance (4 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69eeeb4f3a448190b1e94b2d4776c16e |
elicitation | completed |
| NER | batch_69f67d691a948190afa7fb19ae7d4ac5 |
ner | completed |
| PD | batch_69f678cc272081909e5c70f1bc7407f0 |
pd | completed |
| PDg | batch_69f67c9ec1708190b26ccf402ed7b106 |
pdg | completed |
Created at: April 27, 2026, 6:36 a.m.