This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n19http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
n11http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Théorème_d'interpolation_de_Craig
rdfs:label
Théorème d'interpolation de Craig Craig-Interpolation クレイグの補間定理
rdfs:comment
En logique mathématique, le théorème d'interpolation de Craig dit que si une formule φ en implique une deuxième ψ, et que φ et ψ partagent au moins un symbole non logique en commun, alors il existe une formule ρ, appelée interpolant, telle que : * φ implique ρ ; * ρ implique ψ ; * tout symbole non logique dans ρ apparaît à la fois dans φ et ψ.
owl:sameAs
n4:2780242984 dbr:Craig_interpolation dbpedia-de:Craig-Interpolation dbpedia-ko:크레이그의_보간_정리 wikidata:Q1052021 dbpedia-pl:Twierdzenie_Craiga n19:06j1b1 dbpedia-ja:クレイグの補間定理
dbo:wikiPageID
9980697
dbo:wikiPageRevisionID
183942102
dbo:wikiPageWikiLink
dbpedia-fr:Algorithme dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Logique_mathématique dbpedia-fr:Calcul_des_propositions category-fr:Théorème_de_logique_mathématique dbpedia-fr:Théorie_des_modèles category-fr:Lemme_de_mathématiques dbpedia-fr:Formule_(mathématiques) dbpedia-fr:Calcul_des_séquents dbpedia-fr:Validité_(logique)
dbo:wikiPageLength
2854
dct:subject
category-fr:Théorème_de_logique_mathématique category-fr:Lemme_de_mathématiques
prop-fr:wikiPageUsesTemplate
n11:Références n11:Portail n11:Théorème
prov:wasDerivedFrom
wikipedia-fr:Théorème_d'interpolation_de_Craig?oldid=183942102&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_d'interpolation_de_Craig
dbo:namedAfter
wikidata:Q3426246
dbo:abstract
En logique mathématique, le théorème d'interpolation de Craig dit que si une formule φ en implique une deuxième ψ, et que φ et ψ partagent au moins un symbole non logique en commun, alors il existe une formule ρ, appelée interpolant, telle que : * φ implique ρ ; * ρ implique ψ ; * tout symbole non logique dans ρ apparaît à la fois dans φ et ψ.