. . "CTL"@en . . . . "Computation tree logic"@fr . . "2368191"^^ . "CTL"@ja . "1023"^^ . . . "logique du temps arborescent"@fr . . "CTL"@de . . . . . . . . . "Computation tree logic"@fr . . . . . . . . "183245254"^^ . . . "CTL"@fr . "en"@fr . . .