/subjects/AUTOMATH_(Formal_language)
Type: /type/subject
name: AUTOMATH (Formal language)