| Birthplace
|
http://dbpedia.org/resource/Poland +
, http://dbpedia.org/resource/Krak%C3%B3w +
|
| http://dbpedia.org/ontology/abstract
|
Andrzej Wojciech Trybulec (ur. 29 stycznia 1941, zm. 11 września 2013) – polski matematyk i informatyk, pracujący na Uniwersytecie w Białymstoku. Był twórcą systemu automatycznego dowodzenia twierdzeń Mizar.
, Andrzej Wojciech Trybulec (* 29. Januar 19 … Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen. und die Semantik von Programmiersprachen.
, Andrzej Wojciech Trybulec (né le 29 janvier 1941 à Cracovie et mort le 11 septembre 2013 à Białystok) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar.
, Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system.
|
| http://dbpedia.org/ontology/academicDiscipline
|
http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/Information_Science +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Computational_linguistics +
, http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/ontology/almaMater
|
http://dbpedia.org/resource/University_of_Warsaw +
|
| http://dbpedia.org/ontology/award
|
http://dbpedia.org/resource/Jan_%C5%9Aleszy%C5%84ski +
, http://dbpedia.org/resource/Pyotr_Kapitsa +
|
| http://dbpedia.org/ontology/birthDate
|
"1941-01-29"^^xsd:date
|
| http://dbpedia.org/ontology/deathDate
|
"2013-09-11"^^xsd:date
|
| http://dbpedia.org/ontology/deathPlace
|
http://dbpedia.org/resource/Bia%C5%82ystok +
, http://dbpedia.org/resource/Poland +
|
| http://dbpedia.org/ontology/doctoralAdvisor
|
http://dbpedia.org/resource/Karol_Borsuk +
|
| http://dbpedia.org/ontology/knownFor
|
http://dbpedia.org/resource/Mizar_system +
|
| http://dbpedia.org/ontology/nationality
|
http://dbpedia.org/resource/Poles +
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/AndrzejTrybulec.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://www.mizar.org/trybulec65/book.pdf +
, http://mizar.uwb.edu.pl/cgi-bin/andrzej/memento +
, http://mizar.uwb.edu.pl +
, https://www.deepdyve.com/lp/springer-journals/andrzej-trybulec-in-memoriam-0wrDbba3Es +
, http://mizar.org/people/romat/MatRud2005.pdf +
, http://math.uwb.edu.pl/~trybulec/ +
, http://math.uwb.edu.pl/~trybulec/awards.html +
, https://archive.org/details/springer_10.1007-b100478 +
, http://www.openmath.org/meetings/eindhoven2003/proceedings/trybulec.pdf +
, http://www-history.mcs.st-and.ac.uk/Biographies/Kuperberg.html +
, https://web.archive.org/web/20060927204402/http:/markun.cs.shinshu-u.ac.jp/mizar/mma.dir/2005/mma2005%282%29.pdf +
|
| http://dbpedia.org/ontology/wikiPageID
|
5235558
|
| http://dbpedia.org/ontology/wikiPageLength
|
8094
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1117225417
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/USSR +
, http://dbpedia.org/resource/Mathematician +
, http://dbpedia.org/resource/Computational_linguistics +
, http://dbpedia.org/resource/Zermelo%E2%80%93Fraenkel_set_theory +
, http://dbpedia.org/resource/Metric_space +
, http://dbpedia.org/resource/Category:People_from_Bia%C5%82ystok +
, http://dbpedia.org/resource/B%C3%A5stad +
, http://dbpedia.org/resource/Pyotr_Kapitsa +
, http://dbpedia.org/resource/Tarski%E2%80%93Grothendieck_set_theory +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Jan_%C5%9Aleszy%C5%84ski +
, http://dbpedia.org/resource/Moscow +
, http://dbpedia.org/resource/Ruda_%C5%9Al%C4%85ska +
, http://dbpedia.org/resource/Assistant_professor +
, http://dbpedia.org/resource/Information_Science +
, http://dbpedia.org/resource/Regions_of_Poland +
, http://dbpedia.org/resource/Krystyna_Kuperberg +
, http://dbpedia.org/resource/VINITI +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Category:2013_deaths +
, http://dbpedia.org/resource/Mathematical +
, http://dbpedia.org/resource/Natural_deduction +
, http://dbpedia.org/resource/Machine-readable_data +
, http://dbpedia.org/resource/Timeline_of_Polish_science_and_technology +
, http://dbpedia.org/resource/Category:21st-century_Polish_mathematicians +
, http://dbpedia.org/resource/Visiting_scholar +
, http://dbpedia.org/resource/Tarski%27s_axioms +
, http://dbpedia.org/resource/Studies_in_Logic%2C_Grammar_and_Rhetoric +
, http://dbpedia.org/resource/Journal_of_Automated_Reasoning +
, http://dbpedia.org/resource/Warsaw_University_of_Technology +
, http://dbpedia.org/resource/Chalmers_University_of_Technology +
, http://dbpedia.org/resource/Master%27s_degree +
, http://dbpedia.org/resource/W%C5%82odzimierz_Kuperberg +
, http://dbpedia.org/resource/Gerhard_Gentzen +
, http://dbpedia.org/resource/List_of_Polish_mathematicians +
, http://dbpedia.org/resource/Karol_Borsuk +
, http://dbpedia.org/resource/Szczucin +
, http://dbpedia.org/resource/Poles +
, http://dbpedia.org/resource/Greg_Kuperberg +
, http://dbpedia.org/resource/Bia%C5%82ystok +
, http://dbpedia.org/resource/Category:20th-century_Polish_mathematicians +
, http://dbpedia.org/resource/University_of_Warsaw +
, http://dbpedia.org/resource/Tarn%C3%B3w +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/Stanis%C5%82aw_Ja%C5%9Bkowski +
, http://dbpedia.org/resource/Computer_scientist +
, http://dbpedia.org/resource/List_of_Polish_people +
, http://dbpedia.org/resource/Poland +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:Polish_computer_scientists +
, http://dbpedia.org/resource/Polish_Academy_of_Sciences +
, http://dbpedia.org/resource/University_of_Bia%C5%82ystok +
, http://dbpedia.org/resource/University_of_Connecticut +
, http://dbpedia.org/resource/Mizar_system +
, http://dbpedia.org/resource/Krak%C3%B3w +
|
| http://dbpedia.org/property/almaMater
|
http://dbpedia.org/resource/University_of_Warsaw +
|
| http://dbpedia.org/property/awards
|
Kapitsa Medal, Russian Academy of Natural Sciences, 1995
, Golden Medal of Merit of the Warsaw Voivodeship, 1978
, Golden Order of Merit, 1988
, Śleszyński Prize, Mizar Users Association, 1994
, Silver Order of Merit, 1978
|
| http://dbpedia.org/property/birthDate
|
"1941-01-29"^^xsd:date
|
| http://dbpedia.org/property/birthPlace
|
Kraków, Poland
|
| http://dbpedia.org/property/caption
|
Trybulec ca. 1975
|
| http://dbpedia.org/property/children
|
Wojciech A. Trybulec
, Michał J. Trybulec
|
| http://dbpedia.org/property/deathDate
|
"2013-09-11"^^xsd:date
|
| http://dbpedia.org/property/deathPlace
|
Białystok, Poland
|
| http://dbpedia.org/property/doctoralAdvisor
|
http://dbpedia.org/resource/Karol_Borsuk +
|
| http://dbpedia.org/property/fields
|
http://dbpedia.org/resource/Computational_linguistics +
, http://dbpedia.org/resource/Information_Science +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Semantics +
, http://dbpedia.org/resource/Mathematics +
|
| http://dbpedia.org/property/footnotes
|
http://dbpedia.org/resource/Krystyna_Kuperberg +
, http://dbpedia.org/resource/W%C5%82odzimierz_Kuperberg +
, http://dbpedia.org/resource/Greg_Kuperberg +
, Noted family members include:
|
| http://dbpedia.org/property/knownFor
|
http://dbpedia.org/resource/Mizar_system +
, Computer-oriented formalization of mathematics
|
| http://dbpedia.org/property/name
|
Andrzej W. Trybulec
|
| http://dbpedia.org/property/nationality
|
http://dbpedia.org/resource/Poles +
|
| http://dbpedia.org/property/spouse
|
Zinaida Trybulec
|
| http://dbpedia.org/property/thesisTitle
|
On some properties of the movable compacta
|
| http://dbpedia.org/property/thesisYear
|
1975
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Infobox_scientist +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:MathGenealogy +
, http://dbpedia.org/resource/Template:Death_date_and_age +
, http://dbpedia.org/resource/Template:Birth_date +
, http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Authority_control +
|
| http://dbpedia.org/property/workInstitution
|
http://dbpedia.org/resource/Warsaw_University_of_Technology +
, http://dbpedia.org/resource/University_of_Warsaw +
, http://dbpedia.org/resource/Polish_Academy_of_Sciences +
, http://dbpedia.org/resource/University_of_Bia%C5%82ystok +
, http://dbpedia.org/resource/VINITI +
, http://dbpedia.org/resource/University_of_Connecticut +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:People_from_Bia%C5%82ystok +
, http://dbpedia.org/resource/Category:1941_births +
, http://dbpedia.org/resource/Category:2013_deaths +
, http://dbpedia.org/resource/Category:21st-century_Polish_mathematicians +
, http://dbpedia.org/resource/Category:Polish_computer_scientists +
, http://dbpedia.org/resource/Category:20th-century_Polish_mathematicians +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Mathematician +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/21658345 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Andrzej_Trybulec?oldid=1117225417&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/AndrzejTrybulec.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Andrzej_Trybulec +
|
| http://xmlns.com/foaf/0.1/name
|
Andrzej W. Trybulec
|
| owl:sameAs |
http://viaf.org/viaf/21658345 +
, http://fr.dbpedia.org/resource/Andrzej_Trybulec +
, http://pl.dbpedia.org/resource/Andrzej_Trybulec +
, http://rdf.freebase.com/ns/m.0d99nd +
, http://www.wikidata.org/entity/Q4759721 +
, http://data.bibliotheken.nl/id/thes/p268897107 +
, http://de.dbpedia.org/resource/Andrzej_Trybulec +
, https://global.dbpedia.org/id/4Q8NF +
, http://dbpedia.org/resource/Andrzej_Trybulec +
, https://dblp.org/pid/71/913 +
, http://viaf.org/viaf/85468733 +
, http://yago-knowledge.org/resource/Andrzej_Trybulec +
|
| rdf:type |
http://www.wikidata.org/entity/Q215627 +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
, http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatPeopleFromBia%C5%82ystok +
, http://dbpedia.org/class/yago/WikicatPolishMathematicians +
, http://www.wikidata.org/entity/Q5 +
, http://www.wikidata.org/entity/Q729 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Mathematician110301261 +
, http://schema.org/Person +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://www.wikidata.org/entity/Q19088 +
, http://dbpedia.org/class/yago/ComputerScientist109951070 +
, http://dbpedia.org/class/yago/ComputerUser109951274 +
, http://dbpedia.org/ontology/Eukaryote +
, http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson +
, http://dbpedia.org/class/yago/CausalAgent100007347 +
, http://dbpedia.org/ontology/Animal +
, http://dbpedia.org/class/yago/Scientist110560637 +
, http://dbpedia.org/class/yago/WikicatPolishComputerScientists +
, http://dbpedia.org/class/yago/LivingThing100004258 +
, http://dbpedia.org/ontology/Person +
, http://dbpedia.org/class/yago/Organism100004475 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://www.wikidata.org/entity/Q901 +
, http://xmlns.com/foaf/0.1/Person +
, http://dbpedia.org/class/yago/Person100007846 +
, http://dbpedia.org/ontology/Species +
, http://dbpedia.org/ontology/Scientist +
|
| rdfs:comment |
Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system.
, Andrzej Wojciech Trybulec (ur. 29 stycznia 1941, zm. 11 września 2013) – polski matematyk i informatyk, pracujący na Uniwersytecie w Białymstoku. Był twórcą systemu automatycznego dowodzenia twierdzeń Mizar.
, Andrzej Wojciech Trybulec (né le 29 janvier 1941 à Cracovie et mort le 11 septembre 2013 à Białystok) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar.
, Andrzej Wojciech Trybulec (* 29. Januar 19 … Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen. und die Semantik von Programmiersprachen.
|
| rdfs:label |
Andrzej Trybulec
|
