http://dbpedia.org/class/yago/FormalMethodsPeople

Property	Value
rdfs:label	person
rdfs:subClassOf	yago:Person100007846
is rdf:type of	dbpedia:Adriaan_van_Wijngaarden dbpedia:Alan_Turing dbpedia:Alonzo_Church dbpedia:Amir_Pnueli dbpedia:Andrew_D._Gordon dbpedia:Bertrand_Meyer dbpedia:Bill_Roscoe dbpedia:C._A._R._Hoare dbpedia:Carl_Hewitt dbpedia:Carl_Adam_Petri dbpedia:Christopher_Strachey dbpedia:Cliff_Jones dbpedia:Dana_Scott dbpedia:David_Harel dbpedia:David_Watt dbpedia:David_Parnas dbpedia:Dines_Bj%C3%B8rner dbpedia:Donald_Knuth dbpedia:Don_Sannella dbpedia:Donald_A._MacKenzie dbpedia:Edsger_W._Dijkstra dbpedia:Eric_Hehner dbpedia:Evert_Willem_Beth dbpedia:F._X._Reid dbpedia:Faron_Moller dbpedia:Gerard_J._Holzmann dbpedia:Gordon_Plotkin dbpedia:Harlan_Mills dbpedia:He_Jifeng dbpedia:J._Alan_Robinson dbpedia:J._Anthony_Hall dbpedia:J_Strother_Moore dbpedia:Jan_Bergstra dbpedia:Jean-Raymond_Abrial dbpedia:Jawed_Siddiqi dbpedia:Jeannette_Wing dbpedia:Jim_Horning dbpedia:Jim_Woodcock dbpedia:Joe_Stoy dbpedia:John_Guttag dbpedia:John_C._Reynolds dbpedia:Jonathan_Bowen dbpedia:Joseph_Goguen dbpedia:John_Rushby dbpedia:John_V._Tucker dbpedia:Lawrence_Paulson dbpedia:Leslie_Lamport dbpedia:Liu_Zhiming dbpedia:Martyn_Thomas dbpedia:Matthew_Hennessy dbpedia:Michael_A._Jackson dbpedia:Michael_Hinchey dbpedia:Michael_J._Butler dbpedia:Michael_Fourman dbpedia:Michael_J._C._Gordon dbpedia:Mike_Reed dbpedia:Nancy_Leveson dbpedia:Niklaus_Wirth dbpedia:Ole-Johan_Dahl dbpedia:Patrick_Cousot dbpedia:Peter_Mosses dbpedia:Peter_J._Landin dbpedia:Ralph-Johan_Back dbpedia:Richard_Bornat dbpedia:Robert_Floyd dbpedia:Robin_Milner dbpedia:Rod_Burstall dbpedia:Samson_Abramsky dbpedia:Tom_Maibaum dbpedia:Ursula_Martin dbpedia:Zhou_Chaochen dbpedia:Jane_Hillston dbpedia:Rajeev_Alur dbpedia:John_McCarthy_(computer_scientist) dbpedia:David_May_(computer_scientist) dbpedia:John_Fitzgerald_(computer_scientist) dbpedia:Robin_Green_(computer_scientist)

About: person