待验证50% 置信事实精确时间
程序切片由Mark Weiser于1981年提出，目标是找出所有可能影响程序某点某变量值的语句集合
1
来源数
50%
置信度
长期有效
时效性
2026/8/31
首次发现
来源
涉及实体
相关事实
待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法56% 相似待验证Chandy-Lamport算法由计算机科学家K. Mani Chandy与Leslie Lamport于1985年提出54% 相似待验证LLL算法以其发明者Lenstra、Lenstra和Lovász命名，于1982年提出，能在多项式时间内找到一组约简基53% 相似待验证潜在语义分析（LSA）由Deerwester等人于1990年提出，通过对共现矩阵进行奇异值分解获取低维表示53% 相似已验证环境计算（Ambient Computing）概念由施乐 PARC 研究员 Mark Weiser 于 1991 年提出，核心理念是让计算能力隐入环境以不打扰的方式服务人类53% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/830310API
curl https://kongchang.com/api/v1/knowledge/claims/830310MCP
get_claim(id=830310)