Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Alonzo_Church> ?p ?o. }
- Alonzo_Church subject Category:Burials_at_Princeton_Cemetery.
- Alonzo_Church subject Category:Computability_theorists.
- Alonzo_Church subject Category:Harvard_University_alumni.
- Alonzo_Church subject Category:People_from_Washington,_D.C..
- Alonzo_Church subject Category:Princeton_University_alumni.
- Alonzo_Church subject Category:Princeton_University_faculty.
- Alonzo_Church subject Category:University_of_California,_Los_Angeles_faculty.
- Alonzo_Church type 20th-centuryMathematicians.
- Alonzo_Church type Alumnus109786338.
- Alonzo_Church type AmericanLogicians.
- Alonzo_Church type AmericanMathematicians.
- Alonzo_Church type CausalAgent100007347.
- Alonzo_Church type Expert109617867.
- Alonzo_Church type HarvardUniversityAlumni.
- Alonzo_Church type Intellectual109621545.
- Alonzo_Church type LivingThing100004258.
- Alonzo_Church type Logician110269785.
- Alonzo_Church type Mathematician110301261.
- Alonzo_Church type Object100002684.
- Alonzo_Church type Organism100004475.
- Alonzo_Church type Person100007846.
- Alonzo_Church type PhysicalEntity100001930.
- Alonzo_Church type PrincetonUniversityAlumni.
- Alonzo_Church type Scholar110557854.
- Alonzo_Church type Scientist110560637.
- Alonzo_Church type Whole100003553.
- Alonzo_Church type YagoLegalActor.
- Alonzo_Church type YagoLegalActorGeo.
- Alonzo_Church type Agent.
- Alonzo_Church type Person.
- Alonzo_Church type Scientist.
- Alonzo_Church type Person.
- Alonzo_Church type PersonWithOccupation.
- Alonzo_Church type Scientist.
- Alonzo_Church type Q215627.
- Alonzo_Church type Q5.
- Alonzo_Church type Agent.
- Alonzo_Church type NaturalPerson.
- Alonzo_Church type Thing.
- Alonzo_Church type Person.
- Alonzo_Church comment "Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the undecidability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Alonzo Church".
- Alonzo_Church label "Чёрч, Алонзо".
- Alonzo_Church label "ألونزو تشرتش".
- Alonzo_Church label "アロンゾ・チャーチ".
- Alonzo_Church label "阿隆佐·邱奇".
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs アロンゾ・チャーチ.
- Alonzo_Church sameAs 알론조_처치.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church sameAs m.0d6m5.
- Alonzo_Church sameAs Mx4rr9CCkSGgEdaaVQBQ2sS97Q.
- Alonzo_Church sameAs Q92741.
- Alonzo_Church sameAs Q92741.
- Alonzo_Church sameAs Alonzo_Church.
- Alonzo_Church wasDerivedFrom Alonzo_Church?oldid=605611140.
- Alonzo_Church givenName "Alonzo".
- Alonzo_Church isPrimaryTopicOf Alonzo_Church.
- Alonzo_Church name "Alonzo Church".
- Alonzo_Church name "Church, Alonzo".
- Alonzo_Church surname "Church".