Probabilities of first order sentences on sparse random relational structures: An application to definability on random CNF formulas
From MaRDI portal
Publication:6342580
DOI10.1093/logcom/exaa061arXiv2006.06099MaRDI QIDQ6342580
Publication date: 10 June 2020
Random graphs (graph-theoretic aspects) (05C80) Hypergraphs (05C65) Model theory of finite structures (03C13)
This page was built for publication: Probabilities of first order sentences on sparse random relational structures: An application to definability on random CNF formulas
