Taxonomic syntax for first order inference

From MaRDI portal

Publication:5286163

Jump to:navigation, search

DOI10.1145/151261.151264zbMath0770.68105OpenAlexW2125402034MaRDI QIDQ5286163

David Allen McAllester, Robert L. Givan

Publication date: 29 June 1993

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1721.1/6507

zbMATH Keywords

automated reasoning proof theory deduction proof systems computational logic polynomial time algorithms inference rules mechanical verification mechanical theorem proving machine inference

Mathematics Subject Classification ID

Related Items (4)

Limited reasoning in first-order knowledge bases ⋮ Socratic trees ⋮ Tarskian set constraints ⋮ Inferring program specifications in polynomial-time

This page was built for publication: Taxonomic syntax for first order inference

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5286163&oldid=19939635"