Anti-unification
id:
anti-unification-232-11474815
title:
Anti-unification
text:
Anti-unification is the process of constructing a generalization common to two given symbolic expressions. As in unification, several frameworks are distinguished depending on which expressions are allowed, and which expressions are considered equal. If variables representing functions are allowed in an expression, the process is called "higher-order anti-unification", otherwise "first-order anti-unification". If the generalization is required to have an instance literally equal to each input ex
brand slug:
wiki
category slug:
encyclopedia
description:
Logical generalization for symbolic expressions
original url:
https://en.wikipedia.org/wiki/Anti-unification
date created:
date modified:
2024-04-02T12:23:58Z
main entity:
{"identifier":"Q17003866","url":"https://www.wikidata.org/entity/Q17003866"}
image:
fields total:
13
integrity:
14