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.

Courcelle's theorem · Vinony

EntityQ5178114· pop 5· linked from 17 articles

Courcelle's theorem

Sign in to save

on linear-time algorithms for graph logic

Connections

semantic theory of truth

mathematical logic

P versus NP problem

first-order logic

time complexity

semantics of logic

ground expression

International Standard Book Number

Categories

Graph algorithms Graph minor theory Metatheorems

Sources

wikipedia.externallinksexternallink

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