主题
Search

埃尔布朗基


可以由来自斯柯伦范式的子句中的谓词符号和 埃尔布朗宇宙 H斯柯伦范式 S 中的项形成的所有基原子集合 S


参见

基原子, 埃尔布朗宇宙

此条目由 Alex Sakharov 贡献 (作者链接)

使用 Wolfram|Alpha 探索

引用为

Sakharov, Alex. "埃尔布朗基。" 来自 MathWorld——Wolfram 网络资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/HerbrandBase.html

主题分类