• Facets (new session)
• Description
• Metadata
• Settings
  • Rule: ActivityStreamsMapasEquivalentb3sb3sifpdbprdf-labelfacetshttp://dbpedia.org/resource/inference/rules/dbpedia#http://dbpedia.org/resource/inference/rules/opencyc#http://dbpedia.org/resource/inference/rules/umbel#http://dbpedia.org/resource/inference/rules/yago#http://dbpedia.org/schema/property_rules#http://www.ontologyportal.org/inference/rules/SUMO#http://www.ontologyportal.org/inference/rules/WordNet#http://www.w3.org/2002/07/owl#ldpoplwebskos-transurn:det:rdf:labelvirtrdf-labelvirtrdf-urlNone
    
  • Inverse Functional Properties: Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects
  • "Same As": Disabled (fastest) Apply to subjects only Apply to objects only Apply to both subjects and objects (recommended) Apply to subjects, objects and predicates (not recommended on big datasets) Apply to predicates only (special use cases only)

About: Peter B. Andrews     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPrincetonUniversityAlumni, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)

Type: Thingpersonyago:WikicatAmericanLogiciansyago:WikicatAmericanMathematiciansyago:WikicatLivingPeopleyago:WikicatMathematicalLogiciansyago:Alumnus109786338yago:CausalAgent100007347yago:Expert109617867yago:Intellectual109621545yago:LivingThing100004258yago:Logician110269785yago:Mathematician110301261yago:Object100002684yago:Organism100004475yago:Person100007846yago:PhysicalEntity100001930yago:YagoLegalActoryago:YagoLegalActorGeoyago:Scholar110557854yago:Scientist110560637yago:Whole100003553yago:WikicatPrincetonUniversityAlumni New Facet based on Instances of this Class

Peter Bruce Andrews (born 1937) is an American mathematician and Professor of Mathematics, Emeritus at Carnegie Mellon University in Pittsburgh, Pennsylvania, and the creator of the mathematical logic Q0. 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.