About: Carol Karp

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Carol Karp Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	Thing foaf:Person person scientist schema:Person wikidata:Q19088 wikidata:Q215627 Human wikidata:Q729 wikidata:Q901 dul:NaturalPerson animal eukaryote species
rdfs:label	Carol Karp (fr) Carol Karp (en) Carol Karp (es) كارول كارب (ar)
rdfs:comment	Carol Karp, née Carol Ruth Vander Velde le 10 août 1926 à Forest Grove ( (en)) comté d'Ottawa dans l'état du Michigan aux États-Unis et morte le 20 août 1972 au Maryland, est une mathématicienne américaine. Elle est connue pour ses travaux en logique mathématique, plus spécifiquement en logique des langages infinitaires. (fr)
rdfs:seeAlso	http://isni.org/isni/0000_0001_1062_7518 https://zbmath.org/authors/?q=ai:karp.carol-r http://genealogy.math.ndsu.nodak.edu/id.php?id=9015 http://www-gap.dcs.st-and.ac.uk/~history/Biographies/Karp.html http://prabook.com/web/person-view.html?profileId=2489331 http://snaccooperative.org/ark:/99166/w6w97mc1 http://catalogo.share-cat.unina.it/sharecat/searchNames?n_cluster_id=48130
sameAs	Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp Carol Karp
death place	Maryland
birth place	United States dbpedia-fr:Jamestown_Charter_Township Michigan
Wikipage page ID	9163899 (xsd:integer)
Wikipage revision ID	185381870 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Agnes_Scott_College Alfred Tarski Algebra Association for Symbolic Logic First-order logic dbpedia-fr:Cancer_du_sein dbpedia-fr:Cardinalité_(mathématiques) category-fr:Décès_dans_le_Maryland category-fr:Décès_en_août_1972 category-fr:Mathématicienne_américaine category-fr:Naissance_dans_le_comté_d'Ottawa_(Michigan) category-fr:Naissance_en_août_1926 dbpedia-fr:Comté_d'Ottawa_(Michigan) dbpedia-fr:Dana_S._Scott National Science Foundation dbpedia-fr:Georg_Kreisel dbpedia-fr:Logique_infinitaire dbpedia-fr:Logique_mathématique Ohio dbpedia-fr:Prix_Karp Quantifier (logic) Ronald Jensen dbpedia-fr:Théorie_des_modèles United States Marine Corps University of Southern California University of California, Berkeley University of Maryland, College Park United States dbpedia-fr:Jamestown_Charter_Township Maryland dbpedia-fr:Mathématicien dbpedia-fr:Mathématiques Michigan
Link from a Wikipage to an external page	http://www-history.mcs.st-andrews.ac.uk/Extras/Karp_languages.html http://www.agnesscott.edu/lriddle/women/karp.htm
page length (characters) of wiki page	9609 (xsd:nonNegativeInteger)
dct:subject	category-fr:Décès_dans_le_Maryland category-fr:Décès_en_août_1972 category-fr:Mathématicienne_américaine category-fr:Naissance_dans_le_comté_d'Ottawa_(Michigan) category-fr:Naissance_en_août_1926
foaf:name	(fr) Carol Karp (fr)
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Autorité dbpedia-fr:Modèle:Date_de_décès dbpedia-fr:Modèle:Date_de_naissance dbpedia-fr:Modèle:Homon dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Drapeau

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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, 19 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software