Unverified60% confidenceFactTime unknown
CRDT (Conflict-free Replicated Data Type) was formally proposed by Marc Shapiro et al. in 2011, with its mathematical foundation being Lattice Theory.
2
Sources
60%
Confidence
Long-term
Relevance
5/31/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedCRDT was formally proposed by Marc Shapiro et al. in 2011; through a monotonic semilattice structure, concurrent modifications converge to the same result when merged.83% similarUnverified同态加密的理论基础可以追溯到2009年Craig Gentry的工作，他基于理想格数学结构首次证明了可以在密文上执行任意计算60% similarUnverified形式化证明系统如Lean、Coq、Isabelle的底层基础是马丁-洛夫类型论，其核心思想来自Curry-Howard同构58% similarUnverified形式化证明系统的理论基础来自类型论和Curry-Howard同构，任何逻辑漏洞都会导致类型检查失败57% similarUnverifiedCronbach和Meehl在1955年提出了'法则网络'（nomological network）概念，用于验证构念效度56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/8322API
curl https://kongchang.com/api/v1/knowledge/claims/8322MCP
get_claim(id=8322)