待验证60% 置信事实时间未知
CRDT（无冲突复制数据类型）由Marc Shapiro等人于2011年正式提出，其数学基础是格理论（Lattice Theory）
2
来源数
60%
置信度
长期有效
时效性
2026/5/31
首次发现
来源
涉及实体
相关事实
待验证CRDT由Marc Shapiro等人于2011年正式提出，通过单调半格结构使并发修改合并时收敛到相同结果83% 相似待验证同态加密的理论基础可以追溯到2009年Craig Gentry的工作，他基于理想格数学结构首次证明了可以在密文上执行任意计算60% 相似待验证形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构58% 相似待验证形式化证明系统的理论基础来自类型论和Curry-Howard同构，任何逻辑漏洞都会导致类型检查失败57% 相似待验证Cronbach和Meehl在1955年提出了'法则网络'（nomological network）概念，用于验证构念效度56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/8322API
curl https://kongchang.com/api/v1/knowledge/claims/8322MCP
get_claim(id=8322)