待验证50% 置信事实精确时间
Pellet 推理器由马里兰大学开发，支持增量推理（Incremental Reasoning）
1
来源数
50%
置信度
长期有效
时效性
2026/7/22
首次发现
来源
相关事实
待验证计算思维（Computational Thinking）概念由卡内基梅隆大学教授Jeannette Wing于2006年正式提出，涵盖分解、模式识别、抽象、算法设计四个核心维度57% 相似待验证1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算56% 相似待验证帕累托最优概念源自意大利经济学家维尔弗雷多·帕累托的理论53% 相似待验证Claude Scholar在选题构思阶段采用5W1H头脑风暴法，将模糊想法转化为具体研究问题53% 相似待验证Hoare逻辑由计算机科学家Tony Hoare于1969年提出，通过前置条件—程序语句—后置条件三元组对程序正确性做出数学演绎证明52% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/585969API
curl https://kongchang.com/api/v1/knowledge/claims/585969MCP
get_claim(id=585969)