is_closed (view)
13 rows
This data as json, CSV (advanced)
| name |
|---|
| Ab |
| FinSet |
| SSet |
| Eff |
| Ban_k |
| Pos |
| 2 |
| Ch.(Vect_k) |
| Vect_k |
| NormAb |
| DSet |
| 2Cat |
| Set* |
Advanced export
JSON shape: default, array, newline-delimited
CREATE VIEW "is_closed" AS select category as name from enrichments where category = homs;