{ "items" : [
    { "id" : "http://dbpedia.org/resource/Nqthm"
      "properties" : {
        "http://www.w3.org/2000/01/rdf-schema#comment" : [ "Nqthm is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2."] } } }
