「atomic proposition」を含む例文一覧(1)

  • The whole property is inspected in a customized method composed of repeated call of the property inspection schema related to each of the operators F(p), G(p), U(p, q), and X(p), and a standard process to an atomic proposition and Boolean operator.
    特性全体は、Ｆ（ｐ）、Ｇ（ｐ）、Ｕ（ｐ， ｑ）、Ｘ（ｐ）の各演算子に関する特性検査スキーマの反復呼び出しと、原子命題およびブール演算子の標準的な処理で構成されるカスタマイズされた方法で検査される。 - 特許庁

例文データの著作権について

  • 特許庁
    Copyright © Japan Patent office. All Rights Reserved.