Triple
T11016081
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Amir Pnueli |
E260368
|
entity |
| Predicate | doctoralThesisTitle |
P1860
|
FINISHED |
| Object |
Decision Problems in the Theory of Automata
"Decision Problems in the Theory of Automata" is the doctoral thesis of computer scientist Amir Pnueli, focusing on foundational questions about the solvability and complexity of problems related to automata theory.
|
E900194
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69d6aa9687448190b28d353b1b6a610e |
elicitation | completed |
| NER | batch_69d797a558a08190bdb5779faa9adf05 |
ner | completed |
| NED1 | batch_69e374d371ec8190aba9e77346c6e876 |
ned_source_triple | completed |
| NED2 | batch_69e37c9439fc8190a69cfb1a13da4c19 |
ned_description | completed |
| NEDg | batch_69e37ab6ca788190ac41f9494ad9a47f |
nedg | completed |
Created at: April 8, 2026, 9:25 p.m.