{ "items" : [
    { "id" : "http://webisa.webdatacommons.org/137018711"
      "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" : [ "In Sipser's book there is a section describing how to decide $\\qquad\\displaystyle \\mathrm{ALL}_\\mathrm{NFA} = \\{ \\langle N \\rangle \\mid N  ext{ is an NFA}, L(N) = \\Sigma^*\\}$ in polynomial space. ..." ] ,
        "http://www.w3.org/ns/prov#wasQuotedFrom" : [ "stackexchange.com" ] } },

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