mathematicallyDefinedBy
                    2
                    triples
                
                
                    GPTKB property
                
            Random triples
| Subject | Object | 
|---|---|
| gptkb:Finite_State_Model | 5-tuple (Q, Σ, δ, q0, F) | 
| gptkb:Non-cooperative_games | Players, strategies, payoffs |