unifikáció
C2
ਹੰਗਰੀਆਈ
unification
ਨਾਂਵ
C2
TECHNICAL
1
unification
C2
ਹਾਲੇ ਕੋਈ ਉਦਾਹਰਨ ਜੋੜੀਆਂ ਉਪਲਬਧ ਨਹੀਂ ਹਨ।
ਅਰਥ
matching expressions via substitutions
ਵਿਸ਼ੇ
logic
|computer_science
|variables
|symbolic_expressions
|automated_reasoning
|technology
|science
ਪਰਿਭਾਸ਼ਾ
In logic and computer science, the process of finding substitutions for variables that make two or more symbolic expressions exactly identical.
ਵਿਆਕਰਨ
ਹਾਲੇ ਵਿਆਕਰਨ ਸੰਬੰਧੀ ਵੇਰਵੇ ਉਪਲਬਧ ਨਹੀਂ ਹਨ।
ਅਭਿਵੈਕਤੀਆਂ
ਇਸ ਦਾਖਲੇ ਨਾਲ ਹਾਲੇ ਕੋਈ ਅਭਿਵੈਕਤੀ ਨਹੀਂ ਜੋੜੀ ਗਈ।