PanLinx
русский
rus-000
точный вывод
English
eng-000
accurate derivation
English
eng-000
accurate development
日本語
jpn-000
緻密な推理
PanLex