Matches in DBpedia 2015-10 for { ?s ?p "In model theory, a branch of mathematical logic, two structures M and N of the same signature σ are called elementarily equivalent if they satisfy the same first-order σ-sentences.If N is a substructure of M, one often needs a stronger condition."@en }
Showing triples 1 to 1 of
1
with 100 triples per page.