Assertion list
digital computer (subgroup of computer ) → CapableOf
Results from Ascent++: 2
digital computer → CapableOf → simulate any process of formal … 0.25
digital computer → CapableOf → solve problem 0.25