A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm

This table only shows accepted edits included in the catalog, not any work-in-progress.

Changelog	Editgroup	Description
#5733406 2022-02-07 22:52	`j.sprinz` `editgroup_6bshfbwbnbbwxcxxi5rnb2kdda` [view]	abstracts
#5728575 2022-02-05 00:50	`j.sprinz` `editgroup_cphcshsojnd5ve2z2wswedhgzq` [view]	fix metadata as commented in editgroup_pma4tjkjvngglnhcllrchks52a
#5728477 2022-02-04 20:11	`j.sprinz` `editgroup_gjgvzt6c5jdtddtkj5herxjtse` [view]	Add some works by Johannah Sprinz

A brief Introduction to First-Order Logic Unification at the example of Corbin and Bidoit's variation of Robinson's Unification Algorithm `release_b2graaepdfhn7ayluo45gholyu`