Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q92672> ?p ?o }
Showing triples 1 to 52 of
52
with 100 triples per page.
- Q92672 description "Swiss mathematician".
- Q92672 description "Swiss mathematician".
- Q92672 subject Q6938403.
- Q92672 subject Q7018039.
- Q92672 subject Q8206077.
- Q92672 subject Q9712628.
- Q92672 abstract "Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works. He invented what is now known as the Büchi automaton, a finite state automaton accepting certain collections of infinite words known as omega-regular languages. The "n squares' problem", known also as Büchi's problem, is an open problem from number theory, closely related to Hilbert's tenth problem. One of his students was Lawrence Landweber who received his doctorate at Purdue University in 1967.".
- Q92672 birthDate "1924".
- Q92672 birthYear "1924".
- Q92672 deathDate "1984".
- Q92672 deathYear "1984".
- Q92672 wikiPageWikiLink Q1020380.
- Q92672 wikiPageWikiLink Q11942.
- Q92672 wikiPageWikiLink Q122318.
- Q92672 wikiPageWikiLink Q12479.
- Q92672 wikiPageWikiLink Q1415.
- Q92672 wikiPageWikiLink Q170790.
- Q92672 wikiPageWikiLink Q176452.
- Q92672 wikiPageWikiLink Q217741.
- Q92672 wikiPageWikiLink Q2878974.
- Q92672 wikiPageWikiLink Q309558.
- Q92672 wikiPageWikiLink Q39.
- Q92672 wikiPageWikiLink Q4334568.
- Q92672 wikiPageWikiLink Q441223.
- Q92672 wikiPageWikiLink Q5005256.
- Q92672 wikiPageWikiLink Q638187.
- Q92672 wikiPageWikiLink Q6938403.
- Q92672 wikiPageWikiLink Q7018039.
- Q92672 wikiPageWikiLink Q8078.
- Q92672 wikiPageWikiLink Q8206077.
- Q92672 wikiPageWikiLink Q92912.
- Q92672 wikiPageWikiLink Q9712628.
- Q92672 wikiPageWikiLink Q986147.
- Q92672 dateOfBirth "1924".
- Q92672 dateOfDeath "1984".
- Q92672 name "Buchi, Julius Richard".
- Q92672 shortDescription "Swiss mathematician".
- Q92672 type Person.
- Q92672 type Agent.
- Q92672 type Person.
- Q92672 type Agent.
- Q92672 type NaturalPerson.
- Q92672 type Thing.
- Q92672 type Q215627.
- Q92672 type Q5.
- Q92672 type Person.
- Q92672 comment "Julius Richard Büchi (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works.".
- Q92672 label "Julius Richard Büchi".
- Q92672 givenName "Julius Richard".
- Q92672 name "Buchi, Julius Richard".
- Q92672 name "Julius Richard Buchi".
- Q92672 surname "Buchi".