Edge Types
- IS_A
- HAS_TAG
- IS _SUBSET_OF
- implies/is sufficient cond for
- is necessary cond for
- generalizes
- invokes (e.g. (stone-weirstrauss theorem)-[:INVOKES]→[hausdorf space])
- applies to
- is a foundational result in the field of
Node Types
- Article
- Theorem
- Category
- tag