{
  "package" : "hl7.terminology@6.3.0",
  "definition" : "Formal analysis (see https://jats4r.org/credit-taxonomy).",
  "system" : "http://terminology.hl7.org/CodeSystem/cited-artifact-contribution-type",
  "property" : [ ],
  "codesystem" : "3c6eee95-991a-5540-98da-0cc68bc46e37",
  "concept_id" : "de340b3a-c62a-521f-8207-89ba1bc25551",
  "ancestors" : {
    "formal-analysis" : 0
  },
  "id" : "296e3e17-c4e0-4945-b33e-751eb00db59b",
  "code" : "formal-analysis",
  "display" : "Formal analysis",
  "version" : "1.0.0"
}