No label defined (Q6179339)

From MaRDI portal
Revision as of 15:37, 21 August 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7779755
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7779755

    Statements

    0 references
    16 December 2023
    0 references
    Erdős-Szekeres theorem
    0 references
    empty hexagon theorem
    0 references
    higher-dimensional point set
    0 references
    acyclic chirotope
    0 references
    oriented matroid
    0 references
    \(k\)-gon
    0 references
    \(k\)-hole
    0 references
    Boolean satisfiability (SAT)
    0 references
    computer-assisted proof
    0 references
    automated reasoning
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references