Unverified90% confidenceFactExact time
Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct
1
Sources
90%
Confidence
Long-term
Relevance
8/2/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedLeslie Kaelbling在1998年发表的经典论文提出了高效的POMDP近似求解算法61% similarVerified卡尔曼滤波算法最早由Rudolf Kálmán于1960年提出57% similarUnverified拓扑优化起源于1988年Bendsøe和Kikuchi的论文，通过迭代算法在给定设计空间内寻找最优材料分布方案57% similarUnverified检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法57% similarUnverified约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/680611API
curl https://kongchang.com/api/v1/knowledge/claims/680611MCP
get_claim(id=680611)