Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas (Q5858130): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 05:48, 7 March 2024

scientific article; zbMATH DE number 7332114
Language Label Description Also known as
English
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas
scientific article; zbMATH DE number 7332114

    Statements

    Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas (English)
    0 references
    9 April 2021
    0 references
    random hypergraphs
    0 references
    convergence law
    0 references
    random SAT
    0 references
    asymptotic probability
    0 references
    unsatisfiability certificate
    0 references

    Identifiers