Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7917308> ?p ?o }
Showing triples 1 to 72 of
72
with 100 triples per page.
- Q7917308 subject Q5312304.
- Q7917308 subject Q6637307.
- Q7917308 subject Q7006242.
- Q7917308 subject Q8276806.
- Q7917308 subject Q8445861.
- Q7917308 subject Q8810263.
- Q7917308 subject Q9580543.
- Q7917308 abstract "Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was an early pioneer in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces. A pattern of applying models from diverse areas of mathematics such as geometry, linear algebra, abstract algebra, and especially mathematical logic to computer science pervades his work.".
- Q7917308 thumbnail VaughanPratt.JPG?width=300.
- Q7917308 wikiPageExternalLink tdop.html.
- Q7917308 wikiPageExternalLink abstracts.html.
- Q7917308 wikiPageExternalLink pratt.html.
- Q7917308 wikiPageExternalLink www.tiqit.com.
- Q7917308 wikiPageWikiLink Q1018709.
- Q7917308 wikiPageWikiLink Q1142354.
- Q7917308 wikiPageWikiLink Q1166618.
- Q7917308 wikiPageWikiLink Q121594.
- Q7917308 wikiPageWikiLink Q127992.
- Q7917308 wikiPageWikiLink Q1338047.
- Q7917308 wikiPageWikiLink Q1414548.
- Q7917308 wikiPageWikiLink Q14647.
- Q7917308 wikiPageWikiLink Q1547448.
- Q7917308 wikiPageWikiLink Q159943.
- Q7917308 wikiPageWikiLink Q168756.
- Q7917308 wikiPageWikiLink Q17027452.
- Q7917308 wikiPageWikiLink Q17457.
- Q7917308 wikiPageWikiLink Q181593.
- Q7917308 wikiPageWikiLink Q1882973.
- Q7917308 wikiPageWikiLink Q1883071.
- Q7917308 wikiPageWikiLink Q210841.
- Q7917308 wikiPageWikiLink Q21198.
- Q7917308 wikiPageWikiLink Q221552.
- Q7917308 wikiPageWikiLink Q3037998.
- Q7917308 wikiPageWikiLink Q30642.
- Q7917308 wikiPageWikiLink Q3252726.
- Q7917308 wikiPageWikiLink Q3631803.
- Q7917308 wikiPageWikiLink Q374040.
- Q7917308 wikiPageWikiLink Q3836453.
- Q7917308 wikiPageWikiLink Q41506.
- Q7917308 wikiPageWikiLink Q45285.
- Q7917308 wikiPageWikiLink Q487556.
- Q7917308 wikiPageWikiLink Q49108.
- Q7917308 wikiPageWikiLink Q5010978.
- Q7917308 wikiPageWikiLink Q5115177.
- Q7917308 wikiPageWikiLink Q5312304.
- Q7917308 wikiPageWikiLink Q578036.
- Q7917308 wikiPageWikiLink Q6135248.
- Q7917308 wikiPageWikiLink Q628036.
- Q7917308 wikiPageWikiLink Q6423563.
- Q7917308 wikiPageWikiLink Q646477.
- Q7917308 wikiPageWikiLink Q6637307.
- Q7917308 wikiPageWikiLink Q668011.
- Q7917308 wikiPageWikiLink Q7006242.
- Q7917308 wikiPageWikiLink Q7243047.
- Q7917308 wikiPageWikiLink Q7395019.
- Q7917308 wikiPageWikiLink Q755673.
- Q7917308 wikiPageWikiLink Q8087.
- Q7917308 wikiPageWikiLink Q82571.
- Q7917308 wikiPageWikiLink Q8276806.
- Q7917308 wikiPageWikiLink Q829120.
- Q7917308 wikiPageWikiLink Q829546.
- Q7917308 wikiPageWikiLink Q8445861.
- Q7917308 wikiPageWikiLink Q848955.
- Q7917308 wikiPageWikiLink Q8810263.
- Q7917308 wikiPageWikiLink Q92626.
- Q7917308 wikiPageWikiLink Q92638.
- Q7917308 wikiPageWikiLink Q92641.
- Q7917308 wikiPageWikiLink Q9580543.
- Q7917308 type Thing.
- Q7917308 comment "Vaughan Ronald Pratt (born 1944), a Professor Emeritus at Stanford University, was an early pioneer in the field of computer science. Publishing since 1969, Pratt has made several contributions to foundational areas such as search algorithms, sorting algorithms, and primality testing. More recently his research has focused on formal modeling of concurrent systems and Chu spaces.".
- Q7917308 label "Vaughan Pratt".
- Q7917308 depiction VaughanPratt.JPG.