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.

Craig interpolation · Vinony

Home
Lemmas
Craig interpolation

🌐English

English Deutsch Français Polski Português 한국어 日本語

EntityQ1052021· pop 6· linked from 22 articles

Craig interpolation

theorem

Available in 6 languages

Français
Deutsch
日本語
Polski
한국어

via Wikidata sitelinks · CC0

Connections

constructive proof

Categories

Lemmas Mathematical logic

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

digital object identifier

mathematical logic

Oxford University Press

propositional calculus

Cambridge University Press

logical operator

first-order logic

logical consequence

modular programming

Sign in to save

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