1982/01/01 by Neil V. Murray · 2 citations
Computer Science · Mathematics · #Algorithm #Artificial intelligence #Automated theorem proving #Calculus (dental) #Completeness (order theory) #Computer science #Conjunctive normal form #Discrete mathematics #First-order logic #Formal Methods in Verification #Inference #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Natural deduction #Predicate (mathematical logic) #Predicate logic #Programming language #Resolution (logic) #Rule of inference #Simple (philosophy)
paper · doi:10.1016/0004-3702(82)90011-x
crossref issued 1982/01/01 · crossref published 1982/01/01 · crossref published-print 1982/01/01 · openalex publication_date 1982/01/01 · crossref created 2003/03/14 · crossref deposited 2019/03/26 · openalex created_date 2025/10/10 · crossref indexed 2025/10/11 · openalex updated_date 2026/07/28