// Created by libAntimony v2.13.0
model *hhsa_1952()

  // Compartments and Species:
  compartment unit_compartment;

  // Assignment Rules:
  i_Na := g_Na*m^3*h*(V - V_Na);
  i_K := g_K*n^4*(V - V_K);
  i_L := g_L*(V - V_L);
  V_neg := -V;
  E := V + E_R;
  V_Na := E_Na - E_R;
  V_K := E_K - E_R;
  V_L := E_L - E_R;
  alpha_m := 0.1*(V + 25)/(exp((V + 25)/10) - 1);
  beta_m := 4*exp(V/18);
  alpha_h := 0.07*exp(V/20);
  beta_h := 1/(exp((V + 30)/10) + 1);
  alpha_n := 0.01*(V + 10)/(exp((V + 10)/10) - 1);
  beta_n := 0.125*exp(V/80);

  // Rate Rules:
  V' = (I - (i_Na + i_K + i_L))/Cm;
  m' = alpha_m*(1 - m) - beta_m*m;
  h' = alpha_h*(1 - h) - beta_h*h;
  n' = alpha_n*(1 - n) - beta_n*n;

  // Compartment initializations:
  unit_compartment = 1;

  // Variable initializations:
  V = 0;
  V has mV;
  I = 0;
  Cm = 1;
  V_neg has mV;
  E has mV;
  E_R = -75;
  E_R has mV;
  g_Na = 120;
  m = 0.052932;
  h = 0.59612;
  V_Na has mV;
  g_K = 36;
  n = 0.31768;
  V_K has mV;
  g_L = 0.3;
  V_L has mV;
  E_Na = -190;
  E_Na has mV;
  E_K = -63;
  E_K has mV;
  E_L = -85.613;
  E_L has mV;

  // Other declarations:
  var V, i_Na, i_K, i_L, V_neg, E, m, h, V_Na, n, V_K, V_L, alpha_m, beta_m;
  var alpha_h, beta_h, alpha_n, beta_n;
  const unit_compartment, I, Cm, E_R, g_Na, g_K, g_L, E_Na, E_K, E_L;

  // Unit definitions:
  unit time_unit = 1e-3 second;
  unit mV = 1e-3 volt;

  // Display Names:
  time_unit is "millisecond";
  alpha_h is "auxiliary alpha_h";

  // SBO terms:
  V.sboTerm = 259
  Cm.sboTerm = 258
  V_neg.sboTerm = 259
  E.sboTerm = 259
  E_R.sboTerm = 259
  g_Na.sboTerm = 257
  V_Na.sboTerm = 259
  g_K.sboTerm = 257
  V_K.sboTerm = 259
  g_L.sboTerm = 257
  V_L.sboTerm = 259
  E_Na.sboTerm = 259
  E_K.sboTerm = 259
  E_L.sboTerm = 259

  // CV terms:
  i_Na hypernym "http://identifiers.org/obo.go/GO:0005248"
  i_K hypernym "http://identifiers.org/obo.go/GO:0008076"
  i_L hypernym "http://identifiers.org/obo.go/GO:0022840"
end

hhsa_1952 is "hodgkin-huxley squid-axon 1952"

hhsa_1952 model_entity_is "http://identifiers.org/biomodels.db/MODEL6617668482"
hhsa_1952 model_entity_is "http://identifiers.org/biomodels.db/BIOMD0000000020"
hhsa_1952 description "http://identifiers.org/pubmed/12991237"
hhsa_1952 hypernym "http://identifiers.org/obo.go/GO:0019227",
                   "http://identifiers.org/obo.go/GO:0005248",
                   "http://identifiers.org/obo.go/GO:0005249"
hhsa_1952 taxon "http://identifiers.org/taxonomy/6618",
                "http://identifiers.org/obo.go/GO:0042757"
