Random triples
| Subject | Object |
|---|---|
| gptkb:Real_number | Division (except by zero) |
| gptkb:Real_number | Multiplication |
| gptkb:Two-sided_ideal | Addition |
| gptkb:Real_number | Subtraction |
| gptkb:Real_number | Addition |
| gptkb:sofic_shift | complementation |
| gptkb:Two-sided_ideal | Multiplication by any ring element |
| gptkb:sofic_shift | finite union |
| gptkb:sofic_shift | finite intersection |
| gptkb:sofic_shift | factor maps |