跳到内容
请注意,GITHUB不再支持您的Web浏览器。

我们建议升级到最新版本。谷歌浏览器火狐.

了解更多
没有提供描述、网站或主题。
Prolog语言 Perl 6 Perl PLSQL HTML 其他
分支 硕士
克隆或下载
此时无法检索最新的提交。
此时无法检索最新的提交。
永久链接
类型 姓名 最新提交消息 提交时间
加载最新提交信息失败。
埃博特
MPTP2078
马尔萨斯
米扎尔
策略
TSTPRES
细粒碎片
学习
米兹
米尔吉特
万众档案
03DIV
04DIV
毫米波分割
MMLITIONI.1011
MMLDIVTEST.PL
MPTPARSESSPAST.PL
被制造
自述文件
C110
1132.PL
核对
CNFCYCL PL
结构名称
苯并芘
DBEV2.PL
丁苯碘
DFGRES.PL
DLI2HTML.PL
EnviuUTL.PL
E. PL
Er2PL
Er2xML.PL
萃取剂
聚类分析
1132.PL
固定利率
DCO2
安装程序MIZAR.SH
SimultMiSARSH WSH
MakExcel 1.PL
MKY-导数
MKI衍生产品
MKFulnCultual.PL
L.1011
MPTPH HTML.PL
白蚁属
TSTPRES2SSSH
应用程序设计语言
奥地利

自述文件

{非数值。TAR.GZ或DaSSsNo.No.No.No.No.DigiFig.DFG.TAR.GZ,并尝试找到您最喜欢的ATP:-)(如果您这样做,那么您就发现了一个bug,请用电子邮件发送给城市@ KTI。MFF.Cuni.Cz)。否则:* -将UTLL.PL的顶部的变量MLLIdir设置为DeXo中未包装的PL目录的位置。-如果您也想使用XML文件,则解开文件XML.TAR.GZ。MPTP 0.2(定理证明的MIZAL问题)——安装:---------------如果你只想证明一些问题,解开问题如果你想浏览HTML文档,就打开文件HTML.TAR.GZ。它将花费几乎600 MB。- Prolog文件仅使用SWI PROlog 5.2测试。{负载UTIL.PL到SWI。非数值MML文章的生成定理问题由运行MKYNORDENVICE / 0(约300篇文章和12500个问题)。-尝试通过运行MKYFLASST100/0来产生100个MML文章的生成定理问题。-尝试运行最新的证明器(www. EPREVAL.ORG针对这些问题,需要(T-标志中的TSTP)。通过运行谓词PrimtTythMyx和SyfDeSfFuxLeopy/0来创建MML定理证明的机器学习数据。它将在当前目录中创建文件“校对学习”。用于处理Prolog文件,学习/扩展UTIL.PL以满足您的需要。或者直接与丰富的XML文件(目录‘XML’)一起工作。文件的定义和定理及其证明参考,可用于MiZar证明顾问,如机器学习…这个文件…SWI可加载文件,带有漂亮的打印符号名称。将此加载到SWI中,问题将打印成类似MiZar的名称。用EPCR 0.9进行测试。包装的HTML语义解密的文章,解包到600 MB的MIZAR-7.601Y4.4.930I366LIUX-MPTP.TAR.GZ……自定义MIZAR分配器用于此MPTP。Linux版本4.489930在MPTP0.2版本发布时还没有正式发布,所以这是由Windows发行版发布的。二进制文件是一个更新版本(7.602),包括MPTP0.2所需的更改和编译的方案报告支持。下一个官方Linux发行版将默认所有这一切。MIZARD发行中的常规MIZAR文章列表TPTP语法中的非数字问题DFG语法中的压缩非数值问题处理结果形成增量AI辅助ATP(E和SPASS),在非数值问题上运行。可以与原始MML证明和各种数据挖掘进行比较。格式是:证明(定理,文件,目录,背景,信息)。打包XML目录-大约2GB解包的UTIL.PL…Prolog实用程序用于生成ATP问题等。关于MPTP和MIZAR XML的文章。定制的MiZar发行版用于这个MPTP版本,这里解包。Prolog版本的MML,一些XML文件还没有翻译成Prolog。参见文档/MPTP2.PS文档,以及www. tPTP.ORG用于TPTP和TSTP格式的文档。定理文件.pL/*.dCO2…构造函数文件.pL/*.dcL2。集群文件。环境文件。方案文件.pL/*.xML2..包含文章的所有命题的文件,以及对文章中所有局部常量的排序声明。使用UTILS.PL生成的ATP问题放在这里。消除歧义的文章形式,有助于学习定理和定义;不需要任何问题的产生。各种简单的实用工具……XML/…丰富的MIZAR XML文件,如果只在Prolog中工作,则不需要。参见文档/ MIXXML.PS的一些文档,以及XMLDOC//Z对应的方案。构造函数文件.xML/*.xML1。一篇文章的完整描述。MIZAR XML格式的文档xxSL/…用XSL脚本创建MPTP的目录。参见文档/ MIXXML.PS的一些文档。从普通的MIZAR XML XSL/MIZPL.XSL创建丰富的MIZAR XML…从丰富的MIZAR XML XSL/MIZ.XSL创建Prolog MPTP文件…从正常的MIZAR XML XXS/CulnNAMS.xSL创建HTML文档。将映射打印到漂亮的打印名“许可证”:“GPL”
此时不能执行此操作。