[[!redirects decidable directed graph]] < [[nlab:directed graph]] category: redirected to nlab