Terms for subject Artificial intelligence containing strong

English	German
strong equivalence	strenge Äquivalenz (bei Parsing und Grammatik)
strong nonprovability test	Test auf Unmöglichkeit eines strengen Beweises