德国地方公民投票诉讼制度在理论和实践上均比较成熟。
The referendum litigation institution in German local layer is mature both in theory and practice.
因此，速度和强度的研究在理论和实践上都具有重要意义。
Therefore, the research of the speed and strength has important meanings in theory and practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
The research in mechanical theorem proving has great significance in the theory and the practice.
应用推荐