Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Logic Theorist · Vinony

EntityQ4391896· pop 10· linked from 31 articles

Logic Theorist

Sign in to save

computer program

Connections

Artificial intelligence

Bertrand Russell

International Standard Book Number

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

Categories

History of artificial intelligence Theorem proving software systems

Sources

wikipedia.externallinksexternallink

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