Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Decidable_sublanguages_of_set_theory> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items 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 wikiPageRevisionID "238107553".
- Decidable_sublanguages_of_set_theory hasPhotoCollection Decidable_sublanguages_of_set_theory.
- 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 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 m.04gq9w8.
- Decidable_sublanguages_of_set_theory sameAs Q5249147.
- Decidable_sublanguages_of_set_theory sameAs Q5249147.
- Decidable_sublanguages_of_set_theory wasDerivedFrom Decidable_sublanguages_of_set_theory?oldid=238107553.
- Decidable_sublanguages_of_set_theory isPrimaryTopicOf Decidable_sublanguages_of_set_theory.