{
"package" : "hl7.terminology.r4@6.3.0",
"definition" : "Formal analysis (see https://jats4r.org/credit-taxonomy).",
"system" : "http://terminology.hl7.org/CodeSystem/cited-artifact-contribution-type",
"property" : [ ],
"codesystem" : "358b67dc-bb4e-5514-9417-dd43ce40d34e",
"concept_id" : "de340b3a-c62a-521f-8207-89ba1bc25551",
"ancestors" : {
"formal-analysis" : 0
},
"id" : "385f816f-845f-477d-a807-06271441d4b2",
"code" : "formal-analysis",
"display" : "Formal analysis",
"version" : "1.0.0"
}