Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures (Q3379859)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7401642
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Refined definitions for finitary and infinitary similarity relations of theories. III: Scheme of standard transformations of theories, and signature reduction procedures |
scientific article; zbMATH DE number 7401642 |
Statements
27 September 2021
0 references
first-order logic
0 references
theory
0 references
model
0 references
interretation
0 references
algorithm
0 references
0.9301254749298096
0 references
0.7400166392326355
0 references
0.7267642021179199
0 references
0.7185765504837036
0 references
