Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Double-negation_translation> }
Showing triples 1 to 46 of
46
with 100 triples per page.
- Double_negation_translation wikiPageRedirects Double-negation_translation.
- Double_negative_translation wikiPageRedirects Double-negation_translation.
- Glivenko_translation wikiPageRedirects Double-negation_translation.
- Glivenkos_theorem wikiPageRedirects Double-negation_translation.
- Glivenkos_translation wikiPageRedirects Double-negation_translation.
- Godel-Gentzen_negative_translation wikiPageRedirects Double-negation_translation.
- Godel–Gentzen_negative_translation wikiPageRedirects Double-negation_translation.
- Gödel-Gentzen_negative_translation wikiPageRedirects Double-negation_translation.
- Gödel-Gentzen_translation wikiPageRedirects Double-negation_translation.
- Gödel–Gentzen_negative_translation wikiPageRedirects Double-negation_translation.
- Gödel–Gentzen_translation wikiPageRedirects Double-negation_translation.
- Kuroda_translation wikiPageRedirects Double-negation_translation.
- Kurodas_translation wikiPageRedirects Double-negation_translation.
- Negative_translation wikiPageRedirects Double-negation_translation.
- ~~-translation wikiPageRedirects Double-negation_translation.
- Continuation-passing_style wikiPageWikiLink Double-negation_translation.
- Curry–Howard_correspondence wikiPageWikiLink Double-negation_translation.
- Dialectica_interpretation wikiPageWikiLink Double-negation_translation.
- Double_Negative wikiPageWikiLink Double-negation_translation.
- Double_negation wikiPageWikiLink Double-negation_translation.
- Double_negation_translation wikiPageWikiLink Double-negation_translation.
- Double_negative_translation wikiPageWikiLink Double-negation_translation.
- Friedman_translation wikiPageWikiLink Double-negation_translation.
- Glivenko_translation wikiPageWikiLink Double-negation_translation.
- Glivenkos_theorem wikiPageWikiLink Double-negation_translation.
- Glivenkos_translation wikiPageWikiLink Double-negation_translation.
- Godel-Gentzen_negative_translation wikiPageWikiLink Double-negation_translation.
- Godel–Gentzen_negative_translation wikiPageWikiLink Double-negation_translation.
- Gödel-Gentzen_negative_translation wikiPageWikiLink Double-negation_translation.
- Gödel-Gentzen_translation wikiPageWikiLink Double-negation_translation.
- Gödel–Gentzen_negative_translation wikiPageWikiLink Double-negation_translation.
- Gödel–Gentzen_translation wikiPageWikiLink Double-negation_translation.
- Heyting_arithmetic wikiPageWikiLink Double-negation_translation.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Double-negation_translation.
- Intuitionistic_logic wikiPageWikiLink Double-negation_translation.
- Kuroda_translation wikiPageWikiLink Double-negation_translation.
- Kurodas_translation wikiPageWikiLink Double-negation_translation.
- Linear_logic wikiPageWikiLink Double-negation_translation.
- List_of_theorems wikiPageWikiLink Double-negation_translation.
- Mathematical_logic wikiPageWikiLink Double-negation_translation.
- Negation wikiPageWikiLink Double-negation_translation.
- Negative_translation wikiPageWikiLink Double-negation_translation.
- Sequent wikiPageWikiLink Double-negation_translation.
- Valery_Glivenko wikiPageWikiLink Double-negation_translation.
- ~~-translation wikiPageWikiLink Double-negation_translation.
- Double-negation_translation primaryTopic Double-negation_translation.