PropertyValue
rdf:type
rdfs:label
  • Cook's theorem
prov:wasDerivedFrom
skos:prefLabel
  • Cook's theorem