Algebraic completion without the axiom of choice.

Published in: Math. Log. Q. (2022)

Keyphrases

higher order
knuth bendix
data sets
neural network
data mining
high quality
objective function
wireless sensor networks
inference rules
algebraic structure