2021-09-16 A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm
published | article | CC BY-NC-ND

What is a "Work"?

A Fatcat "work" groups a set of releases that are all editings or editing stages of the same intellectual contribution. For example, a pre-print and a published article may contain small differences, but still reference the same underlying "work".