Unverified50% confidenceFactExact time
1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法
1
Sources
50%
Confidence
Long-term
Relevance
8/19/2026
First Seen
Sources
Related Claims
UnverifiedThe Curry–Howard correspondence reveals the structural correspondence in which propositions correspond to types, proofs correspond to programs, and proof normalization corresponds to program execution, and was gradually discovered between 1934 and 196973% similarUnverifiedKen Thompson早在1968年的论文中就描述了高效的NFA模拟算法65% similarUnverifiedThe Physical Symbol System Hypothesis was proposed by Allen Newell and Herbert Simon in 197665% similarUnverifiedIn 1971, Stephen Cook proved the theory of NP-completeness.64% similarUnverifiedNP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/773075API
curl https://kongchang.com/api/v1/knowledge/claims/773075MCP
get_claim(id=773075)