scientific article; zbMATH DE number 194550
From MaRDI portal
Publication:4692514
zbMath0715.68078MaRDI QIDQ4692514
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
knowledge representationcongruence closureBoolean constraint propagationautomatic universal generalizationfocused bindingobject oriented deduction
Knowledge representation (68T30) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
Natural language syntax and first-order inference ⋮ On Shostak's decision procedure for combinations of theories ⋮ Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
This page was built for publication:
