{ "items" : [
    { "id" : "http://webisa.webdatacommons.org/215622431"
      "properties" : {
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ "http://www.w3.org/ns/prov#Entity" ] ,
        "http://www.w3.org/ns/prov#value" : [ "The coordinate ring $O_q(M_n)$, for all matrices, is an example of a multivariate \"skew polynomial ring, which means a graded or filtered ring with certain axioms that imply that any map from a vector of exponents to monomials is a basis. (I am getting this from Noncommutative Gr??bner bases and filtered-graded transfer, by Huishi Li.) In any ring like this, there is a theory of Gr??bner bases" ] ,
        "http://www.w3.org/ns/prov#wasQuotedFrom" : [ "mathoverflow.net" ] } },

    { "id" : "http://webisa.webdatacommons.org/prov/446767278"
      "properties" : {
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://webisa.webdatacommons.org/215622431"] } } }
