待验证95% 置信事实时间未知
语义化版本规范（SemVer）由Tom Preston-Werner提出
1
来源数
95%
置信度
长期有效
时效性
2026/5/31
首次发现
来源
Synopsys Unified GitHub Action v6.0.0发布：升级要点与迁移指南
twitterGitHubActions
涉及实体
相关事实
待验证1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算58% 相似待验证Hochreiter与Schmidhuber在1997年最早提出平坦极小值与更好泛化相关联的直觉57% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法56% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的55% 相似待验证Müller-Brockmann在其1961年出版的著作《平面设计中的网格系统》中将网格系统方法论完整文本化55% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/7586API
curl https://kongchang.com/api/v1/knowledge/claims/7586MCP
get_claim(id=7586)