| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:birthDate
| |
| dbo:description
|
- cantante statunitense (it)
- kantante merikano (pap)
- Amerikaans zanger (nl)
- مجن مؤلف من امريكا (arz)
- (b. 1983) American singer and songwriter (en)
- amerikansk matematikar og songar (nn)
- amerikansk matematiker och sångare (sv)
- amerikansk matematiker og sanger (da)
- خواننده و ریاضیدان آمریکایی (fa)
|
| dbo:doctoralAdvisor
| |
| dbo:institution
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
|
- (en)
- University of Edinburgh (en)
- University of Texas at Austin (en)
- Clare Hall, Cambridge (en)
- Mathematical Research Institute in the Netherlands (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
|
- Grant Passmore and Hito Steyerl presenting their joint work at Rhizome Seven on Seven at the New Museum, May 2016. (en)
|
| dbp:doctoralAdvisor
| |
| dbp:fields
|
- (en)
- Artificial intelligence (en)
- Formal verification (en)
- Theorem proving (en)
|
| dbp:name
|
- Grant Olney Passmore (en)
|
| dbp:thesisTitle
|
- Combined Decision Procedures for Nonlinear Arithmetics, Real and Complex (en)
|
| dbp:thesisUrl
| |
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workplaces
|
- (en)
- University of Cambridge (en)
- University of Edinburgh (en)
- Imandra Inc. (en)
|
| dct:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Grant Olney Passmore (en)
|
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
