No label defined (Q4287512)
From MaRDI portal
scientific article; zbMATH DE number 549993
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 549993 |
Statements
9 October 1994
0 references
open first-order theories
0 references
proof procedure
0 references
connection method
0 references