4 ms·Let's add all the work on finding decision procedures for all of mathematics to that listby rs86 8y agoLet's add all the work on finding decision procedures for all of mathematics to that list