Noun, Suru verb, Transitive verb, Noun which may take the genitive case particle 'no'
1. derivation (e.g. in math, logic); drawing (conclusion, summary etc.); leading (e.g. to a conclusion, opinion, etc.)
Wikipedia definition
2. Resolution (logic)In mathematical logic and automated theorem proving, resolution is a rule of inference leading to a refutation theorem-proving technique for sentences in propositional logic and first-order logic.
Read “Resolution (logic)” on English Wikipedia
Read “導出” on Japanese Wikipedia
Read “Resolution (logic)” on DBpedia


to talk about this word.