en valuation (n)
― HasContext ⟶
Weight: 1.0
en first order logic Source: English Wiktionary
en first order logic (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary