PanLinx: automatizirano zaključivanje

hrvatski	hrv-000
automatizirano zaključivanje

English	eng-000	automated deduction
English	eng-000	automated inferencing

PanLex-PanLinx