{
  "package" : "hl7.fhir.r5.core@5.0.0",
  "definition" : "Formal analysis (see https://jats4r.org/credit-taxonomy).",
  "system" : "http://hl7.org/fhir/artifact-contribution-type",
  "property" : [ ],
  "codesystem" : "5dbf52ff-8fad-588d-a591-b07d263ffe6a",
  "concept_id" : "de340b3a-c62a-521f-8207-89ba1bc25551",
  "ancestors" : {
    "formal-analysis" : 0
  },
  "id" : "7d8b5ba3-46a3-454a-8b2b-2751897d06b9",
  "code" : "formal-analysis",
  "display" : "Formal analysis",
  "version" : "5.0.0"
}