unifier
unifier (n)
- plural
- unifiers
English Definitions:
unifier (Noun)
Agent noun of unify; one who unifies.
unifier
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
unifier
Citation
Use the citation below to add this dictionary page to your bibliography:
Style:MLAChicagoAPA
"unifier." Kamus.net. STANDS4 LLC, 2024. Web. 28 Mar. 2024. <https://www.kamus.net/english/unifier>.
Discuss this bahasa indonesia unifier translation with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In