English edit

Adjective edit

seminaïve (comparative more seminaïve, superlative most seminaïve)

  1. Alternative form of semi-naive
    • 2016, Christian Mancas, Conceptual Data Modeling and Database Design, →ISBN:
      Although it can almost entirely be considered as a (finite) specialization of mathematical logic (with its two parts corresponding to the closed and, respectively, open first order formulae), its roots come also from the seminaïve algebraic theory of sets, relations and functions, as well as from the computational complexity, computer programming, formal languages, etc.