{ "items" : [
    { "id" : "http://caligraph.org/resource/Lawrence_Paulson"
      "properties" : {
        "http://caligraph.org/ontology/knownFor" : [ "http://caligraph.org/resource/Isabelle_(proof_assistant)" ] } },

    { "id" : "http://caligraph.org/resource/Tobias_Nipkow"
      "properties" : {
        "http://caligraph.org/ontology/knownFor" : [ "http://caligraph.org/resource/Isabelle_(proof_assistant)" ] } },

    { "id" : "http://caligraph.org/resource/Haskell"
      "properties" : {
        "http://caligraph.org/ontology/influenced" : [ "http://caligraph.org/resource/Isabelle_(proof_assistant)" ] } },

    { "id" : "http://caligraph.org/resource/Isabelle_(proof_assistant)"
      "properties" : {
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ "http://www.w3.org/2002/07/owl#NamedIndividual",
          "http://caligraph.org/ontology/Proof_assistant",
          "http://caligraph.org/ontology/Software" ] ,
        "http://www.w3.org/2000/01/rdf-schema#label" : [ "Isabelle (proof assistant)" ] ,
        "http://www.w3.org/2002/07/owl#sameAs" : [ "http://dbpedia.org/resource/Isabelle_(proof_assistant)" ] ,
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://en.wikipedia.org/wiki/Proof_assistant",
          "http://en.wikipedia.org/wiki/JFreeChart",
          "http://en.wikipedia.org/wiki/Category:Proof_assistants",
          "http://en.wikipedia.org/wiki/Standard_ML",
          "http://en.wikipedia.org/wiki/Category:Lists_of_software" ] ,
        "http://www.w3.org/2004/02/skos/core#prefLabel" : [ "Isabelle (proof assistant)" ] ,
        "http://www.w3.org/2004/02/skos/core#altLabel" : [ "Isabelle proof assistant",
          "Isabelle/HOL",
          "Isabelle_(proof_assistant)",
          "Isabelle (proof assistant)#Features",
          "Isabelle" ] ,
        "http://caligraph.org/ontology/author" : [ "http://caligraph.org/resource/Lawrence_Paulson" ] ,
        "http://caligraph.org/ontology/developer" : [ "http://caligraph.org/resource/University_of_Cambridge",
          "http://caligraph.org/resource/Technical_University_of_Munich" ] ,
        "http://caligraph.org/ontology/genre" : [ "http://caligraph.org/resource/Mathematics" ] ,
        "http://caligraph.org/ontology/latestReleaseVersion" : [ "Isabelle2021" ] ,
        "http://caligraph.org/ontology/license" : [ "http://caligraph.org/resource/BSD_licenses" ] ,
        "http://caligraph.org/ontology/operatingSystem" : [ "http://caligraph.org/resource/MacOS",
          "http://caligraph.org/resource/Microsoft_Windows",
          "http://caligraph.org/resource/Linux" ] ,
        "http://caligraph.org/ontology/programmingLanguage" : [ "http://caligraph.org/resource/Scala_(programming_language)",
          "http://caligraph.org/resource/Standard_ML"] } } }
