Postdoc in Machine Learning on Graphs and Finite Model Theory
\(\mathfrak{A}, \mathrm{this\_url} \not\models \mathrm{page}(x)\).