Triple
T2330606
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Moshe Y. Vardi |
E48391
|
entity |
| Predicate | hasPublishedIn |
P309
|
FINISHED |
| Object |
Proceedings of the IEEE Symposium on Logic in Computer Science
Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
|
E256021
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69a88aa308a88190b0b86c011fda7fce |
elicitation | completed |
| NER | batch_69abc669956881908b8d9784d6a06acf |
ner | completed |
| NED1 | batch_69ae8974ab8c81908ec2bddcc882cf42 |
ned_source_triple | completed |
| NED2 | batch_69ae8a895b6c8190bfd064742e3cc4f8 |
ned_description | completed |
| NEDg | batch_69ae8a084b388190a6d79df8d94b236d |
nedg | completed |
Created at: March 4, 2026, 7:50 p.m.