In the Vinony graph
Vinony's link graph records 22 inbound references to Craig interpolation, and connects out to proof theory, constructive proof and International Standard Book Number.
Vinony files it under Lemmas and Mathematical logic.
Vinony links it to 6 Wikipedia language editions.
Wikidata facts
- Instance of
- theorem
- Part of
- list of theorems
- Main subject
- first-order logic
Show 3 more facts
- maintained by WikiProject
- WikiProject Mathematics
- studied by
- mathematical logic
- proved by
- William Craig
Sources (1)
via Wikidata · CC0
Connections
proof theory
Entity
constructive proof
Entity
International Standard Book Number
Entity
algorithm
Entity
digital object identifier
Entity
mathematical logic
Entity
Oxford University Press
Entity
propositional calculus
Entity
Cambridge University Press
Entity
logical operator
Entity
tautology
Entity
big O notation
Entity
modal logic
Entity
model theory
Entity
Semantic Scholar
Entity
first-order logic
Entity
ontology
Entity
consistency
Entity
logical consequence
Entity
modular programming
Entity