你即將離開本站

並前往https://arxiv.org/pdf/2109.09591

arXiv:2109.09591v1 [math.LO] 20 Sep 2021

axioms care about disjunctions (and universal quantifiers). See e.g. Kashima [12] for some fundamental ... (Bot). External structural rules.

確定！ 回上一頁

查詢 「Kashima bot」的人也找了：

  1. Kashima bot
    2.
  2. MusicBot
    3.
  3. Discord music bot
    4.
  4. Melijn bot
    5.
  5. Yui bot
    6.
  6. Maki Discord bot
    7.
  7. Paimon bot
    8.
  8. Waifu bot
    9.