PropertyValue
rdf:type
rdfs:label
  • Proof by exhaustion
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Proof by exhaustion
skos:altLabel
  • case
  • almost all but certainly proved
  • brute force
  • brute force method
  • case analysis
  • exhaustivity
  • proof by exhaustion
  • proofs-by-exhaustion