Proofs by contradiction
http://dbpedia.org/resource/Proofs_by_contradiction
rdf:langString
Proofs by contradiction
xsd:integer
37470111
xsd:integer
520166245
xsd:nonNegativeInteger
35