This HTML5 document contains 201 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n58http://www.cobiss.si/scripts/
n4http://isni.org/isni/
dbpedia-nohttp://no.dbpedia.org/resource/
n53https://zbmath.org/authors/?q=ai:
n34https://inpho.cogs.indiana.edu/idea/thinker/
n30http://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
n66http://id.worldcat.org/fast/
n17http://fr.dbpedia.org/resource/Modèle:
n20http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
dbpedia-hehttp://he.dbpedia.org/resource/
n35http://viaf.org/viaf/
schemahttp://schema.org/
n39http://www.idref.fr/083706216/
n19http://commons.wikimedia.org/wiki/Special:FilePath/
n9https://www.ne.se/uppslagsverk/encyklopedi/lång/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbpedia-pmshttp://pms.dbpedia.org/resource/
n15http://matwbn.icm.edu.pl/ksiazki/fm/fm23/
dcthttp://purl.org/dc/terms/
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11http://g.co/kg/m/
n44https://d-nb.info/gnd/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n55http://openlibrary.org/works/
n29http://genealogy.math.ndsu.nodak.edu/
n27https://id.loc.gov/authorities/names/
xsdhhttp://www.w3.org/2001/XMLSchema#
n26http://fr.dbpedia.org/resource/Modèle:Traduction/
n32http://www.universalis.fr/encyclopedie/
dbpedia-ukhttp://uk.dbpedia.org/resource/
n25https://www.britannica.com/biography/
prop-frhttp://fr.dbpedia.org/property/
n31http://catalogo.share-cat.unina.it/sharecat/
dbpedia-srhttp://sr.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
n51https://ncatlab.org/nlab/show/
n48http://libris.kb.se/resource/auth/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
n36http://www-gap.dcs.st-and.ac.uk/~history/Biographies/
n18http://commons.dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
n21https://snl.no/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
dbpedia-slhttp://sl.dbpedia.org/resource/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
n54http://www.enciclopedia.cat/
provhttp://www.w3.org/ns/prov#
dbpedia-nnhttp://nn.dbpedia.org/resource/
foafhttp://xmlns.com/foaf/0.1/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
n63http://arz.dbpedia.org/resource/
n37https://libris.kb.se/
n64https://data.bibliotheken.nl/doc/thes/
n24http://data.bnf.fr/ark:/12148/cb12982390r#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:Thoralf_Skolem
rdf:type
foaf:Person wikidata:Q5 wikidata:Q729 dbo:Animal n20:NaturalPerson dbo:Eukaryote dbo:Species schema:Person wikidata:Q215627 wikidata:Q19088 owl:Thing dbo:Person
rdfs:label
Thoralf Skolem Albert Thoralf Skolem トアルフ・スコーレム Thoralf Skolem
rdfs:comment
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation.
rdfs:seeAlso
n4:0000_0001_0977_7527 n9:thoralf-skolem n21:Thoralf_Albert_Skolem n25:Thoralf-Albert-Skolem n29:id.php?id=18237 n31:searchNames?n_cluster_id=46731 n32:albert-thoralf-skolem n34:3907.html n36:Skolem.html n51:Thoralf_Skolem n53:skolem.thoralf n54:EC-GEC-0063076.xml n58:cobiss?command=DISPLAY&base=CONOR&rid=209475683
owl:sameAs
n11:02bds6 dbpedia-ja:トアルフ・スコーレム dbpedia-ru:Скулем,_Туральф n18:Thoralf_Skolem wikidata:Q548080 dbpedia-he:תוראלף_סקולם dbpedia-no:Thoralf_Skolem n24:about n27:n84804553 dbpedia-tr:Thoralf_Skolem n30:Թուրալֆ_Սքուլեմ dbr:Thoralf_Skolem n35:59868919 n37:hftwsfr13brddwl dbpedia-pt:Thoralf_Skolem n39:id dbpedia-ko:토랄프_스콜렘 dbpedia-sr:Туралф_Скулем n44:117725447 dbpedia-pl:Thoralf_Skolem dbpedia-nn:Thoralf_Skolem dbpedia-ca:Thoralf_Skolem n48:92461 dbpedia-uk:Туралф_Скулем dbpedia-sk:Thoralf_Skolem n55:OL2255686A dbpedia-sl:Albert_Thoralf_Skolem dbpedia-pms:Thoralf_Albert_Skolem dbpedia-de:Albert_Thoralf_Skolem dbpedia-fa:تورالف_اسکولم dbpedia-it:Albert_Thoralf_Skolem dbpedia-cs:Thoralf_Skolem n63:ثورالف_سكوليم n64:p072506911 dbpedia-nl:Thoralf_Skolem n66:135073
dbo:deathPlace
dbpedia-fr:Oslo
dbo:birthPlace
wikidata:Q6514591
dbo:wikiPageID
1374780
dbo:wikiPageRevisionID
167612721
dbo:wikiPageWikiLink
dbpedia-fr:Wilhelm_Ackermann category-fr:Naissance_dans_l'Østlandet dbpedia-fr:Finitisme dbpedia-fr:Axel_Thue dbpedia-fr:Algèbre_générale dbpedia-fr:Kurt_Gödel dbpedia-fr:Leopold_Löwenheim dbpedia-fr:Théorème_de_Skolem-Noether dbpedia-fr:Entier_naturel dbpedia-fr:Académie_norvégienne_des_sciences_et_des_lettres dbpedia-fr:Botanique dbpedia-fr:Multiplication dbpedia-fr:Kristian_Birkeland dbpedia-fr:Chimie dbpedia-fr:Oslo dbpedia-fr:Zoologie dbpedia-fr:Théorème_de_Skolem-Mahler-Lech dbpedia-fr:Modèle_non_standard_de_l'arithmétique dbpedia-fr:Mojżesz_Presburger dbpedia-fr:Arithmétique_de_Skolem dbpedia-fr:Skolémisation dbpedia-fr:Axiome_du_choix dbpedia-fr:Électron dbpedia-fr:Axiomes_de_Peano dbpedia-fr:Université_de_Göttingen dbpedia-fr:Langage_de_programmation dbpedia-fr:Bergen_(Norvège) dbpedia-fr:David_Hilbert dbpedia-fr:Emmy_Noether dbpedia-fr:Informatique_théorique category-fr:Décès_en_mars_1963 category-fr:Naissance_en_mai_1887 category-fr:Décès_à_Oslo dbpedia-fr:Théorie_des_nombres dbpedia-fr:Aurore_polaire dbpedia-fr:Équation_diophantienne dbpedia-fr:Lumière_zodiacale dbpedia-fr:Théorie_des_modèles category-fr:Personnalité_en_théorie_des_modèles dbpedia-fr:Automorphisme category-fr:Personnalité_en_théorie_des_ensembles dbpedia-fr:Fonction_récursive_primitive category-fr:Mathématicien_norvégien_du_XXe_siècle dbpedia-fr:Giuseppe_Peano dbpedia-fr:Infini category-fr:Personnalité_en_logique_mathématique dbpedia-fr:Fonction_calculable dbpedia-fr:Lemme_de_König dbpedia-fr:Université_d'Oslo dbpedia-fr:Principia_Mathematica dbpedia-fr:Calcul_des_prédicats dbpedia-fr:Principes_de_logique_théorique dbpedia-fr:Suite_de_Skolem dbpedia-fr:Mathématicien dbpedia-fr:Addition dbpedia-fr:Ernst_Schröder dbpedia-fr:Complétude_(logique) dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_des_groupes category-fr:Logicien_norvégien dbpedia-fr:Fundamenta_Mathematicae dbpedia-fr:Théorème_de_Löwenheim-Skolem dbpedia-fr:Théorie_des_ensembles category-fr:Décès_à_75_ans dbpedia-fr:Logique dbpedia-fr:Norvège dbpedia-fr:Charles_Sanders_Peirce dbpedia-fr:Nombre_premier dbpedia-fr:Décidabilité dbpedia-fr:Physique dbpedia-fr:Paradoxe_de_Skolem dbpedia-fr:Treillis_(ensemble_ordonné)
dbo:wikiPageExternalLink
n15:fm23115.pdf
dbo:wikiPageLength
11193
dct:subject
category-fr:Décès_à_75_ans category-fr:Naissance_en_mai_1887 category-fr:Décès_en_mars_1963 category-fr:Logicien_norvégien category-fr:Personnalité_en_logique_mathématique category-fr:Personnalité_en_théorie_des_ensembles category-fr:Personnalité_en_théorie_des_modèles category-fr:Décès_à_Oslo category-fr:Mathématicien_norvégien_du_XXe_siècle category-fr:Naissance_dans_l'Østlandet
prop-fr:wikiPageUsesTemplate
n17:Autorité n17:Article n26:Référence n17:Portail n17:Drapeau2 n17:Langue n17:Infobox_Biographie2 n17:MacTutor
prov:wasDerivedFrom
wikipedia-fr:Thoralf_Skolem?oldid=167612721&ns=0
foaf:depiction
n19:ThoralfSkolem-OB.F06426c.jpg
prop-fr:année
1934
prop-fr:art
Thoralf Skolem
prop-fr:auteur
Thoralf Skolem
prop-fr:id
768371528 Skolem
prop-fr:journal
dbpedia-fr:Fundamenta_Mathematicae
prop-fr:lang
en
prop-fr:langue
de
prop-fr:légende
Thoralf Skolem dans les années 1930.
prop-fr:nom
Thoralf Skolem
prop-fr:numéro
1
prop-fr:pages
150
prop-fr:profession
mathématicien et logicien
prop-fr:title
Thoralf Albert Skolem
prop-fr:titre
Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen
prop-fr:url
n15:fm23115.pdf
prop-fr:volume
23
dbo:thumbnail
n19:ThoralfSkolem-OB.F06426c.jpg?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Thoralf_Skolem
dbo:employer
dbpedia-fr:Université_d'Oslo wikidata:Q5105606
dbo:doctoralStudent
dbpedia-fr:Øystein_Ore
dbo:birthName
Thoralf Albert Skolem
dbo:abstract
Thoralf Albert Skolem (1887-1963) est un mathématicien et logicien norvégien. Il est particulièrement connu pour les travaux en logique mathématique et théorie des ensembles qui portent à présent son nom, comme le théorème de Löwenheim-Skolem ou la notion de skolémisation.
dbo:citizenship
dbpedia-fr:Norvège
dbo:award
wikidata:Q11973343 wikidata:Q13377524 dbpedia-fr:Prix_Nansen
dbo:occupation
dbpedia-fr:Mathématicien wikidata:Q1622272 dbpedia-fr:Philosophe
dbo:discipline
dbpedia-fr:Théorie_des_modèles dbpedia-fr:Algèbre_générale dbpedia-fr:Logique_mathématique dbpedia-fr:Théorie_des_ensembles
dbo:almaMater
dbpedia-fr:Université_d'Oslo
dbo:doctoralAdvisor
dbpedia-fr:Axel_Thue