Expert systems
Statement
Knowledge-based systems; DENDRAL. Proved in ZFC.
Source
ACM Turing Award 1994. Knowledge-based systems; DENDRAL. Proved in ZFC.
Domains
computer-science
Knowledge-based systems; DENDRAL. Proved in ZFC.
ACM Turing Award 1994. Knowledge-based systems; DENDRAL. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/feigenbaum-turing-1994/