Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Decidable_sublanguages_of_set_theory> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Decidable_sublanguages_of_set_theory abstract "In mathematical logic, various sublanguages of set theory are decidable. These include: Sets with Monotone, Additive, and Multiplicative Functions. Sets with restricted quantifiers.↑ ↑ ↑ ↑".
- Decidable_sublanguages_of_set_theory wikiPageID "18692872".
- Decidable_sublanguages_of_set_theory wikiPageLength "1371".
- Decidable_sublanguages_of_set_theory wikiPageOutDegree "6".
- Decidable_sublanguages_of_set_theory wikiPageRevisionID "621758026".
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Category:Logic_in_computer_science.
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Category:Model_theory.
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Category:Proof_theory.
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Decidability_(logic).
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Mathematical_logic.
- Decidable_sublanguages_of_set_theory wikiPageWikiLink Set_theory.
- Decidable_sublanguages_of_set_theory wikiPageWikiLinkText "decidable sublanguages of set theory".
- Decidable_sublanguages_of_set_theory wikiPageUsesTemplate Template:Expert-subject.
- Decidable_sublanguages_of_set_theory subject Category:Logic_in_computer_science.
- Decidable_sublanguages_of_set_theory subject Category:Model_theory.
- Decidable_sublanguages_of_set_theory subject Category:Proof_theory.
- Decidable_sublanguages_of_set_theory type Proof.
- Decidable_sublanguages_of_set_theory comment "In mathematical logic, various sublanguages of set theory are decidable. These include: Sets with Monotone, Additive, and Multiplicative Functions. Sets with restricted quantifiers.↑ ↑ ↑ ↑".
- Decidable_sublanguages_of_set_theory label "Decidable sublanguages of set theory".
- Decidable_sublanguages_of_set_theory sameAs Q5249147.
- Decidable_sublanguages_of_set_theory sameAs m.04gq9w8.
- Decidable_sublanguages_of_set_theory sameAs Q5249147.
- Decidable_sublanguages_of_set_theory wasDerivedFrom Decidable_sublanguages_of_set_theory?oldid=621758026.
- Decidable_sublanguages_of_set_theory isPrimaryTopicOf Decidable_sublanguages_of_set_theory.