Decidability and completeness for open formulas of membership theories (Q1903592)
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: Decidability and completeness for open formulas of membership theories |
scientific article; zbMATH DE number 824605
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability and completeness for open formulas of membership theories |
scientific article; zbMATH DE number 824605 |
Statements
Decidability and completeness for open formulas of membership theories (English)
0 references
13 May 1996
0 references
decidability
0 references
open formulas
0 references
completeness
0 references
extensionality axiom
0 references
regularity axiom
0 references
antifoundation axiom
0 references
0 references
0 references
0.7913178205490112
0 references
0.779188871383667
0 references
