Navigation
■ I: Foundations ■ II: O-series ■ III: Q + Apps
Edge status
proved
conditional
postulated
interpretive
withdrawn
dependency (not yet typed as a claim)
synthesis
A proved node does not make its outgoing edges proved. Untyped substantive links default to
dependency and carry no derivational status.
Click a node to inspect it.
Use topic buttons or the search box to highlight thematic clusters.
Any selection auto-zooms to the highlighted papers.
Use topic buttons or the search box to highlight thematic clusters.
Any selection auto-zooms to the highlighted papers.