Triple
T4765320
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Temporal Logic of Actions |
E105794
|
entity |
| Predicate | comparedWith |
P278
|
FINISHED |
| Object |
linear temporal logic
Linear temporal logic is a modal temporal logic used in computer science and formal methods to specify and reason about the behavior of systems over linear sequences of time, using operators that describe how properties evolve in the future.
|
E467810
|
NE FINISHED |
Provenance (5 batches)
| Stage | Batch ID | Job type | Status |
|---|---|---|---|
| creating | batch_69bd43f226fc8190b867cc249c2a9042 |
elicitation | completed |
| NER | batch_69bd65327af48190881c25763232c368 |
ner | completed |
| NED1 | batch_69be3a87741081909380c51ba4efed92 |
ned_source_triple | completed |
| NED2 | batch_69be3dd31c648190bfdac15fb85cfec9 |
ned_description | completed |
| NEDg | batch_69be3d444b888190b2df7433502604ff |
nedg | completed |
Created at: March 20, 2026, 1:21 p.m.