Triple
T11090184
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Satisfiability Modulo Theories |
E262229
|
entity |
| Predicate | usesFormat |
P130
|
FINISHED |
| Object | SMT-LIB language |
E824099
|
NE FINISHED |
Provenance (3 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa9a40d88190a373e2c7e48285db |
elicitation | completed |
| NER | batch_69d799e96ca08190838c8a04d1eb2a16 |
ner | completed |
| NED1 | batch_69e42d66ded88190877a20a10f012d6b |
ned_source_triple | completed |
Created at: April 8, 2026, 9:27 p.m.