PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • There are two maximal clades in T with species from {A, B, C, D}: (A, (B, C)) and D. So, the number of extra lineages in (u???, v???) is 2???1???=???1.Integer-Linear Programming MethodLinear programming (LP) is an algorithmic technique for optimizing a linear objective function, cx, where c is a vector of coefficients and x is a vector of variables, subject to a set of linear constraints Ax???b, w
http://www.w3.org/ns/prov#wasQuotedFrom
  • nih.gov