PanLinx
русский
rus-000
эквивалентные теории
English
eng-000
equivalent theories
PanLex
