Matches in DBpedia 2015-10 for { <http://www.ams.org/notices/200811/tx081101408p.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- tx081101408p.pdf accessdate "2008-12-14".
- tx081101408p.pdf author "Freek Wiedijk".
- tx081101408p.pdf date "December 2008".
- tx081101408p.pdf isCitedBy HOL_Light.
- tx081101408p.pdf issue "11".
- tx081101408p.pdf journal Notices_of_the_American_Mathematical_Society.
- tx081101408p.pdf pages "1408–1414".
- tx081101408p.pdf title "Formal Proof — Getting Started".
- tx081101408p.pdf url tx081101408p.pdf.
- tx081101408p.pdf volume "55".