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

BNF由John Backus和Peter Naur在1960年代为ALGOL 60语言规范设计

2

来源数

60%

置信度

长期有效

时效性

2026/7/14

首次发现

来源

本地7B量化模型信息抽取：难点分析与工程优化策略

相关事实

待验证BNF由约翰·巴科斯和彼得·诺尔在1960年代为描述ALGOL语言语法而发明77% 相似待验证FORTRAN的发明者John Backus曾将高级语言的意义概括为让数学家而非机器操作员来编写程序55% 相似待验证BASIC语言最初由达特茅斯学院John Kemeny和Thomas Kurtz于1964年设计54% 相似待验证N-version programming（N版本编程）思想最早由Liming Chen和Algirdas Avizienis在1978年提出51% 相似待验证程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/504398

API

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

MCP

get_claim(id=504398)