Canonicalization in the PrIKL Reasoner.
JSW(2013)
摘要
Many objects in the PrIKL Reasoner have a canonical representation. This representation and its implementation required a number of choices with ramifications. This paper describes the choices, their consequences, and some of the more interesting implementation details. This information will be helpful in understanding the implementation of PrIKL, particular for implementors of PrIKL plugins. It may also be helpful in designing systems with similar representational problems.
更多查看译文
关键词
reasoner,canonical representation,prover
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要