{ "items" : [
    { "id" : "http://webisa.webdatacommons.org/431776466"
      "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 particular, if CC is a locally cartesian closed category, then C ex/lexC_{ex/lex} is a topos if and only if CC has a generic proof." ] ,
        "http://www.w3.org/ns/prov#wasQuotedFrom" : [ "ncatlab.org" ] } },

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

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