待验证50% 置信事实精确时间
蓝图方法最早由帕特里克·马瑟开发工具链支持，用于组织形式化证明的大型协作项目
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/7
首次发现
有效期至：2026/12/6
来源
涉及实体
引用此条事实
Stable URI
https://kongchang.com/claim/870176API
curl https://kongchang.com/api/v1/knowledge/claims/870176MCP
get_claim(id=870176)