Probabilistic characterisation of models of first-order theories
scientific article; zbMATH DE number 7260110
scientific article