unifikál
C2
ਹੰਗਰੀਆਈ
unify
ਕਿਰਿਆ
C2
TECHNICAL
1
unify
C2
ਵਰਤੋਂ ਦਾ ਢਾਂਚਾ:
unifikál két kifejezést / változót
ਹਾਲੇ ਕੋਈ ਉਦਾਹਰਨ ਜੋੜੀਆਂ ਉਪਲਬਧ ਨਹੀਂ ਹਨ।
ਅਰਥ
make expressions logically consistent
ਵਿਸ਼ੇ
computing
|formal_logic
|symbolic_processing
|constraints
|logic
|programming
ਪਰਿਭਾਸ਼ਾ
In computing and formal logic, to make two symbolic expressions compatible by finding substitutions that make them identical or consistent.
ਵਿਆਕਰਨ
ਹਾਲੇ ਵਿਆਕਰਨ ਸੰਬੰਧੀ ਵੇਰਵੇ ਉਪਲਬਧ ਨਹੀਂ ਹਨ।
ਅਭਿਵੈਕਤੀਆਂ
ਇਸ ਦਾਖਲੇ ਨਾਲ ਹਾਲੇ ਕੋਈ ਅਭਿਵੈਕਤੀ ਨਹੀਂ ਜੋੜੀ ਗਈ।