This HTML5 document contains 60 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/
n22http://uz.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n16http://g.co/kg/m/
dbpedia-hehttp://he.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-cshttp://cs.dbpedia.org/resource/
n4http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
n24http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n7http://mathworld.wolfram.com/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n10http://ma-graph.org/entity/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-idhttp://id.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Structure_(logique_mathématique)
rdfs:label
Structure (mathematical logic) Structure (logique mathématique) Estructura (lógica) Estrutura de interpretação (lógica)
rdfs:comment
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir ). La sémantique de la logique du premier ordre se définit dans une structure.
rdfs:seeAlso
n7:Structure.html
owl:sameAs
dbpedia-id:Struktur_(logika_matematika) n10:191617201 dbpedia-cs:Model_(logika) dbr:Structure_(mathematical_logic) dbpedia-es:Estructura_(lógica) n16:0bfvql wikidata:Q1851710 dbpedia-fa:ساختار_(منطق_ریاضی) n22:Model_(matematik_mantiq) dbpedia-he:מבנה_(לוגיקה_מתמטית) dbpedia-ko:구조_(논리학) dbpedia-de:Struktur_(erste_Stufe) dbpedia-it:Modello_(logica_matematica) dbpedia-pt:Estrutura_de_interpretação_(lógica) dbpedia-zh:结构_(数理逻辑)
dbo:wikiPageID
1088320
dbo:wikiPageRevisionID
188670418
dbo:wikiPageWikiLink
dbpedia-fr:Ensemble dbpedia-fr:Application_(mathématiques) dbpedia-fr:Logique_mathématique dbpedia-fr:Entier_relatif dbpedia-fr:Relation_binaire dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Formule_(mathématiques) dbpedia-fr:Signature_(logique) dbpedia-fr:Arité dbpedia-fr:Algèbre dbpedia-fr:Théorie_axiomatique dbpedia-fr:Algèbre_universelle dbpedia-fr:Axiome dbpedia-fr:Nombre_rationnel dbpedia-fr:Nombre_réel dbpedia-fr:Théorie_des_modèles category-fr:Théorie_des_modèles dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Relation_(mathématiques) dbpedia-fr:Corps_ordonné dbpedia-fr:Nombre_complexe dbpedia-fr:Corps_commutatif dbpedia-fr:Entier_naturel
dbo:wikiPageLength
6960
dct:subject
category-fr:Théorie_des_modèles
prop-fr:wikiPageUsesTemplate
n4:Voir_homonymes n4:Confusion n4:Ébauche n4:Portail n4:Refsou n4:Article_détaillé n24:Référence
prov:wasDerivedFrom
wikipedia-fr:Structure_(logique_mathématique)?oldid=188670418&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Structure_(logique_mathématique)
dbo:abstract
En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir ). La sémantique de la logique du premier ordre se définit dans une structure.
dbo:isPartOf
dbpedia-fr:Théorie_des_modèles dbpedia-fr:Algèbre_universelle