scientific article; zbMATH DE number 4181312

zbMATH Open0717.03010MaRDI QIDQ3204447FDOQ3204447

Authors: V. V. Knyazev 

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

many-sorted first-order logicasymptotic 0-1 lawasymptotic satisfiability of formulas

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25)

Cited In (2)

• The Kolmogorov expressive power of Boolean query languages
• Zero-one laws for first-order formulas with a bounded quantifier depth

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204447)