About: Craig interpolation

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Theorem

Property	Value
dbo:description	mathematischer Satz (de) theorem (en) twierdzenie logiki matematycznej o predykatach pierwszego rzędu (pl)
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Non-logical_symbol dbr:Sequent_calculus dbr:Variety_(universal_algebra) dbr:Cambridge_University_Press dbr:First-order_logic dbr:Proof_theory dbr:Propositional_logic dbr:Compactness_theorem dbr:Modal_logic dbr:Specification_language dbr:Algorithm dbc:Mathematical_logic dbr:Intuitionistic_logic dbr:Abstract_algebraic_logic dbr:Logical_connective dbc:Lemmas dbr:Mathematical_logic dbr:Model_theory dbr:Constructive_proof dbr:Conjunctive_normal_form dbr:Roger_Lyndon dbr:Robinson's_joint_consistency_theorem dbr:Propositional_variable dbr:Amalgamation_property dbr:Clarendon_Press dbr:Theory_(mathematical_logic) dbr:Entailment dbr:Ontology_(computer_science) dbr:Mu_calculus dbr:Signature_(mathematical_logic) dbr:Well_formed_formula dbr:Big_O_Notation dbr:Consistency_proof dbr:Positive_occurrence dbr:Cut_elimination dbr:Tautological_implication dbr:William_Craig_(logician) dbr:Dov_M._Gabbay dbr:Non-constructive dbr:Modularity_(programming) dbr:Subformula_property
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:= dbt:EquationRef dbt:Pipe_escape dbt:Math_proof dbt:Math_theorem dbt:Abs dbt:NumBlk dbt:Short_description
dct:subject	dbc:Mathematical_logic dbc:Lemmas
gold:hypernym	dbr:Result
rdfs:label	Craig interpolation (en) Craig-Interpolation (de) Théorème d'interpolation de Craig (fr) クレイグの補間定理 (ja) 크레이그의 보간 정리 (ko) Twierdzenie Craiga (pl)
owl:sameAs	yago-res:Craig interpolation freebase:Craig interpolation wikidata:Craig interpolation dbpedia-de:Craig interpolation dbpedia-fr:Craig interpolation dbpedia-ja:Craig interpolation dbpedia-pl:Craig interpolation dbpedia-ko:Craig interpolation dbpedia-global:Craig interpolation
prov:wasDerivedFrom	wikipedia-en:Craig_interpolation?oldid=1293899298&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Craig_interpolation
is dbo:wikiPageDisambiguates of	dbr:Interpolation_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Interpolation_(logic) dbr:Craig's_interpolation_lemma dbr:Craig's_interpolation_theorem dbr:Craig_Interpolation dbr:Craig_interpolation_lemma dbr:Craig_reduct
is dbo:wikiPageWikiLink of	dbr:Independence-friendly_logic dbr:Larisa_Maksimova dbr:Cut-elimination_theorem dbr:Craig's_theorem dbr:Infinitary_logic dbr:Institutional_model_theory dbr:William_Craig_(philosopher) dbr:Interpolation_(disambiguation) dbr:Interpolation_theorem dbr:List_of_lemmas dbr:Roger_Lyndon dbr:Vampire_(theorem_prover) dbr:List_of_theorems dbr:Robinson's_joint_consistency_theorem dbr:Dependence_logic dbr:Joseph_Sgro dbr:Johann_Makowsky dbr:Interpolation_(logic) dbr:Craig's_interpolation_lemma dbr:Craig's_interpolation_theorem dbr:Craig_Interpolation dbr:Craig_interpolation_lemma dbr:Craig_reduct
is foaf:primaryTopic of	wikipedia-en:Craig_interpolation