PanLinx: ситуационное исчисление

русский	rus-000
ситуационное исчисление

English	eng-000	situation calculus
English	eng-000	situational calculus

PanLex-PanLinx