Extensional Crisis and Proving Identity (Q3457789): Difference between revisions
From MaRDI portal
Latest revision as of 20:49, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extensional Crisis and Proving Identity |
scientific article |
Statements
Extensional Crisis and Proving Identity (English)
0 references
17 December 2015
0 references
extensionality
0 references
Vampire
0 references
extensionality resolution
0 references