预印本开放获取
Coherence Maintenance as a Recognition Bound in Observer-Coupled Systems
Michael Schaeffer
来源Zenodo (CERN European Organization for Nuclear Research)
年份2026
内容与影响
摘要 · 完整
Two axioms, fourteen theorems, four corollaries. Machine-verified: Z3 (17/17 UNSAT), Lean 4 (0 errors), Coq (0 errors), SymPy (16/16), Hypothesis (1.2M attempts, 0 failures), Cathedral (7/7). Verification report included. R=C-A.
逐年被引趋势
暂无年度引用数据
关键指标
0
被引次数 · OpenAlex
-
领域内被引倍数
同类平均 = 1
同类平均 = 1
-
引用位次
同领域 · 同年份 · 同类型
同领域 · 同年份 · 同类型
0
参考文献
Google Scholar 与 OpenAlex 的被引统计范围不同，数值存在差异属正常。
AI 辅助阅读
依据：摘要
论文问答
依据：摘要 · 当前未解析全文
回答优先基于摘要、文献信息与可获取全文；依据不足时会明确说明。
学术脉络
学科主题
计算机 / AIFormal Methods in Verification
Distributed systems and fault tolerance · Software System Performance and Reliability
参考文献 0
暂无参考文献明细
施引文献 -
暂无施引文献