(Q1040040)
Statements
Identifiers
Sitelinks
Wikipedia(8 entries)
- dewiki Computation Tree Logic
- elwiki Λογική υπολογιστικού δένδρου
- enwiki Computation tree logic
- fawiki منطق درخت محاسباتی
- jawiki 計算木論理
- kowiki 계산 트리 논리
- plwiki Logika CTL
- ptwiki Lógica de Árvore de Computação