The following pages link to (Q4539609):
Displayed 4 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- Efficient instance retrieval with standard and relational path indexing (Q2486586) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- On the Saturation of YAGO (Q5747783) (← links)