Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q7172598> ?p ?o }
Showing triples 1 to 34 of
34
with 100 triples per page.
- Q7172598 subject Q15136896.
- Q7172598 subject Q5312304.
- Q7172598 subject Q7009022.
- Q7172598 subject Q7480595.
- Q7172598 subject Q7920246.
- Q7172598 subject Q8205185.
- Q7172598 subject Q9705570.
- Q7172598 abstract "Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover. A subsystem ETPS (Educational Theorem Proving System) of TPS is used to help students learn logic by interactively constructing natural deduction proofs.".
- Q7172598 thumbnail Peter_Andrews_IMG_0397.jpg?width=300.
- Q7172598 wikiPageExternalLink andrews.html.
- Q7172598 wikiPageWikiLink Q1342.
- Q7172598 wikiPageWikiLink Q15136896.
- Q7172598 wikiPageWikiLink Q15487688.
- Q7172598 wikiPageWikiLink Q170790.
- Q7172598 wikiPageWikiLink Q1709878.
- Q7172598 wikiPageWikiLink Q190080.
- Q7172598 wikiPageWikiLink Q21578.
- Q7172598 wikiPageWikiLink Q30.
- Q7172598 wikiPageWikiLink Q431667.
- Q7172598 wikiPageWikiLink Q449390.
- Q7172598 wikiPageWikiLink Q5312304.
- Q7172598 wikiPageWikiLink Q6294821.
- Q7172598 wikiPageWikiLink Q6295979.
- Q7172598 wikiPageWikiLink Q7009022.
- Q7172598 wikiPageWikiLink Q7480595.
- Q7172598 wikiPageWikiLink Q7782343.
- Q7172598 wikiPageWikiLink Q7920246.
- Q7172598 wikiPageWikiLink Q8205185.
- Q7172598 wikiPageWikiLink Q92741.
- Q7172598 wikiPageWikiLink Q9705570.
- Q7172598 type Thing.
- Q7172598 comment "Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics at Carnegie Mellon University in Pittsburgh, Pennsylvania. He received his Ph.D. from Princeton University in 1964 under the tutelage of Alonzo Church. He received the Herbrand Award in 2003. His research group designed the TPS automated theorem prover.".
- Q7172598 label "Peter B. Andrews".
- Q7172598 depiction Peter_Andrews_IMG_0397.jpg.