Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Logic Theorist · Vinony

Home
History of artificial intelligence
Logic Theorist

🌐English

English Deutsch Español Français Nederlands Português Svenska العربية فارسی 한국어 中文日本語

EntityQ4391896· pop 10· linked from 31 articles

Logic Theorist

computer program

Available in 10 languages

Español
Français
中文
日本語
Português
العربية
Svenska
فارسی
한국어

via Wikidata sitelinks · CC0

Connections

Artificial intelligence

Bertrand Russell

Categories

History of artificial intelligence Theorem proving software systems

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

political science

Stanford University

natural selection

mathematical proof

digital object identifier

International Standard Serial Number

Alfred North Whitehead

Prize in Economic Sciences in Memory of Alfred Nobel

assembly language

Library of Congress Control Number

Sign in to save

What links here31 pages

symbolic artificial intelligence

computer-assisted proof

purely functional programming

Edward Feigenbaum

cognitive science

automated reasoning

personal information management

history of psychology

Information Processing Language

functional programming

intelligent tutoring system

automated theorem proving

problem solving

General Problem Solver

history of artificial intelligence

Artificial intelligence

timeline of artificial intelligence

timeline of historic inventions

logic in computer science

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

logic programming

Entitydist 0.24

computational logic

Entitydist 0.28

Inductive logic programming

Entitydist 0.33

Entitydist 0.35

philosophy of logic

Entitydist 0.35

computation tree logic

Entitydist 0.36

Entitydist 0.38

logical language

Entitydist 0.38

complex programmable logic device

Entitydist 0.39

counter machine

Entitydist 0.40

Entitydist 0.41

Situation calculus

Entitydist 0.41