PanLinx
русский
rus-000
локально конечная игра
English
eng-000
locally finite game
PanLex
