4 ms·And those abstractions need to be encoded using symbolic and formal logic.by bpt3 1y agoAnd those abstractions need to be encoded using symbolic and formal logic.