scientific article

From MaRDI portal

Publication:3804238

Jump to:navigation, search

zbMath0656.68105MaRDI QIDQ3804238

Larry M. Hines

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automatic proofs hyper-chaining knowledge-based theorem proving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Str∔ve and integers, Ordered chaining for total orderings

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