Matches in DBpedia 2015-10 for { ?s ?p <http://rdf.freebase.com/ns/m.066mz1> }
Showing triples 1 to 6 of
6
with 100 triples per page.
- BHK_interpretation sameAs m.066mz1.
- Brouwer-Heyting-Kolmogorov sameAs m.066mz1.
- Brouwer-Heyting-Kolmogorov_interpretation sameAs m.066mz1.
- Brouwer-Heyting-Kolomogorov_interpretation sameAs m.066mz1.
- Brouwer–Heyting–Kolmogorov_interpretation sameAs m.066mz1.
- Brouwer–Heyting–Kolmogorov_intuitionistic_logic sameAs m.066mz1.