/subjects/Verification_(Logic)
Type: /type/subject
name: Verification (Logic)