On the other hand, it is still semi-decidable, and a number of sound and complete calculi have been developed, enabling fully automated systems.
一方、半決定的で健全で完全な計算方法が開発されており、完全自動システムを構築することが可能である。