Matches in DBpedia 2016-04 for { <http://mizar.org/people/romat/MatRud2005.pdf> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- MatRud2005.pdf author2 "Piotr Rudnicki".
- MatRud2005.pdf first "Roman".
- MatRud2005.pdf isCitedBy Mizar_system.
- MatRud2005.pdf journal "Mechanized Mathematics and Its Applications".
- MatRud2005.pdf last "Matuszewski".
- MatRud2005.pdf title "9.46728E8".
- MatRud2005.pdf url MatRud2005.pdf.
- MatRud2005.pdf volume "4".
- MatRud2005.pdf year "2005".