A $K$ counterexample machine (Q4257582)

From MaRDI portal
scientific article; zbMATH DE number 1329211
Language Label Description Also known as
English
A $K$ counterexample machine
scientific article; zbMATH DE number 1329211

    Statements

    Identifiers