file_rev_cf631863-3440-48c9-883a-63410ff28f9f
Associated Releases
| 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 |
Public Access URLs
| web |
https://www.cip.ifi.lmu.de/~sprinz/sprinz_2021_unification.pdf
|
| webarchive |
https://web.archive.org/web/20220204201209/https://www.cip.ifi.lmu.de/~sprinz/sprinz_2021_unification.pdf
|
Data Integrity Checksums
| SHA-1 | 643ec312d0e6a76556ac6b66d58525cc0459822b
|
Size 439.5 kB
Revision
This is a specific, static metadata record, not necessarily linked to any current entity in the catalog.