boolean algebra primary subject, 4 assertions
There are no subgroups or aspects for boolean algebra in Ascent++.
CapableOf 2
provide theoretical gro… 0.68
consist of rule 0.25
HasProperty 1
isomorphic 0.41
IsA 1
the algebra of sets 0.25