Статистика для Разработка системы изучения комбинаторных техник редукции аппликативных выражений на основе сервис-ориентированной архитектуры