Proof by construction

http://dbpedia.org/resource/Proof_by_construction

rdf:langString Proof by construction
xsd:integer 360115
xsd:integer 16221162
xsd:nonNegativeInteger 32
<http://dbpedia.org/resource/Constructive_proof>
<http://dbpedia.org/resource/Constructive_proof>
<http://en.wikipedia.org/wiki/Proof_by_construction?oldid=16221162&ns=0>
<http://en.wikipedia.org/wiki/Proof_by_construction>

data from the linked data cloud