No label defined (Q4885912)
From MaRDI portal
scientific article; zbMATH DE number 910750
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 910750 |
Statements
9 February 1997
0 references
logical graph
0 references
schematic regular proof systems
0 references
interpolation theorem
0 references