cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.t6muag
title: Occurrence Download

description: A dataset containing 3639 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plantae",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "Country is Germany",
 "DecimalLongitude is greater than or equal to 7.87033733577859",
 "DecimalLongitude is less than 7.87339688896299",
 "DecimalLatitude is greater than or equal to 47.27011",
 "DecimalLatitude is less than or equal to 55.05864"
 ]
}

 The dataset includes 3639 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0024544-241007104925546/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.11224879
title: LOOPINV100

description: Curated dataset with 100 programs in Dafny, each containing one or more loops and corresponding loop invariants. 

Prepared for exploring automatic loop invariant generation with large language models.
DOI: 10.5281/zenodo.11224880
title: LOOPINV100

description: Curated dataset with 100 programs in Dafny, each containing one or more loops and corresponding loop invariants. 

Prepared for exploring automatic loop invariant generation with large language models.
DOI: 10.15468/dl.aqc3m7
title: Occurrence Download

description: A dataset containing 130356 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Plutella xylostella (Linnaeus, 1767), Spodoptera exigua (Hübner, 1808), Spodoptera litura (Fabricius, 1775), Spodoptera frugiperda J.E.Smith, 1797, Chilo suppressalis Walker, 1863)",
 "Year 2007-2024"
 ]
}

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

description: A dataset containing 118125 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plantae",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "Country is Germany",
 "DecimalLongitude is greater than or equal to 7.87339688896299",
 "DecimalLongitude is less than 7.87645644214738",
 "DecimalLatitude is greater than or equal to 47.27011",
 "DecimalLatitude is less than or equal to 55.05864"
 ]
}

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

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mastigostyla johnstonii R.C.Foster"
 ]
}

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

description: A dataset containing 18593 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cladonia rangiferina (L.) Weber ex F.H.Wigg."
 ]
}

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

description: A dataset containing 9738342 species occurrences available in GBIF matching the query:
{
 "or" : [
 "DatasetKey is SAFRING: Historical Bird Ringing Records (2005-2009)",
 "DatasetKey is Natural History Museum (London) Collection Specimens",
 "DatasetKey is International Barcode of Life project (iBOL)"
 ]
}

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

description: A dataset listing the 201 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is United States of America",
 "Geometry POLYGON((-143.53113 20.60585,-58.54090 20.60585,-58.54090 54.61952,-143.53113 54.61952,-143.53113 20.60585))",
 "HasCoordinate is true",
 "TaxonKey is Acer L.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset's 201 records were derived from 113 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021573-190621201848488/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.yeqrgs
title: Occurrence Download

description: A dataset containing 1915 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Phylloscopus trochiloides (Sundevall, 1837)"
 ]
}

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

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Miconia manarae (Wurdack) Michelang."
 ]
}

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

description: A dataset containing 31889 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Artibeus Leach, 1821",
 "Country is Mexico",
 "HasGeospatialIssue is false",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 5238 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is one of (Europe, North America, South America, Asia, Africa)",
 "OccurrenceStatus is Present",
 "TaxonKey is Elatine triandra Schkuhr"
 ]
}

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

description: A dataset containing 1620 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Monotes kerstingii Gilg"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lupinus hortorum C.P.Sm."
 ]
}

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

description: A dataset containing 45607 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "TaxonKey is Artibeus Leach, 1821",
 "TaxonKey is Dermanura"
 ]
 },
 "Country is Mexico",
 "HasGeospatialIssue is false",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 103 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Gynaephora menyuanensis Menyuan"
 ]
}

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

description: A dataset containing 1676 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Elaeocarpus L.",
 "Country is Malaysia"
 ]
}

 The dataset includes 1676 records from 20 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021581-151016162008034/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.14o34y
title: Occurrence Download

description: A dataset containing 56 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dreissena polymorpha (Pallas, 1771)",
 "Country is Spain"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Begonia glaberrima Urb. & Ekman"
 ]
}

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

description: A dataset containing 47245 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Material sample, Material citation, Living Specimen, Occurrence evidence)",
 "CoordinateUncertaintyInMeters 0.0-500.0",
 "OccurrenceStatus is Present",
 "TaxonKey is Lithobates catesbeianus (Shaw, 1802)",
 "Year 1950-2023"
 ]
}

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

description: A dataset containing 17034 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Toxicodendron"
 ]
}

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

description: A dataset containing 43 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Living Specimen",
 "BasisOfRecord is Specimen"
 ]
 },
 "Year 1945-2019",
 "Geometry POLYGON((88.24219 9.56543,131.48438 9.56543,131.48438 34.52637,88.24219 34.52637,88.24219 9.56543))",
 "HasCoordinate is true",
 "TaxonKey is Senna surattensis (Burm.f.) H.S.Irwin & Barneby",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 43 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021581-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.ewynnk
title: Occurrence Download

description: A dataset containing 5444 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Specimen)",
 "Country is Australia",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Acrobatidae"
 ]
}

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

description: A dataset containing 16949 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Rhamnus lycioides L.",
 "Geometry POLYGON((-17.15 33.17,-17.15 46.56,10.40 46.56,10.40 33.17,-17.15 33.17))",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 54 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Eugeissona Griff."
 ]
}

 The dataset includes 54 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0079706-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.8u4nsx
title: Occurrence Download

description: A dataset containing 1270 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "MediaType is Image",
 "OccurrenceStatus is Present",
 "TaxonKey is Musa ×paradisiaca L."
 ]
}

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

description: A dataset containing 44 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Myocastor coypus (Molina, 1782)",
 "Country is Spain"
 ]
}

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

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Malvastrum fryxellii (S.R.Hill) Krapov."
 ]
}

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

description: A dataset containing 667 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Ochotona collaris (Nelson, 1893)",
 "HasCoordinate is TRUE"
 ]
}

 The dataset includes 667 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008647-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.qjvj2x
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dirachmaceae"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0012131-160118175350007/datasets/export for details.
DOI: 10.15468/dl.433nsn
title: Occurrence Download

description: A dataset containing 27386 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Burhinus bistriatus (Wagler, 1829)"
 ]
}

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

description: A dataset containing 9113 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Observation",
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Material sample",
 "BasisOfRecord is Specimen"
 ]
 },
 {
 "or" : [
 "Country is United States of America",
 "Country is Mexico",
 "Country is Guatemala",
 "Country is Belize",
 "Country is El Salvador",
 "Country is Honduras",
 "Country is Nicaragua",
 "Country is Costa Rica",
 "Country is Panama"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Lysimachia arvensis (L.) U.Manns & Anderb.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 9113 records from 103 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021581-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.7lsn2l
title: Occurrence Download

description: A dataset containing 14574 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ambrosia artemisiifolia L."
 ]
}

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

description: A dataset containing 7242 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Circus ranivorus",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 7242 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0067002-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.dehpur
title: Occurrence Download

description: A dataset containing 46 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Astyanacinus yariguies Torres-Mejia, Hernández & Senechal, 2012"
 ]
}

 The dataset includes 46 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0339253-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/pcra-c14-49888
title: Redemption tidings, vol. 31, nos. 1-26, 7 Jan. - 23 Dec. 1955

description: [description english/roman)] Issued fortnightly (every two weeks). "A full gospel magazine" -- subtitle.
DOI: 10.15468/dl.8wvq7t
title: Occurrence Download

description: A dataset listing the 49 species recorded in GBIF matching the query:
{
 "and" : [
 "GadmGid is COL.24.12_1",
 "OccurrenceStatus is Present",
 "TaxonKey is Amphibia"
 ]
}

 The dataset's 49 records were derived from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0178991-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.kc6pkn
title: Occurrence Download

description: A dataset containing 280 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Rubus acanthodes (Her.Hofmann ex Focke) E.Barber"
 ]
}

 The dataset includes 280 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0105543-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.z7sebq
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Microglanis robustus Ruiz & Shibatta, 2010"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0339274-210914110416597/datasets/export for details.
DOI: 10.15468/dl.swfqwf
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Salix angustifolia Cariot",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0180969-220831081235567/datasets/export for details.
DOI: 10.25549/pcra-c14-49825
title: Redemption tidings, vol. 31, nos. 1-26, 7 Jan. - 23 Dec. 1955

description: [description english/roman)] Issued fortnightly (every two weeks). "A full gospel magazine" -- subtitle.
DOI: 10.15468/dl.er2qq5
title: Occurrence Download

description: A dataset containing 289 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Asthenes heterura",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

 The dataset includes 289 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0062886-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/pcra-c14-49845
title: Redemption tidings, vol. 31, nos. 1-26, 7 Jan. - 23 Dec. 1955

description: [description english/roman)] Issued fortnightly (every two weeks). "A full gospel magazine" -- subtitle.
DOI: 10.15468/dl.pqj9w7
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Nothobranchius sainthousei Nagy, Cotterill & Bellstedt, 2016"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0343675-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/pcra-c14-49921
title: Redemption tidings, vol. 31, nos. 1-26, 7 Jan. - 23 Dec. 1955

description: [description english/roman)] Issued fortnightly (every two weeks). "A full gospel magazine" -- subtitle.