Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Logic / Automated theorem proving / Z notation / Set theory / S / Resolution / Equality / Mereology / Axiom of extensionality


Extensional Crisis and Proving Identity? Ashutosh Gupta1 , Laura Kov´acs2 , Bernhard Kragl1,3 , and Andrei Voronkov4 1 2
Add to Reading List

Open Document

File Size: 238,57 KB

Share Result on Facebook
UPDATE