English Satisfiability modulo theories Cited by user Citation bot on 31 Oct 2021 In computer science and mathematical logic, the satisfiability modulo theories (SMT) problem is a decision problem for logical formulas with respect to combinations of…
Hungarian Típuskövetkeztetés Cited by user GalKrisztian on 09 Jun 2021 A típuskövetkeztetés a kifejezés típusának automatikus felismerésére vonatkozik egy formális nyelven.
English Type inference Cited by user Citation bot on 22 Nov 2020 Type inference refers to the automatic detection of the type of an expression in a formal language.