Unification when multiple copies of a formula are needed?

I'm coming from a logic and philosophy of logic background and am becoming more and more interested in comparing human theorem proving and automated theorem proving (ATP). At this stage, I'm...

04 August 2023 7,990 0 View