Mention96001
Download triples| rdf:type | qkg:Mention |
| so:text | It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning. (en) |
| so:isPartOf | https://en.wikiquote.org/wiki/Vladimir_Voevodsky |
| qkg:hasContext | qkg:Context46845 |
| Property | Object |
|---|
Triples where Mention96001 is the object (without rdf:type)
| qkg:Quotation89665 | qkg:hasMention |
| Subject | Property |
|---|
