意味 |
equisatisfiableとは 意味・読み方・使い方
追加できません
(登録数上限)
Wiktionary英語版での「equisatisfiable」の意味 |
equisatisfiable
語源
equi- + satisfiable
形容詞
equisatisfiable (not comparable)
- (logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable または both are not).
-
2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv[1]:
- The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.
-
Further reading
- Equisatisfiability on Wikipedia.
|
意味 |
equisatisfiableのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのequisatisfiable (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
「equisatisfiable」のお隣キーワード |
weblioのその他のサービス
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |