| dbo:almaMater
| |
| dbo:description
| - informaticus (nl)
- computer scientist (en)
- науковець у галузі комп'ютерних технологій (uk)
|
| dbo:knownFor
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| - Clare College, Cambridge; University of Edinburgh (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:deathDate
| |
| dbp:field
| |
| dbp:knownFor
| - Process algebra, simulation model correctness (en)
|
| dbp:name
| |
| dbp:nationality
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
