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.

computational logic · Vinony

🌐English

English Español Français Português

EntityQ5157327· pop 6· linked from 36 articles

computational logic

use of logic to perform or reason about computation

Available in 6 languages

Español
Português
Basque
Catalan
Esperanto

via Wikidata sitelinks · CC0

Connections

formal verification

John Alan Robinson

Categories

Computational fields of study Logic in computer science

Sources

wikipedia.externallinksexternallink

mathematics

Entity

computer science

International Standard Book Number

mathematical logic

University of Edinburgh

logic programming

philosophical logic

automated reasoning

automated theorem proving

logic in computer science

Robert S. Boyer

Sign in to save

What links here36 pages

computer science

Robert Kowalski

computational thinking

Jacob T. Schwartz

Max Planck Institute for Informatics

Michael Wooldridge

logic in computer science

Similar entities

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

Entitydist 0.28

Entitydist 0.35

logic programming

Entitydist 0.36

Entitydist 0.39

philosophy of logic

Entitydist 0.40

probabilistic logic

Entitydist 0.42

computation tree logic

Entitydist 0.43

Entitydist 0.43

substructural logic

Entitydist 0.44

semantics of logic

Entitydist 0.44

concurrent computing

Entitydist 0.45

Situation calculus

Entitydist 0.45