検索結果

ナビゲーションに移動 検索に移動

  • クレイグの補間定理
    クレイグの補間定理は、一貫性の証明、[[モデル検査]]、[[モジュール]][[仕様記述言語|仕様]]の証明、モジュール[[オントロジー]]の証明などに使われる。 …
    3キロバイト (177 語) - 2022年8月1日 (月) 11:09
  • TLA+
    [[Category:仕様記述言語]] …
    55キロバイト (4,344 語) - 2022年10月27日 (木) 15:29
  • Communicating Sequential Processes
    26キロバイト (1,627 語) - 2024年11月26日 (火) 21:53
「https://ja.wiki.beta.math.wmflabs.org/wiki/特別:検索」から取得