Random triples
| Subject | Object |
|---|---|
| gptkb:colored_Petri_nets | gptkb:Coloured_Petri_Nets:_Basic_Concepts,_Analysis_Methods_and_Practical_Use_(book) |
| gptkb:Algebraic_data_type | gptkb:logic |
| gptkb:probability_theory | 20th century |
| gptkb:I/O_automaton | theory of distributed systems |