Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Alan_Bundy> ?p ?o. }
- Alan_Bundy type YagoLegalActorGeo.
- Alan_Bundy type Agent.
- Alan_Bundy type Person.
- Alan_Bundy type Scientist.
- Alan_Bundy type Person.
- Alan_Bundy type Scientist.
- Alan_Bundy type Q215627.
- Alan_Bundy type Q5.
- Alan_Bundy type Agent.
- Alan_Bundy type NaturalPerson.
- Alan_Bundy type Thing.
- Alan_Bundy type Person.
- Alan_Bundy comment "Alan Richard Bundy, CBE, FRS, FREng, FRSE, FBCS, FAAAI, FECCAI, FAISB, is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof-planning, the use of meta-level reasoning to guide proof search.".
- Alan_Bundy label "Alan Bundy".
- Alan_Bundy sameAs m.0g0x3w.
- Alan_Bundy sameAs Q4706277.
- Alan_Bundy sameAs Q4706277.
- Alan_Bundy sameAs 101226.
- Alan_Bundy sameAs Alan_Bundy.
- Alan_Bundy wasDerivedFrom Alan_Bundy?oldid=602891434.
- Alan_Bundy depiction Alan.Bundy.Image.jpg.
- Alan_Bundy givenName "Alan".
- Alan_Bundy isPrimaryTopicOf Alan_Bundy.
- Alan_Bundy name "Alan Bundy".
- Alan_Bundy name "Bundy, Alan".
- Alan_Bundy name "Professor Alan Bundy".
- Alan_Bundy surname "Bundy".