About: Signature (logic)

Property	Value
dbo:description	Begriff in der mathematischen Logik (de) matematika logika (in) noción en lógica matemática (es) notion de logique mathématique (fr) notion in mathematical logic (en) nozione della logica matematica (it) termo em lógica matemática (pt) набір символів, що визначають формальну мову системи (uk)
dbo:wikiPageExternalLink	http://planetmath.org/ http://plato.stanford.edu/entries/model-theory/ http://homepages.feis.herts.ac.uk/~comqejb/algspec/pr.html http://planetmath.org/signature http://www.thoralf.uwaterloo.ca/htdocs/ualg.html
dbo:wikiPageWikiLink	dbr:Non-logical_symbol dbr:Finite_set dbr:Cambridge_University_Press dbr:First-order_logic dbr:Set_(mathematics) dbr:Vector_space dbr:Cardinality dbc:Universal_algebra dbr:Propositional_logic dbr:Logic dbr:Formal_language dbr:Arity dbr:Cartesian_product dbr:Springer_Science+Business_Media dbr:Structure_(mathematical_logic) dbr:Algebraic_structure dbc:Model_theory dbr:Mathematical_logic dbr:Model_theory dbr:Universal_algebra dbr:Abelian_group dbr:Term_algebra dbr:Aleph-naught dbr:First-order_language dbr:Wilfred_Hodges dbr:Non-logical_symbols
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Citation_needed dbt:Visible_anchor dbt:Mathematical_logic dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Universal_algebra dbc:Mathematical_logic dbc:Model_theory
rdfs:label	Signature (logic) (en) Signatur (Modelltheorie) (de) Segnatura (logica) (it) Signature (logique) (fr) Assinatura (lógica) (pt) Сигнатура (математическая логика) (ru) Сигнатура (математична логіка) (uk)
owl:sameAs	freebase:Signature (logic) wikidata:Signature (logic) dbpedia-it:Signature (logic) dbpedia-de:Signature (logic) dbpedia-fr:Signature (logic) dbpedia-pt:Signature (logic) dbpedia-fa:Signature (logic) dbpedia-ru:Signature (logic) dbpedia-la:Signature (logic) dbpedia-uk:Signature (logic) dbpedia-global:Signature (logic) dbr:Signature (logic)
prov:wasDerivedFrom	wikipedia-en:Signature_(logic)?oldid=1173025907&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Signature_(logic)
is dbo:wikiPageDisambiguates of	dbr:Signature_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Signature_(mathematical_logic) dbr:Signature_(model_theory) dbr:Signature_(universal_algebra) dbr:Algebraic_signature dbr:Relational_signature
is dbo:wikiPageWikiLink of	dbr:Direct_product dbr:Interpretation_(model_theory) dbr:Subsumption_lattice dbr:Fixed-point_logic dbr:P_versus_NP_problem dbr:Concrete_category dbr:Peano_axioms dbr:Variety_(universal_algebra) dbr:Löwenheim–Skolem_theorem dbr:Many-sorted_logic dbr:Fraïssé_limit dbr:Consistency dbr:First-order_logic dbr:F-coalgebra dbr:ST_type_theory dbr:Vopěnka's_principle dbr:Signature_(disambiguation) dbr:Decidability_(logic) dbr:Atomic_formula dbr:Proof_sketch_for_Gödel's_first_incompleteness_theorem dbr:F-algebra dbr:Forgetful_functor dbr:Epsilon-induction dbr:Elementary_class dbr:Existentially_closed_model dbr:Institution_(computer_science) dbr:Arity dbr:Term_(logic) dbr:Clone_(algebra) dbr:Relation_algebra dbr:List_of_first-order_theories dbr:Cartesian_monoid dbr:Gluing_axiom dbr:Structure_(mathematical_logic) dbr:Quasivariety dbr:Abstract_algebraic_logic dbr:Algebraic_structure dbr:Mathematical_logic dbr:Model_theory dbr:Laws_of_Form dbr:Ultraproduct dbr:Uninterpreted_function dbr:Universal_algebra dbr:Internal_set_theory dbr:Rewriting dbr:C-minimal_theory dbr:List_of_mathematical_logic_topics dbr:Herbrand_structure dbr:Finite_model_property dbr:Substructure_(mathematics) dbr:Leibniz_operator dbr:Axiom_of_choice dbr:Embedding dbr:Second-order_logic dbr:Algebraic_semantics_(computer_science) dbr:True_arithmetic dbr:Hereditary_property dbr:Congruence_lattice_problem dbr:Constructive_set_theory dbr:Dependence_logic dbr:Reduced_product dbr:Term_algebra dbr:Amalgamation_property dbr:Monadic_Boolean_algebra dbr:Łukasiewicz–Moisil_algebra dbr:Quasi-identity dbr:Query_(complexity) dbr:Outline_of_algebraic_structures dbr:Feferman–Vaught_theorem dbr:Interior_algebra dbr:Theory_(mathematical_logic) dbr:Equivalent_definitions_of_mathematical_structures dbr:Signature_(mathematical_logic) dbr:Signature_(model_theory) dbr:Signature_(universal_algebra) dbr:Algebraic_signature dbr:Relational_signature
is foaf:primaryTopic of	wikipedia-en:Signature_(logic)