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

EBNF在BNF基础上引入了?（可选）、*（零次或多次）、+（一次或多次）等量词

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

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

相关事实

待验证C标准中的未定义行为（UB）涵盖有符号整数溢出、空指针解引用、越界数组访问等操作，C标准对其结果不作任何保证53% 相似待验证MQTT的QoS分为0、1、2三个等级，分别对应最多一次、至少一次、恰好一次的消息投递语义，最小报文头仅2字节52% 相似待验证e3nn等框架中的张量积层基于CG系数实现等变的非线性特征混合51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/530842

API

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

MCP

get_claim(id=530842)