{"action":"created","issue":{"url":"https://api.github.com/repos/KWARC/mws/issues/93","labels_url":"https://api.github.com/repos/KWARC/mws/issues/93/labels{/name}","comments_url":"https://api.github.com/repos/KWARC/mws/issues/93/comments","events_url":"https://api.github.com/repos/KWARC/mws/issues/93/events","html_url":"https://github.com/KWARC/mws/issues/93","id":97429774,"number":93,"title":"Error in MWS unification?","user":{"login":"kohlhase","id":4037538,"avatar_url":"https://avatars.githubusercontent.com/u/4037538?v=3","gravatar_id":"","url":"https://api.github.com/users/kohlhase","html_url":"https://github.com/kohlhase","followers_url":"https://api.github.com/users/kohlhase/followers","following_url":"https://api.github.com/users/kohlhase/following{/other_user}","gists_url":"https://api.github.com/users/kohlhase/gists{/gist_id}","starred_url":"https://api.github.com/users/kohlhase/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kohlhase/subscriptions","organizations_url":"https://api.github.com/users/kohlhase/orgs","repos_url":"https://api.github.com/users/kohlhase/repos","events_url":"https://api.github.com/users/kohlhase/events{/privacy}","received_events_url":"https://api.github.com/users/kohlhase/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"Raduh","id":5207446,"avatar_url":"https://avatars.githubusercontent.com/u/5207446?v=3","gravatar_id":"","url":"https://api.github.com/users/Raduh","html_url":"https://github.com/Raduh","followers_url":"https://api.github.com/users/Raduh/followers","following_url":"https://api.github.com/users/Raduh/following{/other_user}","gists_url":"https://api.github.com/users/Raduh/gists{/gist_id}","starred_url":"https://api.github.com/users/Raduh/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Raduh/subscriptions","organizations_url":"https://api.github.com/users/Raduh/orgs","repos_url":"https://api.github.com/users/Raduh/repos","events_url":"https://api.github.com/users/Raduh/events{/privacy}","received_events_url":"https://api.github.com/users/Raduh/received_events","type":"User","site_admin":false},"milestone":null,"comments":5,"created_at":"2015-07-27T10:09:01Z","updated_at":"2015-07-27T15:35:20Z","closed_at":null,"body":"\r\nI have been playing with the new OEIS Search engine and its seems that unification does not work correctly any more: The query ```?x+?y=?y+?x``` yields the result ```6^2+7^2=9^2+2^2``` (no unique value for ```?x``` and ```?y```). You can play with this yourself: http://ash.eecs.jacobs-university.de:9999/?query-text=&query-math=%3Fx%2B%3Fy%3D%3Fy%2B%3Fx#1\r\n"},"comment":{"url":"https://api.github.com/repos/KWARC/mws/issues/comments/125247520","html_url":"https://github.com/KWARC/mws/issues/93#issuecomment-125247520","issue_url":"https://api.github.com/repos/KWARC/mws/issues/93","id":125247520,"user":{"login":"m-iancu","id":4038003,"avatar_url":"https://avatars.githubusercontent.com/u/4038003?v=3","gravatar_id":"","url":"https://api.github.com/users/m-iancu","html_url":"https://github.com/m-iancu","followers_url":"https://api.github.com/users/m-iancu/followers","following_url":"https://api.github.com/users/m-iancu/following{/other_user}","gists_url":"https://api.github.com/users/m-iancu/gists{/gist_id}","starred_url":"https://api.github.com/users/m-iancu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/m-iancu/subscriptions","organizations_url":"https://api.github.com/users/m-iancu/orgs","repos_url":"https://api.github.com/users/m-iancu/repos","events_url":"https://api.github.com/users/m-iancu/events{/privacy}","received_events_url":"https://api.github.com/users/m-iancu/received_events","type":"User","site_admin":false},"created_at":"2015-07-27T15:35:20Z","updated_at":"2015-07-27T15:35:20Z","body":"It has to do with MMT literals. We don't have `OMI/OMB/OMSTR/OMF` as primitive concepts in MMT anymore but rather as instances of Literals of type `integer/byte/string/float`.\r\nThe content mathml serialization is, at the moment, `<lit value=\"val\" type=\"type\"/>` so to MWS all literal nodes look identical (and hence unify).\r\nI guess that part is wrong, I don't even think that is valid MathML. In any case it's straightforward to fix it for the few main cases, but I'm not sure what's the best way to do it generically.\r\nMaybe @florian-rabe can correct me/explain more."}}