network profile
| bio | website | |
|---|---|---|
| location | ||
| age | ||
| visits | member for | 1 year |
| seen | Nov 27 '12 at 17:15 | |
| stats | profile views | 2 |
|
Apr 29 |
awarded | Supporter |
|
Apr 29 |
comment |
Does Mathematica use first order or second order order unification? Thank you! Could you explain the difference between unification and matching for I think the difference isn't clear in my head. |
|
Apr 28 |
awarded | Student |
|
Apr 28 |
comment |
Does Mathematica use first order or second order order unification? In Second order unification, it is possible to replace a pattern variable with a function: |
|
Apr 28 |
comment |
Does Mathematica use first order or second order order unification? Just to clarify the difference between first order and second order unification. |
|
Apr 28 |
asked | Does Mathematica use first order or second order order unification? |
