Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Implementation_of_mathematics_in_set_theory> }
Showing triples 1 to 15 of
15
with 100 triples per page.
- Journal_of_Formalized_Reasoning academicDiscipline Implementation_of_mathematics_in_set_theory.
- Formalized_mathematics wikiPageRedirects Implementation_of_mathematics_in_set_theory.
- Mathematical_formalization wikiPageRedirects Implementation_of_mathematics_in_set_theory.
- Formalism_(mathematics) wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Formalized_mathematics wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Functional_programming wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Mathematical_formalization wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Mizar_system wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- New_Foundations wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Pocket_set_theory wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- QED_manifesto wikiPageWikiLink Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning discipline Implementation_of_mathematics_in_set_theory.
- Implementation_of_mathematics_in_set_theory primaryTopic Implementation_of_mathematics_in_set_theory.