parsimagma-greedy-cover | Carlo Perassi | Mathematics Distillation Challenge - Equational Theories - Stage2 | SAIR Foundation
A deterministic refuter, and more usefully, the ordering it searches in. If you are enumerating finite magmas to refute an implication, the order you try them...
Contributor Network · SAIR Foundation