Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. (Q114254310)
Jump to navigation
Jump to search
scientific article published in 1983
Language | Label | Description | Also known as |
---|---|---|---|
English | Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. |
scientific article published in 1983 |
Statements
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. (English)
1 reference
L. Henschen
1 reference
B. Smith
1 reference
R. Veroff
1 reference
S. Winker
1 reference
L. Wos
1 reference
1 April 1983
1 reference
24
1 reference
2
1 reference