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.

Courcelle's theorem · Vinony

🌐English

English Deutsch Français Türkçe Русский

EntityQ5178114· pop 5· linked from 17 articles

Courcelle's theorem

on linear-time algorithms for graph logic

Available in 5 languages

Français
Deutsch
Русский
Ukrainian

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Graph algorithms Graph minor theory Metatheorems

Sources

wikipedia.externallinksexternallink

Turing machine

Entity

P versus NP problem

first-order logic

time complexity

semantics of logic

ground expression

International Standard Book Number

Sign in to save

What links here17 pages

second-order logic

distance-hereditary graph

Similar entities

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

Cartesian product of graphs

Entitydist 0.50

Entitydist 0.53

Cayley's formula

Entitydist 0.54

Entitydist 0.58

Entitydist 0.59

predicate transformer semantics

Entitydist 0.62

second-order logic

Entitydist 0.63

Entitydist 0.63

Entitydist 0.63

Entitydist 0.64

Entitydist 0.64

Entitydist 0.65