information about Computation tree logic field

Computation tree logic

https://www.wikidata.org/wiki/Q1040040
Field Hierarchy
Parent
Computer science
54.8M papers
Mathematics
21.1M papers
Philosophy
20.3M papers
Programming language
7.2M papers
Epistemology
5.4M papers
Algorithm
4.5M papers
Theoretical computer science
615k papers
Model checking
19.9k papers
Temporal logic
6,546 papers
Linear temporal logic
3,551 papers
Current
Computation tree logic
1,557 papers
Child
Trends