Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Atomic_model_(mathematical_logic)> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Atomic_model_(mathematical_logic) abstract "In model theory, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas.".
- Atomic_model_(mathematical_logic) wikiPageID "3005202".
- Atomic_model_(mathematical_logic) wikiPageLength "2512".
- Atomic_model_(mathematical_logic) wikiPageOutDegree "7".
- Atomic_model_(mathematical_logic) wikiPageRevisionID "632263335".
- Atomic_model_(mathematical_logic) wikiPageWikiLink Back-and-forth_method.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Cambridge_University_Press.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Category:Model_theory.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Model_theory.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Prime_model.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Real_closed_field.
- Atomic_model_(mathematical_logic) wikiPageWikiLink Type_(model_theory).
- Atomic_model_(mathematical_logic) wikiPageWikiLinkText "Atomic model (mathematical logic)".
- Atomic_model_(mathematical_logic) wikiPageWikiLinkText "atomic model".
- Atomic_model_(mathematical_logic) wikiPageWikiLinkText "atomic models".
- Atomic_model_(mathematical_logic) wikiPageWikiLinkText "atomic".
- Atomic_model_(mathematical_logic) wikiPageUsesTemplate Template:Citation.
- Atomic_model_(mathematical_logic) subject Category:Model_theory.
- Atomic_model_(mathematical_logic) hypernym Model.
- Atomic_model_(mathematical_logic) type Person.
- Atomic_model_(mathematical_logic) comment "In model theory, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them are called complete formulas.".
- Atomic_model_(mathematical_logic) label "Atomic model (mathematical logic)".
- Atomic_model_(mathematical_logic) sameAs Q15308119.
- Atomic_model_(mathematical_logic) sameAs Atomares_Modell.
- Atomic_model_(mathematical_logic) sameAs m.03qc9lf.
- Atomic_model_(mathematical_logic) sameAs Q15308119.
- Atomic_model_(mathematical_logic) wasDerivedFrom Atomic_model_(mathematical_logic)?oldid=632263335.
- Atomic_model_(mathematical_logic) isPrimaryTopicOf Atomic_model_(mathematical_logic).