Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5
From MaRDI portal
Publication:4981135
DOI10.1007/978-3-319-07248-7_14zbMath1444.68286OpenAlexW138008187MaRDI QIDQ4981135
Publication date: 24 June 2014
Published in: Formal Concept Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-07248-7_14
Knowledge representation (68T30) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Mathematical knowledge management (68V30)
Related Items (1)
This page was built for publication: Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5