「unsatisfiability」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

When the unsatisfiability of both the path conditions is true, it is reported that the method is a validator (112, 120).例文帳に追加

いずれのパス条件の不充足可能性も真である場合、メソッドは、バリデータであるとして報告する（１１２、１２０）。 - 特許庁

When unsatisfiability of both the path conditions is false, it is reported that the method is not a validator (110, 118).例文帳に追加

いずれのパス条件の不充足可能性も偽である場合、メソッドは、バリデータではないとして報告する（１１０、１１８）。 - 特許庁

This will require systematic generation of the members of the Herbrand Universe, obtaining ground clauses, and testing the ground clauses for unsatisfiability. 例文帳に追加

このことは, 基礎節を取得し, 充足不能性に対してその基礎節をテストしながら, エルブラン領域のメンバを系統的に創出することを求める. - コンピューター用語辞典