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

BNF由约翰·巴科斯和彼得·诺尔在1960年代为描述ALGOL语言语法而发明

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

DSL如何让大语言模型输出更可靠：原理与实践

相关事实

待验证BNF由John Backus和Peter Naur在1960年代为ALGOL 60语言规范设计77% 相似待验证BASIC语言最初由达特茅斯学院John Kemeny和Thomas Kurtz于1964年设计64% 相似待验证程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统64% 相似待验证自然语言编程概念早在1970年代就有学者提出58% 相似待验证博弈论由约翰·冯·诺依曼和奥斯卡·摩根斯坦在1944年奠基，后经约翰·纳什等人发展完善57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/532402

API

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

MCP

get_claim(id=532402)