Craig interpolation

Property	Value
rdf:type	owl:NamedIndividual Lemma Theorem
rdfs:label	Craig interpolation
owl:sameAs	dbr:Craig_interpolation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_theorems http://en.wikipedia.org/wiki/Category:Lemmas http://en.wikipedia.org/wiki/List_of_lemmas http://en.wikipedia.org/wiki/Craig_interpolation http://en.wikipedia.org/wiki/Institutional_model_theory
skos:prefLabel	Craig interpolation
skos:altLabel	interpolation Craig interpolation lemma Craig's interpolation theorem Craig–Lyndon interpolation Craig–Lyndon interpolation theorem interpolants interpolation theorem

About: clgr:Craig_interpolation