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

description: A dataset containing 114 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Nilobezzia, Nychia limpida, Orthotrichia barnardi, Paracyamus, Simocephalus vetuloides, Stylaria fossularis, Stylaria, Pisidium costulosum, Slavina appendiculata, Cladotanytarsus capensis, Cladotanytarsus, Cryptochironomus subovatus, Dicrotendipes pilosimanus, Dicrotendipes, Pentaneura comosa, Cheumatopsyche thomasseti, Elpidelmis, Hydraena, Ochthebius, Cypria, Cypricercus, Micronecta winifreda, Paragomphus cognatus, Simulium harrisoni, Simulium hessei, Simulium impukane, Simulium merops, Afronurus harrisoni, Athripsodes bergensis, Atrichopogon victoriae, Caenis, Choroterpes nigrescens, Elporia barnardi, Oecetis modesta, Petroplax, Petrothrincus, Platychauliodes, Strina, Tricorythus discolor, Cladotanytarsus reductus, Polypedilum pruina, Cricotopus albitibia, Kribiocryptus flaviventris, Stenochironomus, Nanocladius vitellinus, Chaetocladius, Cricotopus bergensis, Thienemanniella antennata, Orthocladius bergensis, Stictochironomus puripennis, Stictochironomus, Rheotanytarsus fuscus, Polypedilum scotti, Stenochironomus pustulatus, Cricotopus scottae, Cardiocladius, Chironomus callichirus, Chironomus formosipennis, Tanytarsus pallidulus, Aprionyx tabularis, Clypeodytes, Petrothrincus circularis, Protodipseudopsis, Smittia atra, Corynoneura elongata, Thienemanniella trivittata, Corynoneura dewulfi, Pentapedilum anale, Thienemanniella lineola, Cryptochironomus lindneri, Polypedilum annulatum, Ephemerellina barnardi, Nymphula, Pentapedilum ruandae, Psectrocladius viridescens, Psectrocladius, Nanocladius brunneus, Corynoneura cristata, Stempellina, Burnupia capensis, Cloeon lacunosum, Glossiphonia disjuncta, Glossiphonia, Lestagella penicillata, Sigara contortuplicata, Aprionyx rubicundus, Agapetus, Batracobdella, Enithares chinai, Gerris zuqualanus, Gerris, , Helobdella, Marsupiobdella africana, Parecnomina resima, Parecnomina, Rhagovelia infernalis africana, Rhagovelia, Leptecho helicothecus, Leptecho)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((15.4784 -23.4046,15.4933 -24.0715,20.509 -24.0715,20.509 -24.0455,20.0952 -23.5072,19.9968 -23.017,19.7843 -22.5405,19.1988 -21.8785,18.5972 -21.5447,17.8859 -21.3993,17.1626 -21.4805,16.5332 -21.7596,16.1257 -22.0882,15.8234 -22.4662,15.606 -22.8993,15.4784 -23.4046))"
 ]
}

 The dataset includes 114 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061691-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.17632/vwnzy3trrr
title: Raw Data: N-glycosylation modulates the inactivation kinetics of the Kv3.4 ion channel

description: Electrophysiology folder contains whole cell voltage-clamp data in nwb (hdf5) file format. A summary html plot for recorded current traces is included in each subfolder. 
WBData folder contains WB images used in the figures of the paper.
DOI: 10.3535/bep-m36-mh4
title: Valerianella costata (Steven) Betcke

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/2f7-brd-n7e
title: Klasea flavescens subsp. cichoracea (L.) Greuter & Wagenitz

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/trv-dl4-elg
title: Allium ampeloprasum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.17632/vwnzy3trrr.2
title: Raw Data: N-glycosylation modulates the inactivation kinetics of the Kv3.4 ion channel

description: Electrophysiology folder contains whole cell voltage-clamp data in nwb (hdf5) file format. A summary html plot for recorded current traces is included in each subfolder. 
WBData folder contains WB images used in the figures of the paper.
DOI: 10.3535/7q0-msh-yvw
title: Senecio siculus All.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ycn-0qp-laj
title: Draba olympicoides Strobl

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/s6b-ec3-6rl
title: Sanicula europaea L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/56l-472-wjb
title: Melittis melissophyllum subsp. albida (Guss.) P.W.Ball

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ghq-7th-zby
title: Geocaryum capillifolium (Guss.) Coss.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.17632/7thdptvg88
title: Nociones de cuidado compasivo

description: Análisis de datos cualitativos sobre las nociones de cuidado compasivo de pacientes hospitalizados en Medellín, Colombia 2023.
DOI: 10.3535/29b-r85-9b0
title: Scandix australis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/zct-vcv-n1p
title: Jacobaea delphiniifolia (Vahl) Pelser & Veldkamp

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.17632/7thdptvg88.1
title: Nociones de cuidado compasivo

description: Análisis de datos cualitativos sobre las nociones de cuidado compasivo de pacientes hospitalizados en Medellín, Colombia 2023.
DOI: 10.3535/epd-vlz-5ad
title: Ptilostemon stellatus (L.) Greuter

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/k85-jw6-ekd
title: Potamogeton natans L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/vcw-kxn-pjw
title: Physospermum verticillatum (Waldst. & Kit.) Vis.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/w4l-f8v-5ge
title: Primula vulgaris Huds.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/q0g-dyc-28z
title: Acanthus dioscoridis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.17632/d6m49czn9c
title: COVID NDS 2020

description: This dataset contains anonymized patient records related to COVID-19 diagnoses, including demographic information, symptoms, PCR test results (PCR, antigen), and clinical outcomes (hospitalization, recovery status). Collected from healthcare facilities from Norte de Santander, Colombia. It spans August 2020–December 2020] and is intended for research on disease patterns and epidemiological trends.
DOI: 10.3535/hdw-5aq-val
title: Polypodium vulgare L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/q6z-403-5r3
title: Solanum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/kvk-wdz-5g9
title: Styrax L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/wc8-m2n-kq2
title: Lepidium draba L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.17632/d6m49czn9c.1
title: COVID NDS 2020

description: This dataset contains anonymized patient records related to COVID-19 diagnoses, including demographic information, symptoms, PCR test results (PCR, antigen), and clinical outcomes (hospitalization, recovery status). Collected from healthcare facilities from Norte de Santander, Colombia. It spans August 2020–December 2020] and is intended for research on disease patterns and epidemiological trends.
DOI: 10.3535/7vf-6k2-2xt
title: Ornithogalum persicum Hausskn. ex Bornm.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/g49-8vf-we3
title: Bunium macuca subsp. atlanticum (Maire) F. M. Vázquez

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/8f3-6vb-hck
title: Dactylis glomerata subsp. hispanica (Roth) Nyman

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/r9a-3ky-ye2
title: Pleurothallis R.Br.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/f1e-m97-w8s
title: Helosciadium inundatum (L.) W. D. J. Koch

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/r56-54l-ltf
title: Cinchona pitayensis (Wedd.) Wedd.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.ja92jz
title: Occurrence Download

description: A dataset containing 257 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-122.34687 38.23295,-122.32354 38.23295,-122.32354 38.24799,-122.34687 38.24799,-122.34687 38.23295))",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 257 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061693-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/mxa-3ra-0bl
title: Linaria corifolia Desf.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.5yfxw6
title: Occurrence Download

description: A dataset containing 28 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Oreochromis mossambicus",
 "Country is Dominican Republic",
 "HasCoordinate is true"
 ]
}

 The dataset includes 28 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061692-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/7x5-alm-7ww
title: Plantago bellardii All.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/etv-fqh-ntb
title: Jasione montana subsp. montana

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/41z-qsm-pwf
title: Silene commutata subsp. commutata

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/qe1-rpe-28b
title: Turanecio eriospermus (DC.) Hamzaoglu

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/drc-sba-8jx
title: Tanacetum eginense (Hausskn. ex Bornm.) Grierson

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/h9d-b66-np4
title: Hieracium L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/w8m-fh9-rxk
title: Achillea arabica Kotschy

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.nwkhmw
title: Occurrence Download

description: A dataset containing 6 records in GBIF matching the query:
SELECT
 kingdom,
 kingdomkey,
 phylum,
 phylumkey,
 class,
 classkey,
 "order",
 orderkey,
 family,
 familykey,
 genus,
 genuskey,
 species,
 specieskey,
 "year",
 COUNT(*) occurrences
FROM
 occurrence
WHERE
 GBIF_WITHIN('POLYGON((113.08646 -35.62443,130.02322 -35.62443,130.02322 -27.41568,113.08646 -27.41568,113.08646 -35.62443))', occurrence.decimallatitude, occurrence.decimallongitude) = TRUE
 AND occurrence.hasgeospatialissues = FALSE
 AND occurrence.occurrencestatus = 'PRESENT'
 AND (CAST(occurrence.taxonkey AS INTEGER) = 5219243 OR CAST(occurrence.acceptedtaxonkey AS INTEGER) = 5219243 OR CAST(occurrence.kingdomkey AS INTEGER) = 5219243 OR CAST(occurrence.phylumkey AS INTEGER) = 5219243 OR CAST(occurrence.classkey AS INTEGER) = 5219243 OR CAST(occurrence.orderkey AS INTEGER) = 5219243 OR CAST(occurrence.familykey AS INTEGER) = 5219243 OR CAST(occurrence.genuskey AS INTEGER) = 5219243 OR CAST(occurrence.specieskey AS INTEGER) = 5219243)
 AND (occurrence."year" &gt;= 2020 AND occurrence."year" &lt;= 2025)
 AND occurrence.hasgeospatialissues = FALSE
 AND NOT GBIF_STRINGARRAYCONTAINS(occurrence.issue, 'TAXON_MATCH_FUZZY', TRUE)
 AND (occurrence.distancefromcentroidinmeters &gt;= 2000.0 OR occurrence.distancefromcentroidinmeters IS NULL)
 AND NOT occurrence.basisofrecord IN ('FOSSIL_SPECIMEN', 'LIVING_SPECIMEN')
 AND (occurrence.specieskey IS NOT NULL AND occurrence."year" IS NOT NULL)
GROUP BY
 occurrence.kingdom,
 occurrence.kingdomkey,
 occurrence.phylum,
 occurrence.phylumkey,
 occurrence.class,
 occurrence.classkey,
 occurrence."order",
 occurrence.orderkey,
 occurrence.family,
 occurrence.familykey,
 occurrence.genus,
 occurrence.genuskey,
 occurrence.species,
 occurrence.specieskey,
 occurrence."year"

 The dataset's 6 records were derived from 5 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061661-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/54v-x40-k89
title: Callipeltis cucullaris (L.) DC.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/w0c-ekk-le9
title: Salvia absconditiflora Greuter & Burdet

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.h7rvy3
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Oreochromis mossambicus",
 "Country is Ecuador",
 "HasCoordinate is true"
 ]
}

 The dataset includes 2 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061694-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/8yx-xfn-zdv
title: Haplophyllum buxbaumii (Poir.) G. Don

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/kts-59s-7nt
title: Centaurea solstitialis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.jyemrx
title: Occurrence Download

description: A dataset containing 620 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Harpactes orrhophaeus",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset includes 620 records from 15 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061695-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/4jl-v4y-r4g
title: Lathyrus miniatus M.Bieb. ex Steven

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.5281/zenodo.15012095
title: SV-Benchmarks: Benchmark Set for Software Verification (SV-COMP 2025)

description: SV-COMP 2025

Benchmark Set

This file is part of an archive for the 14th Competition on Software Verification (SV-COMP 2025). https://sv-comp.sosy-lab.org/2025/

The competition was organized by Dirk Beyer, LMU Munich, Germany and Jan Strejček, Masaryk University, Czechia. More information is available in the following article: Dirk Beyer and Jan Strejček. Improvements in Software Verification and Witness Validation: SV-COMP 2025. In Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025, Hamilton, Canada, May 3–8), 2024. Springer. doi:10.1007/978-3-031-90660-2_9

Copyright (C) 2025 Dirk Beyer and Jan Strejček https://www.sosy-lab.org/people/beyer/ https://www.fi.muni.cz/~xstrejc/

SPDX-License-Identifier: CC-BY-4.0 https://spdx.org/licenses/CC-BY-4.0

Contents

This archive contains a folder with all verification tasks that were used in the competition.

Related Archives

Overview of archives from SV-COMP 2025 that are available at Zenodo:



https://doi.org/10.5281/zenodo.15012077 Verification Witnesses from SV-COMP 2025 Verification Tools. Witness store (containing the generated verification witnesses)

https://doi.org/10.5281/zenodo.15055359 Verifiers and Validators: FM-Tools Data Set for SV-COMP 2025. Metadata snapshot of the evaluated tools (DOIs, options, etc.)

https://doi.org/10.5281/zenodo.15012085 Results of the 14th Intl. Competition on Software Verification (SV-COMP 2025). Results (XML result files, log files, file mappings, HTML tables)

https://doi.org/10.5281/zenodo.15012096 SV-Benchmarks: Benchmark Set of SV-COMP 2025. Verification tasks, version svcomp24

https://doi.org/10.5281/zenodo.15007216 BenchExec, version 3.29. Benchmarking framework

https://doi.org/10.5281/zenodo.12345678 FM-Weck, version … Containerized execution and continuous testing of testers


All benchmarks were executed for SV-COMP 2025 https://sv-comp.sosy-lab.org/2025/ by Dirk Beyer, LMU Munich, based on the following components:



https://gitlab.com/sosy-lab/benchmarking/fm-tools 2.2

https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks svcomp25

https://gitlab.com/sosy-lab/sv-comp/bench-defs svcomp25

https://gitlab.com/sosy-lab/software/benchexec 3.29

https://gitlab.com/sosy-lab/software/benchcloud 1.3.0

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses 2.0.3

https://gitlab.com/sosy-lab/software/coveriteam 1.2.1

https://gitlab.com/sosy-lab/benchmarking/competition-scripts svcomp25


Contact

Feel free to contact me in case of questions: https://www.sosy-lab.org/people/beyer/
DOI: 10.5281/zenodo.15012096
title: SV-Benchmarks: Benchmark Set for Software Verification (SV-COMP 2025)

description: SV-COMP 2025

Benchmark Set

This file is part of an archive for the 14th Competition on Software Verification (SV-COMP 2025). https://sv-comp.sosy-lab.org/2025/

The competition was organized by Dirk Beyer, LMU Munich, Germany and Jan Strejček, Masaryk University, Czechia. More information is available in the following article: Dirk Beyer and Jan Strejček. Improvements in Software Verification and Witness Validation: SV-COMP 2025. In Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025, Hamilton, Canada, May 3–8), 2024. Springer. doi:10.1007/978-3-031-90660-2_9

Copyright (C) 2025 Dirk Beyer and Jan Strejček https://www.sosy-lab.org/people/beyer/ https://www.fi.muni.cz/~xstrejc/

SPDX-License-Identifier: CC-BY-4.0 https://spdx.org/licenses/CC-BY-4.0

Contents

This archive contains a folder with all verification tasks that were used in the competition.

Related Archives

Overview of archives from SV-COMP 2025 that are available at Zenodo:



https://doi.org/10.5281/zenodo.15012077 Verification Witnesses from SV-COMP 2025 Verification Tools. Witness store (containing the generated verification witnesses)

https://doi.org/10.5281/zenodo.15055359 Verifiers and Validators: FM-Tools Data Set for SV-COMP 2025. Metadata snapshot of the evaluated tools (DOIs, options, etc.)

https://doi.org/10.5281/zenodo.15012085 Results of the 14th Intl. Competition on Software Verification (SV-COMP 2025). Results (XML result files, log files, file mappings, HTML tables)

https://doi.org/10.5281/zenodo.15012096 SV-Benchmarks: Benchmark Set of SV-COMP 2025. Verification tasks, version svcomp24

https://doi.org/10.5281/zenodo.15007216 BenchExec, version 3.29. Benchmarking framework

https://doi.org/10.5281/zenodo.12345678 FM-Weck, version … Containerized execution and continuous testing of testers


All benchmarks were executed for SV-COMP 2025 https://sv-comp.sosy-lab.org/2025/ by Dirk Beyer, LMU Munich, based on the following components:



https://gitlab.com/sosy-lab/benchmarking/fm-tools 2.2

https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks svcomp25

https://gitlab.com/sosy-lab/sv-comp/bench-defs svcomp25

https://gitlab.com/sosy-lab/software/benchexec 3.29

https://gitlab.com/sosy-lab/software/benchcloud 1.3.0

https://gitlab.com/sosy-lab/benchmarking/sv-witnesses 2.0.3

https://gitlab.com/sosy-lab/software/coveriteam 1.2.1

https://gitlab.com/sosy-lab/benchmarking/competition-scripts svcomp25


Contact

Feel free to contact me in case of questions: https://www.sosy-lab.org/people/beyer/
DOI: 10.3535/cpv-s92-4xn
title: Convolvulus calvertii Boiss.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/mcm-488-e0v
title: Paracaryum cristatum (Schreb.) Boiss.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/49q-nf9-yj5
title: Cerastium tomentosum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/al3-rr1-99b
title: Paeonia mascula (L.) Mill.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/daz-3a4-t3b
title: Onosma aucheriana DC.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/qg9-96z-76m
title: Asplenium scolopendrium L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/lmw-ne0-73y
title: Salvia argentea L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/s7p-jxz-trn
title: Cerastium tomentosum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/0bv-rmr-x58
title: Coronilla orientalis Mill.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/9bp-9mj-bkj
title: Allium L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/8qj-7n9-v3y
title: Cerastium glomeratum Thuill.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/956-rjq-a75
title: Hypericum lydium Boiss.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/vd5-l2t-ws3
title: Linum punctatum C. Presl

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.15468/dl.myggkt
title: Occurrence Download

description: A dataset containing 3202 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Muscisaxicola frontalis)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

 The dataset includes 3202 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0061696-250717081556266/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.3535/8cc-fef-gnp
title: Carex fritschii Waisb.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/ckh-38l-d0y
title: Herniaria hirsuta L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/b56-8xw-sal
title: Sabulina attica subsp. grandiflora (C. Presl) Nunvárová Kabátová, Chrtek fil., Kolár & Lipánová

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/h8z-6l1-rdc
title: Delphinium elatum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/nf9-4bt-sl6
title: Carex divisa Huds.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/hks-gyk-22w
title: Scirpoides holoschoenus (L.) Soják

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/jz0-1bn-1rl
title: Delphinium elatum L.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/5cw-xm7-ge2
title: Solanaceae Juss.

description: Digital Specimen for the physical specimen hosted at University of Graz.
DOI: 10.3535/a2q-eh6-7ns
title: Ruta chalepensis L.

description: Digital Specimen for the physical specimen hosted at University of Graz.