About: dbpedia-fr:Constructivisme_(mathématiques)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

AttributesValues
prop-fr:fr
  • Errett Bishop (fr)
  • Anne Sjerp Troelstra (fr)
  • Controverse Brouwer-Hilbert (fr)
  • Dirk van Dalen (fr)
  • Théorie constructive des types (fr)
prop-fr:langue
  • en (fr)
prop-fr:trad
  • Brouwer–Hilbert controversy (fr)
  • Intuitionistic type theory (fr)
Faceted Search & Find service v1.16.111 as of Oct 19 2022


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 6 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software