["Te",["Temporal Logic"],[""],["https://pdkb.chivanet.org/wiki/index.php/Temporal_Logic"]]