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.

Craig interpolation · Vinony

EntityQ1052021· pop 6· linked from 22 articles

Craig interpolation

Sign in to save

theorem

Connections

constructive proof

International Standard Book Number

digital object identifier

mathematical logic

Oxford University Press

propositional calculus

Cambridge University Press

logical operator

first-order logic

logical consequence

modular programming

Categories

Lemmas Mathematical logic

Sources

wikipedia.externallinksexternallink

What links here22 pages

cut-elimination

infinitary logic

Similar entities

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

spline interpolation

Entitydist 0.49

trigonometric interpolation

Entitydist 0.53

Entitydist 0.58

Entitydist 0.62

Craig Clevenger

Entitydist 0.62

Entitydist 0.64

Bézier triangle

Entitydist 0.64

Entitydist 0.64

Entitydist 0.64

Edward Gordon Craig

Entitydist 0.65

Entitydist 0.65

Entitydist 0.65