provability

1. So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.
   从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。
2. Since the concept of materiality has been absorbed into the concept of relevance, the issue of relevance in the evidence law of common law system comprises two components, provability and materiality.
   在大陆法系国家，由于受自由心证制度和职权主义诉讼模式的影响，证据的相关性问题同样没有受到立法和学理上的重视。
3. In the distributed computing environments such as wireless network, the key exchange protocol with mutual authentication is critical to the following secure sessions between communicators and more attentions are paid to the provability of the protocol security.
   在基于无线网络的分布式环境中，带认证的密钥协商协议对通信双方是否能够建立安全的会话至关重要。
4. More over we have improved the prolog program for an integer partitioning problem by means of the specification structure and make it a case study in design for provability.
   同时，以整数划分问题的Prolog改进程序和证明为例，说明程序设计应立足于程序说明和程序正确性的证明。
5. The watermark provability has greatly improved compared with traditional algorithms. At last, modifications of the present scheme are proposed and look forward to the development of digital watermarking.
   就水印的可证明性方面和传统的算法相比有很大的改进，之后提出对该方案还需要继续改进的地方，对数字水印的发展进行展望。
6. The author also thinks that the criterion to judge the relevance includes three connotations: materiality, provability and competence, the key is the limit qualitative rule of the probative value.
   笔者认为，在证据关联性规则中，关联性的判断标准包含实质性、证明性、适格性三个方面内涵，其关键是对证明力的定性限定规则。

noun

1. capability of being demonstrated or logically proved

   Synonym:    demonstrability