Extensional Crisis and Proving Identity (Q3457789)
From MaRDI portal
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