Random triples
| Subject | Object |
|---|---|
| gptkb:Event-B | gptkb:mathematical_concept |
| gptkb:First-Order_Logic | = |
| gptkb:First-Order_Logic | ¬ (not) |
| gptkb:Job-shop_scheduling | J||ΣCj |
| gptkb:First-Order_Logic | ∃ (there exists) |
| gptkb:Job-shop_scheduling | J||ΣTj |
| gptkb:Euclidean_space_(where_the_metric_is_positive-definite) | R^n |
| gptkb:First-Order_Logic | ∧ (and) |
| gptkb:Job-shop_scheduling | J||Cmax |
| gptkb:First-Order_Logic | → (implies) |
| gptkb:Job-shop_scheduling | J||Lmax |
| gptkb:First-Order_Logic | ∨ (or) |
| gptkb:First-Order_Logic | ∀ (for all) |