Hakuluettelo:
Käännös:
paramodulation (suomeksi)
- Määritelmät:
- (lb, en, logic) A technique for reasoning on sets of clauses where the predicate symbol is equality.
Viimeisimmät haut: paramodulation, genkans, escape artist, hyperconnected, cosmopolitanised, capital structure