Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q4588721> ?p ?o }
Showing triples 1 to 83 of
83
with 100 triples per page.
- Q4588721 subject Q5312304.
- Q4588721 subject Q6523958.
- Q4588721 subject Q6582675.
- Q4588721 subject Q6824148.
- Q4588721 subject Q7039688.
- Q4588721 subject Q7067047.
- Q4588721 subject Q7129724.
- Q4588721 subject Q7415624.
- Q4588721 subject Q8372069.
- Q4588721 subject Q8445861.
- Q4588721 subject Q8466127.
- Q4588721 subject Q8718020.
- Q4588721 abstract "Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.".
- Q4588721 almaMater Q752663.
- Q4588721 award Q1164390.
- Q4588721 birthPlace Q55.
- Q4588721 birthPlace Q727.
- Q4588721 doctoralAdvisor Q3189981.
- Q4588721 field Q1569697.
- Q4588721 knownFor Q959513.
- Q4588721 thumbnail Gerard_J._Holzmann_FLoC_2006.jpg?width=300.
- Q4588721 wikiPageExternalLink gerard.holzmann.usesthis.com.
- Q4588721 wikiPageExternalLink gerard.
- Q4588721 wikiPageExternalLink pico.
- Q4588721 wikiPageWikiLink Q11368.
- Q4588721 wikiPageWikiLink Q1164390.
- Q4588721 wikiPageWikiLink Q127992.
- Q4588721 wikiPageWikiLink Q131566.
- Q4588721 wikiPageWikiLink Q1493021.
- Q4588721 wikiPageWikiLink Q15206450.
- Q4588721 wikiPageWikiLink Q1569697.
- Q4588721 wikiPageWikiLink Q189325.
- Q4588721 wikiPageWikiLink Q217365.
- Q4588721 wikiPageWikiLink Q23548.
- Q4588721 wikiPageWikiLink Q3189981.
- Q4588721 wikiPageWikiLink Q353060.
- Q4588721 wikiPageWikiLink Q43035.
- Q4588721 wikiPageWikiLink Q443253.
- Q4588721 wikiPageWikiLink Q485176.
- Q4588721 wikiPageWikiLink Q5312304.
- Q4588721 wikiPageWikiLink Q55.
- Q4588721 wikiPageWikiLink Q6523958.
- Q4588721 wikiPageWikiLink Q6582675.
- Q4588721 wikiPageWikiLink Q669561.
- Q4588721 wikiPageWikiLink Q6824148.
- Q4588721 wikiPageWikiLink Q7039688.
- Q4588721 wikiPageWikiLink Q7067047.
- Q4588721 wikiPageWikiLink Q7129724.
- Q4588721 wikiPageWikiLink Q727.
- Q4588721 wikiPageWikiLink Q7415624.
- Q4588721 wikiPageWikiLink Q752297.
- Q4588721 wikiPageWikiLink Q752663.
- Q4588721 wikiPageWikiLink Q82594.
- Q4588721 wikiPageWikiLink Q8372069.
- Q4588721 wikiPageWikiLink Q8445861.
- Q4588721 wikiPageWikiLink Q8466127.
- Q4588721 wikiPageWikiLink Q8718020.
- Q4588721 wikiPageWikiLink Q92933.
- Q4588721 wikiPageWikiLink Q959513.
- Q4588721 wikiPageWikiLink Q99.
- Q4588721 almaMater Q752663.
- Q4588721 awards "Paris Kanellakis Award".
- Q4588721 birthPlace Q55.
- Q4588721 birthPlace Q727.
- Q4588721 doctoralAdvisor "Willem van der Poel and J.L. de Kroes".
- Q4588721 fields Q1569697.
- Q4588721 knownFor "Developing the SPIN model checker".
- Q4588721 name "Gerard J. Holzmann".
- Q4588721 type Person.
- Q4588721 type Agent.
- Q4588721 type Person.
- Q4588721 type Scientist.
- Q4588721 type Agent.
- Q4588721 type NaturalPerson.
- Q4588721 type Thing.
- Q4588721 type Q215627.
- Q4588721 type Q5.
- Q4588721 type Q901.
- Q4588721 type Person.
- Q4588721 comment "Gerard J. Holzmann (born 1951) is a Dutch-born American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.".
- Q4588721 label "Gerard J. Holzmann".
- Q4588721 depiction Gerard_J._Holzmann_FLoC_2006.jpg.
- Q4588721 name "Gerard J. Holzmann".