Linear temporal logic

https://www.wikidata.org/wiki/Q1536492

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Algorithm 4.5M papers
Theoretical computer science 615k papers
Current
Linear temporal logic 3,551 papers
Child
Computation tree logic 1,557 papers	Interval temporal logic 1,243 papers	Temporal logic of actions 504 papers

Trends

Notes

History