Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Theory_(mathematical_logic)> ?p ?o. }
Showing items 1 to 41 of
41
with 100 items per page.
- Theory_(mathematical_logic) abstract "In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element of a theory is then called an axiom of the theory, and any sentence that follows from the axioms is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.".
- Theory_(mathematical_logic) wikiPageID "3512103".
- Theory_(mathematical_logic) wikiPageRevisionID "602606479".
- Theory_(mathematical_logic) hasPhotoCollection Theory_(mathematical_logic).
- Theory_(mathematical_logic) subject Category:Concepts.
- Theory_(mathematical_logic) subject Category:Formal_theories.
- Theory_(mathematical_logic) subject Category:Logical_expressions.
- Theory_(mathematical_logic) subject Category:Model_theory.
- Theory_(mathematical_logic) subject Category:Syntax_(logic).
- Theory_(mathematical_logic) type Abstraction100002137.
- Theory_(mathematical_logic) type Appearance104673965.
- Theory_(mathematical_logic) type Attribute100024264.
- Theory_(mathematical_logic) type Cognition100023271.
- Theory_(mathematical_logic) type Concept105835747.
- Theory_(mathematical_logic) type Concepts.
- Theory_(mathematical_logic) type Content105809192.
- Theory_(mathematical_logic) type Countenance104679549.
- Theory_(mathematical_logic) type Explanation105793000.
- Theory_(mathematical_logic) type Expression104679738.
- Theory_(mathematical_logic) type FormalTheories.
- Theory_(mathematical_logic) type HigherCognitiveProcess105770664.
- Theory_(mathematical_logic) type Idea105833840.
- Theory_(mathematical_logic) type LogicalExpressions.
- Theory_(mathematical_logic) type Process105701363.
- Theory_(mathematical_logic) type PsychologicalFeature100023100.
- Theory_(mathematical_logic) type Quality104723816.
- Theory_(mathematical_logic) type Theory105989479.
- Theory_(mathematical_logic) type Thinking105770926.
- Theory_(mathematical_logic) comment "In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element of a theory is then called an axiom of the theory, and any sentence that follows from the axioms is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.".
- Theory_(mathematical_logic) label "Teoria (logika)".
- Theory_(mathematical_logic) label "Theorie (Logik)".
- Theory_(mathematical_logic) label "Theory (mathematical logic)".
- Theory_(mathematical_logic) sameAs Theorie_(Logik).
- Theory_(mathematical_logic) sameAs Θεωρία_(μαθηματική_λογική).
- Theory_(mathematical_logic) sameAs Teoria_(logika).
- Theory_(mathematical_logic) sameAs m.03bxbgt.
- Theory_(mathematical_logic) sameAs Q10859910.
- Theory_(mathematical_logic) sameAs Q10859910.
- Theory_(mathematical_logic) sameAs Theory_(mathematical_logic).
- Theory_(mathematical_logic) wasDerivedFrom Theory_(mathematical_logic)?oldid=602606479.
- Theory_(mathematical_logic) isPrimaryTopicOf Theory_(mathematical_logic).