Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Structure_(mathematical_logic)> ?p ?o }
- Structure_(mathematical_logic) wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Structure_(mathematical_logic) wikiPageWikiLinkText "Model".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Homomorphism problem".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Many-sorted structures".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#Satisfaction relation".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#many-sorted structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "Structure (mathematical logic)#one-sorted structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "algebra".
- Structure_(mathematical_logic) wikiPageWikiLinkText "algebraic structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "definability".
- Structure_(mathematical_logic) wikiPageWikiLinkText "definable over a first order structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "domain".
- Structure_(mathematical_logic) wikiPageWikiLinkText "embeddings".
- Structure_(mathematical_logic) wikiPageWikiLinkText "first-order structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "homomorphism".
- Structure_(mathematical_logic) wikiPageWikiLinkText "homomorphisms".
- Structure_(mathematical_logic) wikiPageWikiLinkText "interpretation function".
- Structure_(mathematical_logic) wikiPageWikiLinkText "many-sorted structures".
- Structure_(mathematical_logic) wikiPageWikiLinkText "mathematical structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "mathematical structures".
- Structure_(mathematical_logic) wikiPageWikiLinkText "model".
- Structure_(mathematical_logic) wikiPageWikiLinkText "models".
- Structure_(mathematical_logic) wikiPageWikiLinkText "one-sorted structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "one-sorted".
- Structure_(mathematical_logic) wikiPageWikiLinkText "sorts".
- Structure_(mathematical_logic) wikiPageWikiLinkText "strong homomorphism".
- Structure_(mathematical_logic) wikiPageWikiLinkText "strong homomorphisms".
- Structure_(mathematical_logic) wikiPageWikiLinkText "structure (mathematical logic)".
- Structure_(mathematical_logic) wikiPageWikiLinkText "structure (mathematical logic)#Interpretation function".
- Structure_(mathematical_logic) wikiPageWikiLinkText "structure".
- Structure_(mathematical_logic) wikiPageWikiLinkText "structures".
- Structure_(mathematical_logic) wikiPageWikiLinkText "two-sorted".
- Structure_(mathematical_logic) wikiPageWikiLinkText "universe".
- Structure_(mathematical_logic) wikiPageWikiLinkText "with ''N'' sorts".
- Structure_(mathematical_logic) hasPhotoCollection Structure_(mathematical_logic).
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:All.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:Citation.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:Citation_needed.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:Main.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:Mathematical_logic.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:More_footnotes.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:See_also.
- Structure_(mathematical_logic) wikiPageUsesTemplate Template:Visible_anchor.
- Structure_(mathematical_logic) subject Category:Mathematical_logic.
- Structure_(mathematical_logic) subject Category:Mathematical_structures.
- Structure_(mathematical_logic) subject Category:Model_theory.
- Structure_(mathematical_logic) subject Category:Universal_algebra.
- Structure_(mathematical_logic) type Thing.
- Structure_(mathematical_logic) comment "In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations, and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces.".
- Structure_(mathematical_logic) label "Structure (mathematical logic)".
- Structure_(mathematical_logic) seeAlso Model_theory.
- Structure_(mathematical_logic) seeAlso Universal_algebra.
- Structure_(mathematical_logic) sameAs Model_(logika).
- Structure_(mathematical_logic) sameAs Struktur_(erste_Stufe).
- Structure_(mathematical_logic) sameAs Estructura_(lógica).
- Structure_(mathematical_logic) sameAs ساختار_(ریاضی).
- Structure_(mathematical_logic) sameAs Structure_(logique_mathématique).
- Structure_(mathematical_logic) sameAs מבנה_(לוגיקה_מתמטית).
- Structure_(mathematical_logic) sameAs Modello_(logica_matematica).
- Structure_(mathematical_logic) sameAs 구조_(논리학).
- Structure_(mathematical_logic) sameAs Estrutura_de_interpretação_(lógica).
- Structure_(mathematical_logic) sameAs m.0bfvql.
- Structure_(mathematical_logic) sameAs Q1851710.
- Structure_(mathematical_logic) sameAs Q1851710.
- Structure_(mathematical_logic) sameAs 结构_(数理逻辑).
- Structure_(mathematical_logic) wasDerivedFrom Structure_(mathematical_logic)?oldid=681196853.
- Structure_(mathematical_logic) isPrimaryTopicOf Structure_(mathematical_logic).