載入...
Deciding Simple Infinity Axiom Sets with One Binary Relation by Means of Superpostulates
Modern logic engines widely fail to decide axiom sets that are satisfiable only in an infinite domain. This paper specifies an algorithm that automatically generates a database of independent infinity axiom sets with fewer than 1000 characters. It starts with complete theories of pure first-order lo...
Na minha lista:
| 發表在: | Automated Reasoning |
|---|---|
| Main Authors: | , |
| 格式: | Artigo |
| 語言: | Inglês |
| 出版: |
2020
|
| 主題: | |
| 在線閱讀: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324131/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51074-9_12 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|