scientific article

zbMath0538.03008MaRDI QIDQ3323918

V. A. Talanov

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

asymptotic decidabilitysatisfiability ratio

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Infinitary logics and 0-1 laws

This page was built for publication: