cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.11591276
title: Georg Günzer (g0966)

description: -- Documentation --Name: Georg GünzermusiXplora-ID: g0966musiXplora-URI: https://musixplora.de/mxp/g0966Gender: mDate of Death: 1631Place of Death: UndefinedFirst Mentioned: 1601Last Mentioned: 1624Sectors: Instrumentenbau, KircheProfessions (Musical): OrgelbauerOther Places of Activity: AugsburgHerkunftsfamilie:
GroupRoleNamemXp-IDGeschwisterBruderMarx Günzerg0849Titel/Medien:
RoleSigelTitlemXp-IDRelatedFischer & Wohnhaas 1994Lexikon süddeutscher Orgelbauer5001133RelatedMadelung 2011Zwei süddeutsche Orgeln aus dem frühen 17. Jahrhundert. Quellenforschung, Dokumentation, kulturhistorische Interpretation. Dissertation der Universität Augsburg5033720Changelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591277
title: Georg Günzer (g0966)

description: -- Documentation --Name: Georg GünzermusiXplora-ID: g0966musiXplora-URI: https://musixplora.de/mxp/g0966Gender: mDate of Death: 1631Place of Death: UndefinedFirst Mentioned: 1601Last Mentioned: 1624Sectors: Instrumentenbau, KircheProfessions (Musical): OrgelbauerOther Places of Activity: AugsburgHerkunftsfamilie:
GroupRoleNamemXp-IDGeschwisterBruderMarx Günzerg0849Titel/Medien:
RoleSigelTitlemXp-IDRelatedFischer & Wohnhaas 1994Lexikon süddeutscher Orgelbauer5001133RelatedMadelung 2011Zwei süddeutsche Orgeln aus dem frühen 17. Jahrhundert. Quellenforschung, Dokumentation, kulturhistorische Interpretation. Dissertation der Universität Augsburg5033720Changelog:  - v0.0.1: Initial Upload.
DOI: 10.15468/dl.eg3wtt
title: Occurrence Download

description: A dataset containing 24997 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is Europe",
 "CoordinateUncertaintyInMeters 0.0-1000.0",
 "Country is one of (Italy, Poland, Portugal, Denmark, Germany, Sweden, Spain, Norway, France, Austria, Slovenia, Hungary, Romania, Croatia, Bosnia and Herzegovina, Serbia, Kosovo, Bulgaria, Greece, Switzerland, Netherlands, Belarus, Estonia, Slovakia, Belgium, Lithuania, Czechia, Luxembourg, North Macedonia, Albania, Finland)",
 "OccurrenceStatus is Present",
 "TaxonKey is Rangifer tarandus (Linnaeus, 1758)",
 "Year 2000-2023"
 ]
}

 The dataset includes 24997 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0055084-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hhjrha
title: Occurrence Download

description: A dataset containing 417 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Aristida tuberculosa Nutt.)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 417 records from 52 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0070334-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11591278
title: Adam Heinrich Gruber (g0979)

description: -- Documentation --Name: Adam Heinrich GrubermusiXplora-ID: g0979musiXplora-URI: https://musixplora.de/mxp/g0979Gender: mDate of Death: 1734Place of Death: AdorfFirst Mentioned: 1700Sectors: Kirche, Orgelbau, StadtProfessions (Historical): StadtpfeiferProfessions (Musical): Organist, OrgelbauerMain Place of Activity: AdorfOther Places of Activity: ThurnauHerkunftsfamilie:
GroupRoleNamemXp-IDElternSohnJohann Gruberg1334Ausbildung:
GroupRoleNamemXp-IDLehrerInnen und AusbilderInnenLehrerJohann Paul Trampelt0267LehrerInnen und AusbilderInnenSchülerJohann Gruberg1334Arbeitsumfeld:
GroupRoleNamemXp-IDVorgängerInnenVorgängerJohann Paul Trampelt0267Personal:
GroupRoleNamemXp-IDLeitungsfunktionMitarbeiterGruber3030796Titel/Medien:
RoleSigelTitlemXp-IDRelatedBernhard 2003aOrgeldatenbank Bayern5001131RelatedFischer & Wohnhaas 1994Lexikon süddeutscher Orgelbauer5001133RelatedKauert 1969Entstehung, Standorte und Struktur der vogtländischen Musikindustrie. Unter besonderer Berücksichtigung der Veränderung seit der Mitte des 19. Jahrhunderts5033363Changelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591279
title: Adam Heinrich Gruber (g0979)

description: -- Documentation --Name: Adam Heinrich GrubermusiXplora-ID: g0979musiXplora-URI: https://musixplora.de/mxp/g0979Gender: mDate of Death: 1734Place of Death: AdorfFirst Mentioned: 1700Sectors: Kirche, Orgelbau, StadtProfessions (Historical): StadtpfeiferProfessions (Musical): Organist, OrgelbauerMain Place of Activity: AdorfOther Places of Activity: ThurnauHerkunftsfamilie:
GroupRoleNamemXp-IDElternSohnJohann Gruberg1334Ausbildung:
GroupRoleNamemXp-IDLehrerInnen und AusbilderInnenLehrerJohann Paul Trampelt0267LehrerInnen und AusbilderInnenSchülerJohann Gruberg1334Arbeitsumfeld:
GroupRoleNamemXp-IDVorgängerInnenVorgängerJohann Paul Trampelt0267Personal:
GroupRoleNamemXp-IDLeitungsfunktionMitarbeiterGruber3030796Titel/Medien:
RoleSigelTitlemXp-IDRelatedBernhard 2003aOrgeldatenbank Bayern5001131RelatedFischer & Wohnhaas 1994Lexikon süddeutscher Orgelbauer5001133RelatedKauert 1969Entstehung, Standorte und Struktur der vogtländischen Musikindustrie. Unter besonderer Berücksichtigung der Veränderung seit der Mitte des 19. Jahrhunderts5033363Changelog:  - v0.0.1: Initial Upload.
DOI: 10.15468/dl.as2w49
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Maxillaria oxapampensis J.T.Atwood"
 ]
}

 The dataset includes 2 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0054537-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11591282
title: Rupprecht Glanner (g0981)

description: -- Documentation --Name: Rupprecht GlannermusiXplora-ID: g0981musiXplora-URI: https://musixplora.de/mxp/g0981Gender: mFirst Mentioned: 1518Last Mentioned: 1530Sectors: InstrumentenbauProfessions (Musical): OrgelbauerOther Places of Activity: Mariahof/Steiermark, SalzburgChangelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591283
title: Rupprecht Glanner (g0981)

description: -- Documentation --Name: Rupprecht GlannermusiXplora-ID: g0981musiXplora-URI: https://musixplora.de/mxp/g0981Gender: mFirst Mentioned: 1518Last Mentioned: 1530Sectors: InstrumentenbauProfessions (Musical): OrgelbauerOther Places of Activity: Mariahof/Steiermark, SalzburgChangelog:  - v0.0.1: Initial Upload.
DOI: 10.15468/dl.r842wr
title: Occurrence Download

description: A dataset containing 189 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Felis bengalensis Kerr, 1792"
 ]
}

 The dataset includes 189 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0031394-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.zznj8r
title: Occurrence Download

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Orobanche megalantha Harry Sm."
 ]
}

 The dataset includes 8 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0055074-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11591284
title: Ruprecht Glanner (g0982)

description: -- Documentation --Name: Ruprecht GlannermusiXplora-ID: g0982musiXplora-URI: https://musixplora.de/mxp/g0982Gender: mFirst Mentioned: 1569Sectors: InstrumentenbauProfessions (Musical): OrgelbauerOther Places of Activity: SalzburgVerwandtschaft:
GroupRoleNamemXp-IDOnkel und TantenNeffeCaspar Glannerg0363Changelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591285
title: Ruprecht Glanner (g0982)

description: -- Documentation --Name: Ruprecht GlannermusiXplora-ID: g0982musiXplora-URI: https://musixplora.de/mxp/g0982Gender: mFirst Mentioned: 1569Sectors: InstrumentenbauProfessions (Musical): OrgelbauerOther Places of Activity: SalzburgVerwandtschaft:
GroupRoleNamemXp-IDOnkel und TantenNeffeCaspar Glannerg0363Changelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591286
title: Johann Benedikt Gahn (g1155)

description: -- Documentation --Name: Johann Benedikt GahnmusiXplora-ID: g1155musiXplora-URI: https://musixplora.de/mxp/g1155Gender: mConfessions: evangelisch-lutherischDate of Birth: 21 October 1674Place of Birth: NürnbergDate of Death: 27 February 1711Place of Death: NürnbergFirst Mentioned: 1688Last Mentioned: 1705Sectors: InstrumentenbauProfessions (Musical): HolzblasinstrumentenbauerProfessions (Non-Musical): HandwerkerOther Places of Activity: NürnbergArbeitsumfeld:
GroupRoleNamemXp-IDVorgängerInnenNachfolgerJohann Georg Zickz0380Titel/Medien:
RoleSigelTitlemXp-IDRelatedHeyde 1978Flöten5002036RelatedHeyde 1993bMaker's marks on wind instruments. translated by William Waterhouse. In: The New Langwill Index5034219RelatedDegen 1939Zur Geschichte der Blockflöte in den germanischen Ländern. Dissertation der Universität Leipzig5034254RelatedKirnbauer 1992Überlegungen zu den Meisterzeichen Nürnberger Holzblasinstrumentenmacher im 17. und 18. Jahrhundert5034261Ereignisse:
RoleSigelTitlemXp-IDHerstellerHerstellung6001012HerstellerHerstellung6013344HerstellerHerstellung6026022HerstellerHerstellung6026243Changelog:  - v0.0.1: Initial Upload.
DOI: 10.5281/zenodo.11591287
title: Johann Benedikt Gahn (g1155)

description: -- Documentation --Name: Johann Benedikt GahnmusiXplora-ID: g1155musiXplora-URI: https://musixplora.de/mxp/g1155Gender: mConfessions: evangelisch-lutherischDate of Birth: 21 October 1674Place of Birth: NürnbergDate of Death: 27 February 1711Place of Death: NürnbergFirst Mentioned: 1688Last Mentioned: 1705Sectors: InstrumentenbauProfessions (Musical): HolzblasinstrumentenbauerProfessions (Non-Musical): HandwerkerOther Places of Activity: NürnbergArbeitsumfeld:
GroupRoleNamemXp-IDVorgängerInnenNachfolgerJohann Georg Zickz0380Titel/Medien:
RoleSigelTitlemXp-IDRelatedHeyde 1978Flöten5002036RelatedHeyde 1993bMaker's marks on wind instruments. translated by William Waterhouse. In: The New Langwill Index5034219RelatedDegen 1939Zur Geschichte der Blockflöte in den germanischen Ländern. Dissertation der Universität Leipzig5034254RelatedKirnbauer 1992Überlegungen zu den Meisterzeichen Nürnberger Holzblasinstrumentenmacher im 17. und 18. Jahrhundert5034261Ereignisse:
RoleSigelTitlemXp-IDHerstellerHerstellung6001012HerstellerHerstellung6013344HerstellerHerstellung6026022HerstellerHerstellung6026243Changelog:  - v0.0.1: Initial Upload.
DOI: 10.15468/dl.57sqv9
title: Occurrence Download

description: A dataset containing 301467 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Myosotis arvensis (L.) Hill"
 ]
}

 The dataset includes 301467 records from 1841 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0044621-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7h3hny
title: Occurrence Download

description: A dataset containing 2144015 species occurrences available in GBIF matching the query:
{
 "Country" : [
 "is Malaysia"
 ]
}

 The dataset includes 2144015 records from 1193 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0235600-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.99ayyd
title: Occurrence Download

description: A dataset containing 74 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "Year is greater than or equal to 2000",
 "Year is less than or equal to 2024",
 "Geometry POLYGON ((-130.7383528944533 -59.46314024951374, -130.7383528944533 32.71876227804215, -26.26729810228821 32.71876227804215, -26.26729810228821 -59.46314024951374, -130.7383528944533 -59.46314024951374))",
 "OccurrenceStatus is Present",
 "TaxonKey is Aratinga maculata (Müller & Pls, 1776)"
 ]
}

 The dataset includes 74 records from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049770-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ggb8xb
title: Occurrence Download

description: A dataset containing 244534 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is ESP.1.3_1",
 "OccurrenceStatus is Present",
 "TaxonKey is Chordata"
 ]
}

 The dataset includes 244534 records from 52 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005898-210819072339941/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.gr4zzn
title: Occurrence Download

description: A dataset containing 131 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Wimmeria montana Lundell"
 ]
}

 The dataset includes 131 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016294-181108115102211/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8tp34g
title: Occurrence Download

description: A dataset containing 2196 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hypoestes phyllostachya Baker"
 ]
}

 The dataset includes 2196 records from 126 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0276038-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.vpjscv
title: Occurrence Download

description: A dataset containing 4894 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 {
 "or" : [
 "DatasetKey is Observations.be - Non-native species occurrences in Wallonia, Belgium",
 "DatasetKey is Observation.org, Nature data from around the World",
 "DatasetKey is Waarnemingen.be - Non-native plant occurrences in Flanders and the Brussels Capital Region, Belgium",
 "DatasetKey is Artportalen (Swedish Species Observation System)",
 "DatasetKey is ATBI Parc national du Mercantour / Parco naturale Alpi Marittime-Jeux de données provenant de l'ATBI Mercantour",
 "DatasetKey is Sbp-BioBlitz2017_60years-BiodiversityData",
 "DatasetKey is Estonian Nature Observations Database",
 "DatasetKey is Catálogo Florístico Histórico de Navarra. Gobierno de Navarra",
 "DatasetKey is Wikiplantbase #Sardegna",
 "DatasetKey is Wikiplantbase #Liguria",
 "DatasetKey is Wikiplantbase #Toscana",
 "DatasetKey is Wikiplantbase #Italia",
 "DatasetKey is Carnet en Ligne",
 "DatasetKey is ArtenFinder",
 "DatasetKey is Biofokus",
 "DatasetKey is naturgucker"
 ]
 },
 "TaxonKey is Abies alba Mill.",
 "Year 1985-2021"
 ]
}

 The dataset includes 4894 records from 16 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0274899-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.79tt2k
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "TaxonKey is Ceratophrys cranwelli Barrio, 1980"
 ]
}

 The dataset includes 4 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0206897-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.awcm5m
title: Occurrence Download

description: A dataset containing 6237 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "TaxonKey is Persicaria decipiens (R.Br.) K.L.Wilson"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 6237 records from 43 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016295-180508205500799/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.98fqwq
title: Occurrence Download

description: A dataset containing 135455 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Geometry POLYGON((-154.99027 19.91401,-155.5456 19.87765,-155.60886 19.78106,-155.52683 19.48536,-155.24826 19.57133,-154.87807 19.69391,-154.99027 19.91401))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "PublishingOrg is e2e717bf-551a-4917-bdc9-4fa0f342c530",
 "TaxonKey is Aves"
 ]
}

 The dataset includes 135455 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0266767-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.axtah7
title: Occurrence Download

description: A dataset containing 2788 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Grewia mollis Juss."
 ]
}

 The dataset includes 2788 records from 93 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0270973-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.cw2enk
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is India",
 "TaxonKey is Colchicum luteum Baker"
 ]
}

 The dataset includes 16 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016295-190415153152247/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dhvbuz
title: Occurrence Download

description: A dataset containing 1450 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Tilia L.",
 "BasisOfRecord is one of (Specimen)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Continent is North America"
 ]
}

 The dataset includes 1450 records from 25 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0171218-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.gx3pk2
title: Occurrence Download

description: A dataset containing 101 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Specimen",
 "BasisOfRecord is Human Observation"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Melipona eburnea Friese, 1900",
 "Year 1950-2021"
 ]
}

 The dataset includes 101 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0261156-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.c4d3va
title: Occurrence Download

description: A dataset containing 85 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((103.02979 24.36768,101.9751 22.52197,103.90869 18.17139,111.24756 16.06201,118.89404 21.64307,115.86182 25.0708,106.94092 25.77393,103.02979 24.36768))",
 "TaxonKey is Machilus breviflora (Benth.) Hemsl."
 ]
}

 The dataset includes 85 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0235604-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.h0sonm
title: Occurrence Download

description: A dataset containing 704 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "TaxonKey is Persicaria dichotoma (Blume) S.K.Dixit, Datt & G.P.Roy",
 "TaxonKey is Persicaria glabra (Willd.) Gomez de la Maza"
 ]
 },
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 704 records from 54 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016296-180508205500799/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.18126/yc1m-nk41
title: LabDCT data for investigation of 3D strain heterogeneity and fracture studied by X-ray tomography and crystal plasticity in an aluminium alloy
DOI: 10.15454/9qb9u0/2sptet
title: Protocole_expérimental_capsules_ORE_2020.docx

description: :unav
DOI: 10.15454/9qb9u0/6ymypu
title: Résultats_capsules_2021_2022.tab

description: :unav
DOI: 10.15454/9qb9u0/crwvon
title: Protocole_expérimental_capsules_ORE_2021.docx

description: :unav
DOI: 10.15454/9qb9u0/eggri1
title: Fichiers-données_températures.xls

description: :unav
DOI: 10.15454/9qb9u0/go3fdu
title: Fichiers_données_granulométrie.xls

description: :unav
DOI: 10.15454/9qb9u0/kvyqiv
title: Fichiers_données_capsules.xls

description: :unav
DOI: 10.15454/9qb9u0/lwcxjw
title: T°_manipes_capsules_2021_2022.tab

description: :unav
DOI: 10.57745/7ojsno
title: Fichiers_données_capsules.xls

description: :unav
DOI: 10.57745/erugcr
title: Fichiers_données_capsules.xls

description: :unav
DOI: 10.57745/k5rizq
title: Fichiers_données_granulométrie.xls

description: :unav
DOI: 10.57745/neahqj
title: Protocole_expérimental_capsules_ORE_2024.docx

description: :unav
DOI: 10.57745/oq7jao
title: Protocole_expérimental_capsules_ORE_2022.docx

description: :unav
DOI: 10.57745/suu5q2
title: Résultats_capsules_2022_2023.tab

description: :unav
DOI: 10.57745/u6cxcw
title: Fichiers-données_températures.xls

description: :unav
DOI: 10.57745/ziawhq
title: T°_manipes_capsules_2022_2023.tab

description: :unav
DOI: 10.17028/rd.lboro.26271289
title: Supplementary information files for "How do Introduction-to-Proof Textbooks Explain Conditionals and Implications?"

description: Supplementary files for article "How do introduction-to-proof textbooks explain conditionals and implications?"Conditionals are ubiquitous in mathematics: we routinely express theorems using universal conditionals of the form ‘for all 𝑥, if 𝐴(𝑥) then 𝐵(𝑥)’. The logic of universal conditionals is underpinned by that of propositional conditionals, which take the form ‘if 𝐴(𝑥<sub>0</sub>) then 𝐵(𝑥<sub>0</sub>)’, where 𝑥<sub>0</sub> is a specific object. In mathematics, propositional conditionals are subject to a material conditional interpretation: they are true unless 𝐴(𝑥<sub>0</sub>) is true and 𝐵(𝑥<sub>0</sub>) is false. This, unfortunately, makes them peculiar in relation to natural language. Moreover, distinctions between propositional conditionals, universal conditionals, and implications are not always clear. How do introduction-to-proof textbooks deal with these issues? We address this question via a theoretically driven qualitative analysis of 17 texts commonly recommended at UK and US universities. We report on how these texts explain conditionals/implications, how they deal with the peculiarities of the material conditional, and how they discuss related language and reasoning. We then present a theoretical analysis of ambiguities that might leave a student confused, arguing that these arise due to the pragmatics of mathematical communication.<br><br>© The Author(s) CC BY-NC 4.0