PanLinx
English
eng-000
automated deduction
hrvatski
hrv-000
automatizirano zaključivanje
PanLex
