伊尔夫塞西奥

ILF SESEO:自然语言输出的处理模型消除证明。在所有需要阅读和理解塞西奥发现的证据的情况下,ILF-Setho是一个必不可少的工具。即使对于熟悉我的用户,这个工具也有助于构造更大的证据并使它们易于理解(可打印)。它的胶乳后处理特性允许一个证明以其原始的面向问题的符号来表示,而不是Setho难以读取的ASCII前缀表示法。对于ATP的各种应用,其中需要实际的证明(而不只是一个是/否的答案),ILF SeTeo是一个重要的工具(例如,用于验证[11 ])。它的BC更适合于组合来自不同的证明者的证明。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。