No label defined (Q4270079)
From MaRDI portal
scientific article; zbMATH DE number 1361141
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1361141 |
Statements
19 July 2000
0 references
Isabelle/HOL theorem prover
0 references