tera.ai

Knowledge Graph

Graph explorer

Search resolved entities, walk their edges, and read the sentence behind every one.

Entities25 of 207,987

All entities

Entity

Timed Rebeca

technology1 mentionslast seen Sep 18, 2026

Actor-based modelling language supporting reactive, concurrent, and timed behaviors for model-checking multi-agent systems.

Relationships 3

Timed Rebeca

Relationship

Timed Rebecaimplementsmodel checking

85% confidence1 supporting mentions

Either name opens that entity’s relationships.

Sources 1