A finitely axiomatized formalization of predicate calculus with equality (Q1906674)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A finitely axiomatized formalization of predicate calculus with equality |
scientific article; zbMATH DE number 840799
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A finitely axiomatized formalization of predicate calculus with equality |
scientific article; zbMATH DE number 840799 |
Statements
A finitely axiomatized formalization of predicate calculus with equality (English)
0 references
4 February 1996
0 references
completeness
0 references
finite axiomatization
0 references
formalization of first-order predicate calculus with equality
0 references
condensed detachment
0 references
Zermelo-Fraenkel set theory
0 references
resolution-based theorem provers
0 references
0.91457814
0 references
0.9017911
0 references
0.8979223
0 references
0.8972094
0 references
0.89655954
0 references
0.8953373
0 references
