待验证90% 置信事实精确时间

Paxos was proposed by Leslie Lamport in 1989 and was the first consensus algorithm to be rigorously proven correct

1

来源数

90%

置信度

长期有效

时效性

2026/8/2

首次发现

来源

Deep Dive into Raft Leader Election: Building a Distributed Consensus Algorithm from Scratch

涉及实体

Paxosconcept Leslie Lamportperson

相关事实

待验证Leslie Kaelbling在1998年发表的经典论文提出了高效的POMDP近似求解算法61% 相似已验证卡尔曼滤波算法最早由Rudolf Kálmán于1960年提出57% 相似待验证拓扑优化起源于1988年Bendsøe和Kikuchi的论文，通过迭代算法在给定设计空间内寻找最优材料分布方案57% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法57% 相似待验证约束传播的思想最早可追溯至1970年代阿兰·马克沃斯对弧一致性算法的研究57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/680611

API

curl https://kongchang.com/api/v1/knowledge/claims/680611

MCP

get_claim(id=680611)