Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4759721> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Q4759721 subject Q6163391.
- Q4759721 subject Q6275312.
- Q4759721 subject Q6641382.
- Q4759721 subject Q7042029.
- Q4759721 subject Q8727984.
- Q4759721 abstract "Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system. He received his Ph.D. in the field of topology from Karol Borsuk in 1974 at the Institute of Mathematics of the Polish Academy of Sciences.His first mathematical papers were in the domain of various topological and metric space topics of Karol Borsuk. Not much later, and in parallel to his topological research, he worked also in the field of mathematical linguistics.Trybulec was the founder and developer of the formalization system Mizar based on the Tarski–Grothendieck set theory axioms and the founder of the Mizar Mathematical Library (MML) the world’s largest repository of formalized and computer-checked mathematics.Trybulec's sister, Krystyna Kuperberg, his brother in law, Włodzimierz Kuperberg, and their son, Greg Kuperberg, are all noted mathematicians.".
- Q4759721 almaMater Q144488.
- Q4759721 birthDate "1941-01-29".
- Q4759721 birthPlace Q31487.
- Q4759721 birthPlace Q36.
- Q4759721 deathDate "2013-09-11".
- Q4759721 deathPlace Q36.
- Q4759721 deathPlace Q761.
- Q4759721 doctoralAdvisor Q469088.
- Q4759721 field Q16387.
- Q4759721 field Q395.
- Q4759721 knownFor Q1609529.
- Q4759721 nationality Q1026.
- Q4759721 residence Q761.
- Q4759721 thumbnail AndrzejTrybulec.jpg?width=300.
- Q4759721 wikiPageExternalLink ~trybulec.
- Q4759721 wikiPageExternalLink mizar.uwb.edu.pl.
- Q4759721 wikiPageWikiLink Q1026.
- Q4759721 wikiPageWikiLink Q1444047.
- Q4759721 wikiPageWikiLink Q144488.
- Q4759721 wikiPageWikiLink Q1609529.
- Q4759721 wikiPageWikiLink Q16387.
- Q4759721 wikiPageWikiLink Q1658883.
- Q4759721 wikiPageWikiLink Q180953.
- Q4759721 wikiPageWikiLink Q182557.
- Q4759721 wikiPageWikiLink Q31487.
- Q4759721 wikiPageWikiLink Q36.
- Q4759721 wikiPageWikiLink Q3709235.
- Q4759721 wikiPageWikiLink Q395.
- Q4759721 wikiPageWikiLink Q3984085.
- Q4759721 wikiPageWikiLink Q42989.
- Q4759721 wikiPageWikiLink Q450393.
- Q4759721 wikiPageWikiLink Q469088.
- Q4759721 wikiPageWikiLink Q6163391.
- Q4759721 wikiPageWikiLink Q6275312.
- Q4759721 wikiPageWikiLink Q6641382.
- Q4759721 wikiPageWikiLink Q7042029.
- Q4759721 wikiPageWikiLink Q761.
- Q4759721 wikiPageWikiLink Q82594.
- Q4759721 wikiPageWikiLink Q8727984.
- Q4759721 almaMater Q144488.
- Q4759721 birthDate "1941-01-29".
- Q4759721 birthPlace "Kraków, Poland".
- Q4759721 deathDate "2013-09-11".
- Q4759721 deathPlace "Białystok, Poland".
- Q4759721 doctoralAdvisor Q469088.
- Q4759721 field "Mathematics and Information Science".
- Q4759721 knownFor Q1609529.
- Q4759721 name "Andrzej W. Trybulec".
- Q4759721 nationality Q1026.
- Q4759721 residence Q761.
- Q4759721 type Person.
- Q4759721 type Agent.
- Q4759721 type Person.
- Q4759721 type Scientist.
- Q4759721 type Agent.
- Q4759721 type NaturalPerson.
- Q4759721 type Thing.
- Q4759721 type Q215627.
- Q4759721 type Q5.
- Q4759721 type Q901.
- Q4759721 type Person.
- Q4759721 comment "Andrzej Wojciech Trybulec, (January 29, 1941 – September 11, 2013) was a Polish mathematician and computer scientist, at the University of Białystok, in Białystok, Poland, noted for development of the Mizar system. He received his Ph.D. in the field of topology from Karol Borsuk in 1974 at the Institute of Mathematics of the Polish Academy of Sciences.His first mathematical papers were in the domain of various topological and metric space topics of Karol Borsuk.".
- Q4759721 label "Andrzej Trybulec".
- Q4759721 depiction AndrzejTrybulec.jpg.
- Q4759721 name "Andrzej W. Trybulec".