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

description: A dataset containing 398 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Malaysia",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Oryza sativa L.",
 "Year 1999-2023"
 ]
}

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

description: A dataset containing 239 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Indonesia",
 "TaxonKey is Leucopsar rothschildi Stresemann, 1912"
 ]
}

 The dataset includes 239 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016507-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.5yos1i
title: Occurrence Download

description: A dataset containing 2303 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Lepidoptera of the UNESCO biosphere reserve of the Palatinate forest / North Vosges (Germany, France)"
 ]
}

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

description: A dataset containing 84072 species occurrences available in GBIF matching the query:
{
 "DatasetKey" : [
 "is Actualización de la Colección de Artrópodos con importancia médica (CAIM), Laboratorio de Entomología, InDRE"
 ]
}

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

description: A dataset containing 387 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bacteria",
 "DecimalLatitude is greater than 37.5160162445729",
 "DecimalLatitude is less than 38.0806884844627",
 "DecimalLongitude is greater than -122.827385917826",
 "DecimalLongitude is less than -122.107628536225"
 ]
}

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

description: A dataset containing 368 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year 2016-2019",
 "TaxonKey is Anthochaera lunulata Gould, 1838"
 ]
}

 The dataset includes 368 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003558-190307172214381/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.fx75pi
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/0018404-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.1dg0br
title: Occurrence Download

description: A dataset containing 6965 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "License is CC0 1.0",
 "License is CC-BY 4.0"
 ]
 },
 "TaxonKey is Litoria raniformis (Keferstein, 1867)"
 ]
}

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

description: A dataset containing 23 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Geometry POLYGON((-48.47168 -29.15216,-46.27441 -26.43123,-47.06543 -23.64452,-48.03223 -21.37124,-53.39355 -21.28937,-55.23926 -23.32208,-56.29395 -25.48295,-55.85449 -27.83908,-53.39355 -30.90222,-50.22949 -31.27855,-48.47168 -29.15216))",
 "Geometry POLYGON((-46.42822 -22.87744,-45.19775 -24.20689,-42.29736 -23.07973,-43.04443 -21.77991,-43.92334 -20.59165,-45.68115 -20.96144,-46.42822 -22.87744))"
 ]
 },
 "HasCoordinate is true",
 "TaxonKey is Leandra riograndensis (Brade) Wurdack",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 23 records from 11 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0050340-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.cseoap
title: Occurrence Download

description: A dataset containing 38 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Conotrachelus dimidiatus Champion, 1904"
 ]
}

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

description: A dataset containing 3648 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Asclepias incarnata L."
 ]
}

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

description: A dataset containing 4304359 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ardea alba Linnaeus, 1758"
 ]
}

 The dataset includes 4304359 records from 807 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0050333-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.wqcue1
title: Occurrence Download

description: A dataset containing 26 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is iNaturalist Research-grade Observations",
 "HasCoordinate is true",
 "TaxonKey is Phaethornis mexicanus Hartert, 1897",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 41 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Belarus",
 "TaxonKey is Bombus Latreille, 1802"
 ]
}

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

description: A dataset containing 1235 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Saguinus oedipus (Linnaeus, 1758)"
 ]
}

 The dataset includes 1235 records from 59 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0029138-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.y8dksh
title: Occurrence Download

description: A dataset containing 496 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-115.7959 32.6506,-111.07178 31.34323,-106.62231 31.7662,-106.04004 34.47202,-106.23779 36.5814,-107.31445 37.83384,-109.2041 38.38315,-110.56641 38.29526,-111.40137 38.27329,-112.96143 37.72397,-113.73047 37.54819,-114.65332 37.32847,-115.3125 36.86704,-116.56494 35.98967,-115.7959 32.6506))",
 "HasCoordinate is true",
 "TaxonKey is Tamarix ramosissima Ledeb.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 496 records from 28 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0082200-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.n857hz
title: Occurrence Download

description: A dataset containing 1379 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lagostomus maximus (Desmarest, 1817)"
 ]
}

 The dataset includes 1379 records from 52 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0112944-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.rdc6bs
title: Occurrence Download

description: A dataset containing 139 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is United States of America",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Aralia spinosa L.",
 "Year 1990-2020"
 ]
}

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

description: A dataset containing 17 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Material sample",
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Specimen",
 "BasisOfRecord is Unknown evidence"
 ]
 },
 "Continent is Africa",
 {
 "or" : [
 "Country is Senegal",
 "Country is Côte d’Ivoire",
 "Country is Guinea-Bissau",
 "Country is Ghana",
 "Country is Burundi",
 "Country is Liberia",
 "Country is Togo"
 ]
 },
 "HasCoordinate is false",
 "TaxonKey is Hyptis suaveolens (L.) Poit."
 ]
}

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

description: A dataset containing 374 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Satyrium californica (W.H.Edwards, 1862)"
 ]
}

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

description: A dataset containing 586 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lithophaga lithophaga (Linnaeus, 1758)"
 ]
}

 The dataset includes 586 records from 51 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0070352-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.nzk7pj
title: Occurrence Download

description: A dataset containing 2881 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year 1970-2000",
 "HasCoordinate is true",
 "TaxonKey is Cyperus esculentus L.",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 2881 records from 178 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0016410-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.muo4e0
title: Occurrence Download

description: A dataset containing 8463511 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year is 2018",
 "Month is November",
 "HasCoordinate is TRUE"
 ]
}

 The dataset includes 8463511 records from 495 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0036710-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.xm9g58
title: Occurrence Download

description: A dataset containing 1136 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Poeciliopsis infans (Woolman, 1894)"
 ]
}

 The dataset includes 1136 records from 27 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0182127-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.xsyb5b
title: Occurrence Download

description: A dataset containing 155 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hypericum aviculariifolium Jaub. & Spach"
 ]
}

 The dataset includes 155 records from 25 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0251060-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.zfj4ra
title: Occurrence Download

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Neivamyrmex punctaticeps (Emery, 1894)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Callitriche hermaphroditica L.",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 14126 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stenella longirostris (Gray, 1828)"
 ]
}

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

description: A dataset listing the 8 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "GadmGid is GBR",
 "TaxonKey is Spongillidae"
 ]
}

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

description: A dataset containing 64 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is EOD – eBird Observation Dataset",
 "PublishingCountry is Dominica",
 "TaxonKey is Eulampis jugularis (Linnaeus, 1766)",
 "Year 2018-2018"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Oligia leuconephra Hampson, 1908",
 "HasCoordinate is true",
 "Country is Japan",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 128 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Hypericum wightianum Wall. ex Wight & Arn."
 ]
}

 The dataset includes 128 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0251075-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.tff42p
title: Occurrence Download

description: A dataset containing 352 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Living Specimen, Occurrence evidence, Material sample, Human Observation, Specimen)",
 "Geometry POLYGON((120.07168 13.97034,119.96761 13.43605,120.85768 11.80186,121.53139 11.7469,121.78403 12.94659,121.20857 13.50678,120.07168 13.97034))",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Leptobrachium mangyanorum Brown, Siler, Diesmos & Alcala, 2010, Platymantis Günther, 1858)"
 ]
}

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

description: A dataset containing 1230 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Geometry POLYGON((-72.58858 42.72885,-71.99861 42.72885,-71.99861 43.11056,-72.58858 43.11056,-72.58858 42.72885))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Amphibia"
 ]
}

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

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((117.8811 9.45318,118.17637 9.20405,118.7883 8.85717,122.15335 12.11066,122.30099 12.7658,119.90188 12.5997,119.19138 11.75079,119.00683 10.86497,118.40681 10.15769,117.8811 9.45318))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Trimeresurus schultzei Griffin, 1909"
 ]
}

 The dataset includes 10 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0182055-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10607774
title: SMT-LIB release 2023 (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 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.10607775
title: SMT-LIB release 2023 (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 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.pgukdd
title: Occurrence Download

description: A dataset containing 14364 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stenella attenuata (Gray, 1846)"
 ]
}

 The dataset includes 14364 records from 264 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0280699-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.ajneer
title: Occurrence Download

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cystostemon socotranus Balf.fil."
 ]
}

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

description: A dataset containing 36892 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stenella coeruleoalba (Meyen, 1833)"
 ]
}

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

description: A dataset containing 232 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Alligator sinensis Fauvel, 1879"
 ]
}

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