This HTML5 document contains 39 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/
n13https://www.britannica.com/topic/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n12http://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/
dbpedia-pthttp://pt.dbpedia.org/resource/
n17http://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#
dbpedia-ithttp://it.dbpedia.org/resource/
n25http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
prop-frhttp://fr.dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Forme_prénexe
rdfs:label
Forme prénexe Forma preneksowa 前束范式
rdfs:comment
Une formule de la logique du premier ordre est en forme prénexe si tous ses quantificateurs ( et ) apparaissent à gauche dans cette formule. C’est-à-dire, G est en forme prénexe si et seulement si avec et une formule sans quantificateurs. Toutes les formules du premier ordre sont logiquement équivalentes à une formule en forme prénexe. La complexité d'une formule de logique mise en forme prénexe se mesure à son premier quantificateur et au nombre d'alternance de blocs de quantificateurs universels ou existentiels qui le suivent et précèdent la formule sans quantificateur.
rdfs:seeAlso
n13:prenex-normal-form
owl:sameAs
dbpedia-hu:Prenex-formula dbpedia-es:Forma_normal_prenexa dbpedia-nl:Prenex-normaalvorm n12:026gfs dbpedia-pt:Forma_normal_prenex dbpedia-ko:프리넥스_표준형 dbpedia-ca:Forma_prenexa dbpedia-zh:前束范式 wikidata:Q281854 dbpedia-pl:Forma_preneksowa dbr:Prenex_normal_form n25:149122453 dbpedia-it:Forma_prenessa dbpedia-de:Pränexform dbpedia-ja:冠頭標準形
dbo:wikiPageID
1087635
dbo:wikiPageRevisionID
142295921
dbo:wikiPageWikiLink
category-fr:Logique_mathématique category-fr:Logique dbpedia-fr:Élimination_des_quantificateurs dbpedia-fr:Théorème_de_Herbrand dbpedia-fr:Modèle dbpedia-fr:Théorie_des_modèles dbpedia-fr:Variable_libre dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Quantificateur_(logique) dbpedia-fr:Skolémisation
dbo:wikiPageLength
3304
dct:subject
category-fr:Logique category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n17:Portail
prov:wasDerivedFrom
wikipedia-fr:Forme_prénexe?oldid=142295921&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Forme_prénexe
dbo:abstract
Une formule de la logique du premier ordre est en forme prénexe si tous ses quantificateurs ( et ) apparaissent à gauche dans cette formule. C’est-à-dire, G est en forme prénexe si et seulement si avec et une formule sans quantificateurs. Toutes les formules du premier ordre sont logiquement équivalentes à une formule en forme prénexe. La complexité d'une formule de logique mise en forme prénexe se mesure à son premier quantificateur et au nombre d'alternance de blocs de quantificateurs universels ou existentiels qui le suivent et précèdent la formule sans quantificateur.