PanLinx
русский
rus-000
механизм металогических выводов
English
eng-000
superinference machine
PanLex
