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

description: A dataset containing 343 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Carollia perspicillata (Linnaeus, 1758)",
 "Country is Mexico",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "PublishingCountry is Colombia",
 {
 "and" : [
 "Country is Colombia",
 {
 "not" : {
 "Issue" : [
 "is Country coordinate mismatch"
 ]
 }
 }
 ]
 }
 ]
 },
 {
 "and" : [
 "RecordNumber is one of (793, 799, 796, 810)",
 {
 "or" : [
 "RecordedBy is rafael arevalo",
 "RecordedBy ~ Rafael Arévalo"
 ]
 },
 "TaxonKey is one of (Elleanthus aureus (Poepp. & Endl.) Rchb.f., Elleanthus C.Presl, Epidendrum L., Maxillaria arachnites Rchb.f.)"
 ]
 }
 ]
}

 The dataset includes 2 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0049634-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.yw3ezw
title: Occurrence Download

description: A dataset containing 76616 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Gadus morhua sp. morhua",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 616 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "TaxonKey is Allagoptera campestris (Mart.) Kuntze"
 ]
}

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

description: A dataset containing 3855 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Occurrence evidence",
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "License is CC-BY 4.0",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Acer macrophyllum Pursh, Acer negundo L., Acer pensylvanicum L., Acer platanoides L., Acer rubrum L., Acer saccharum Marshall)",
 "Year 1000-2016"
 ]
}

 The dataset includes 3855 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0057591-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.cuvymc
title: Occurrence Download

description: A dataset listing the 190 species recorded in GBIF matching the query:
{
 "and" : [
 "Year 2010-2020",
 "TaxonKey is Phylloscopidae"
 ]
}

 The dataset's 190 records were derived from 660 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0022376-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.8vzzod
title: Occurrence Download

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Specimen"
 ]
 },
 "Country is Chile",
 "PublishingOrg is bf0d80b3-46da-4e60-b1cf-39f2320acb43",
 "Issue is Geodetic datum assumed WGS84",
 "Year 1996-2018",
 {
 "or" : [
 "DatasetKey is Datos observacionales sobre biodiversidad Ministerio del Medio Ambiente 2015",
 "DatasetKey is WFVZ Bird Collections",
 "DatasetKey is Xeno-canto - Bird sounds from around the world"
 ]
 },
 "TaxonKey is Eulidia yarrellii (Bourcier, 1847)"
 ]
}

 The dataset includes 12 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003559-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.jdn326
title: Occurrence Download

description: A dataset containing 37738 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-104.50477 25.13704,-102.65220 25.13704,-102.65220 25.87861,-104.50477 25.87861,-104.50477 25.13704))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 37738 records from 270 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0196548-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.k4fnnc
title: Occurrence Download

description: A dataset containing 1463 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eumops perotis (Schinz, 1821)"
 ]
}

 The dataset includes 1463 records from 76 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0022371-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.i1uwqf
title: Occurrence Download

description: A dataset containing 612 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Crotalus ravus Cope, 1865"
 ]
}

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

description: A dataset containing 351 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "TaxonKey is Pennaria disticha Goldfuss, 1820",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 6874 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Ohio State University Tetrapod Division - Mammal Collection (OSUM)"
 ]
}

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is USA.41_1",
 "TaxonKey is Lepidostoma modestum (Banks, 1905)"
 ]
}

 The dataset includes 3 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0337294-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.7ulita
title: Occurrence Download

description: A dataset containing 2739 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alouatta seniculus (Linnaeus, 1766)"
 ]
}

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

description: A dataset containing 2079 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Microtus richardsoni (DeKay, 1842)"
 ]
}

 The dataset includes 2079 records from 42 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005422-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.qdoice
title: Occurrence Download

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cyclosa berlandi Levi, 1999"
 ]
}

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

description: A dataset containing 53 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Sideritis grandiflora Salzm. ex Benth."
 ]
}

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

description: A dataset containing 261 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tynanthus guatemalensis Donn.Sm."
 ]
}

 The dataset includes 261 records from 41 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005422-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.cs5hap
title: Occurrence Download

description: A dataset containing 23359 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pacifastacus leniusculus (Dana, 1852)"
 ]
}

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

description: A dataset containing 9035 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Andropogon virginicus L."
 ]
}

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

description: A dataset containing 772 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Freshwater Lamprey Survey Data"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Leucas aequistylosa Sebald"
 ]
}

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

description: A dataset containing 748 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-90.63964 13.11154,-87.12583 13.11154,-87.12583 14.51779,-90.63964 14.51779,-90.63964 13.11154))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Zea mays L."
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Geometry POLYGON((121.10522 13.50428,120.96935 13.55188,120.8325 13.58759,120.26809 13.59093,120.11735 13.39854,120.5894 12.8174,120.73636 12.99183,120.66022 12.74356,120.75953 12.65749,121.07627 11.87192,121.92834 12.12044,121.65017 12.47013,121.92834 13.04352,121.10522 13.50428))",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "TaxonKey is Bubalus mindorensis Heude, 1888"
 ]
}

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

description: A dataset listing the 244 species recorded in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Tegulidae"
 ]
}

 The dataset's 244 records were derived from 214 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0251058-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.6nzys8
title: Occurrence Download

description: A dataset containing 1173 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bactrocera oleae (Rossi, 1790)"
 ]
}

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

description: A dataset containing 202 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Haplopappus foliosus (Hook. & Arn.) DC."
 ]
}

 The dataset includes 202 records from 46 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0237439-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.cvysfj
title: Occurrence Download

description: A dataset containing 339474 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is Philippines",
 "DatasetKey is one of (iNaturalist Research-grade Observations, EOD – eBird Observation Dataset)",
 "Geometry POLYGON((-241.26089 13.07776,-244.74606 7.05651,-240.09917 8.20792,-241.72558 4.20505,-240.02172 3.5869,-233.90331 4.89988,-231.81221 8.20792,-232.89649 12.39789,-235.76207 15.03103,-237.54338 13.68053,-239.09234 13.68053,-241.26089 13.07776))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

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

description: A dataset containing 20 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hypericum wilmsii R.Keller"
 ]
}

 The dataset includes 20 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0251078-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.ntx3x3
title: Occurrence Download

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Kazakhstan",
 "OccurrenceStatus is Present",
 "TaxonKey is Amata caspia Staudinger, 1877"
 ]
}

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

description: A dataset containing 48 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Haplopappus mucronatus (Hook. & Arn.) Hook. & Arn."
 ]
}

 The dataset includes 48 records from 19 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0237442-230224095556074/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10607721
title: SMT-LIB release 2023 (non-incremental benchmarks)

description: This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at https://smtlib.cs.uiowa.edu/. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.

This collection contains the non-incremental benchmarks.

Benchmarks are grouped by logic and compressed with the zstd compression algorithm using the tar --zstd. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.
DOI: 10.5281/zenodo.10607722
title: SMT-LIB release 2023 (non-incremental benchmarks)

description: This is the SMT-LIB benchmark library: a large library of input problems, or benchmarks, written in the SMT-LIB language. More information about the SMT-LIB initiative can be found at https://smtlib.cs.uiowa.edu/. The contributor and licence of each benchmark is indicated in the metadata fields of each benchmark file.

This collection contains the non-incremental benchmarks.

Benchmarks are grouped by logic and compressed with the zstd compression algorithm using the tar --zstd. SMT-LIB benchmarks usually have a very high compression rate, be aware of the required disk space when uncompressing the archives. You can find the size of each archive in compressed and uncompressed form in the following list.
DOI: 10.15468/dl.dy32cv
title: Occurrence Download

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Neivamyrmex spoliator (Forel, 1899)"
 ]
}

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

description: A dataset containing 3617 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Brazil",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Hemitriccus striaticollis (Lafresnaye, 1853)"
 ]
}

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

description: A dataset containing 23358 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((4.76628 44.09103,4.86826 44.09103,4.86826 44.16325,4.76628 44.16325,4.76628 44.09103))",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 23358 records from 159 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0260947-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.qbq9ua
title: Occurrence Download

description: A dataset containing 39 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Neivamyrmex texanus Watkins, 1972"
 ]
}

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

description: A dataset containing 189 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tantilla semicincta (Duméril, Bibron & Duméril, 1854)"
 ]
}

 The dataset includes 189 records from 33 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0260945-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.pvjq27
title: Occurrence Download

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Nomamyrmex hartigii (Westwood, 1842)"
 ]
}

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

description: A dataset containing 17 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is France",
 "TaxonKey is Miniopterus schreibersii schreibersii"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((123.13949 11.10161,122.91868 10.93728,122.83138 10.71647,122.78002 10.3724,122.76975 10.17212,122.68759 10.11563,122.48731 10.12077,122.31271 10.05401,122.2819 9.83833,122.31785 9.59697,122.44109 9.38129,122.69272 9.31453,122.76462 9.13479,122.96489 8.93452,123.33464 9.0629,123.39112 9.27345,123.29355 9.43778,123.2422 9.56102,123.2422 9.78184,123.65816 10.73701,123.62221 10.97837,123.13949 11.10161))",
 "TaxonKey is Ptilinopus arcanus Ripley & Rabor, 1955"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0182074-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.