| http://www.w3.org/ns/prov#value | - yes. hopefully that should make it more clear that reductions are a mechanism to assign (previously unknown) problems within a master classification system somewhat like phylum/species etc in biology. this generally supports rather than precludes further study. also in the diagram, the continuum of computational hardness ranges from low/easy on the bottom to hard at the top. what is remarkab
|
