Login / Signup
The strength of the Grätzer-Schmidt theorem.
Katie Brodhead
Mushfeq Khan
Bjørn Kjos-Hanssen
William A. Lampe
Paul Kim Long V. Nguyen
Richard A. Shore
Published in:
Arch. Math. Log. (2016)
Keyphrases
</>
von neumann
social networks
data sets
neural network
similarity measure
bayesian networks
natural language
relational databases
color images
interactive theorem proving