{ "items" : [
    { "id" : "http://webisa.webdatacommons.org/391024486"
      "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" : [ "We illustrate the practicality of our method on several examples, including cases in which traditional methods based on abstract interpretation with widening fail to generate sufficiently strong invariants." ] ,
        "http://www.w3.org/ns/prov#wasQuotedFrom" : [ "psu.edu" ] } },

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