cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.17726031
title: Database of 1-relation monoid word problem decidability proofs

description: The 1-relation monoid word problem decidability proof database is a collection of certificates specifying the decidability of the word problem in many 2-generated 1-relation monoids with relation length at most 10. Decidability of the word problem for all 1-relation monoids is a longstanding open problem in the field of semigroup theory, and this database constitutes the largest enumeration of small instances of the word problem to date. This is an early version of the database and it is being actively worked on as part of a larger effort by the authors to produce an encyclopedia of 1-relation monoid presentations.A Rocq formalization of the theory underpinning the certificates in the database, as well as a method of converting the SA certificates to formal Rocq proofs was developed in order to improve the trustworthiness and reproducibility of the database. The conversion script is available as part of this dataset, for the Rocq formalization, see github.com/hivert/MonoidPresentation/ as well as an upcoming article:



Cirpons, R., Hivert, F., Mahboubi, A., Melquiond, G., Mitchell, J. D., Smith, F. Certifying the decidability of the word problem in monoids at large. To appear. In: Proceedings of the CPP (2026).


For more details on the contents of the database see the files README.md and SA_certificate_format.md. For an introduction to the word problem in 1-relation monoids, we recommend the following survey article on the matter:



Nyberg-Brodda, CF. The word problem for one-relation monoids: a survey. Semigroup Forum 103, 297–355 (2021). https://doi.org/10.1007/s00233-021-10216-8
DOI: 10.5281/zenodo.17726030
title: Database of 1-relation monoid word problem decidability proofs

description: The 1-relation monoid word problem decidability proof database is a collection of certificates specifying the decidability of the word problem in many 2-generated 1-relation monoids with relation length at most 10. Decidability of the word problem for all 1-relation monoids is a longstanding open problem in the field of semigroup theory, and this database constitutes the largest enumeration of small instances of the word problem to date. This is an early version of the database and it is being actively worked on as part of a larger effort by the authors to produce an encyclopedia of 1-relation monoid presentations.A Rocq formalization of the theory underpinning the certificates in the database, as well as a method of converting the SA certificates to formal Rocq proofs was developed in order to improve the trustworthiness and reproducibility of the database. The conversion script is available as part of this dataset, for the Rocq formalization, see github.com/hivert/MonoidPresentation/ as well as an upcoming article:



Cirpons, R., Hivert, F., Mahboubi, A., Melquiond, G., Mitchell, J. D., Smith, F. Certifying the decidability of the word problem in monoids at large. To appear. In: Proceedings of the CPP (2026).


For more details on the contents of the database see the files README.md and SA_certificate_format.md. For an introduction to the word problem in 1-relation monoids, we recommend the following survey article on the matter:



Nyberg-Brodda, CF. The word problem for one-relation monoids: a survey. Semigroup Forum 103, 297–355 (2021). https://doi.org/10.1007/s00233-021-10216-8
DOI: 10.15468/dl.v6v24v
title: Occurrence Download

description: A dataset containing 2863 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Raphia",
 "HasCoordinate is true"
 ]
}

 The dataset includes 2863 records from 151 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0011573-251120083545085/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5517/ccdc.csd.cc2q3ccl
title: CCDC 2505679: Experimental Crystal Structure Determination

description: Related Article: Pamela suzzanamoyo|2025|CSD Communication|||
description: An entry from the Cambridge Structural Database, the world’s repository for small molecule crystal structures. The entry contains experimental data from a crystal diffraction study. The deposited dataset for this entry is freely available from the CCDC and typically includes 3D coordinates, cell parameters, space group, experimental conditions and quality measures.
DOI: 10.15468/dl.gr7hzv
title: Occurrence Download

description: A dataset containing 6689 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is United Kingdom of Great Britain and Northern Ireland",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Martes martes, )",
 "Year 2011-2025"
 ]
}

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

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

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

description: A dataset containing 3096 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Continent is Europe",
 "Country is France",
 "TaxonKey is Lynx",
 "Year 1995-2025"
 ]
}

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

description: A dataset containing 28 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Raorchestes resplendens"
 ]
}

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

description: A dataset containing 1730 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Italy",
 "TaxonKey is Aristolochia rotunda"
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tricarpelema glanduliferum (J.Joseph & R.S.Rao) R.S.Rao"
 ]
}

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

description: A dataset containing 114 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Vaccinium nummularia Hook.fil. & Thomson ex C.B.Clarke"
 ]
}

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

description: A dataset containing 21 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-39.30329 34.33243,-5.18938 34.33243,-5.18938 44.51514,-39.30329 44.51514,-39.30329 34.33243))",
 "TaxonKey is Scopeloberyx opisthopterus (Parr, 1933)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Re-lectotypification of Shivparvatia glanduligera, the type of the genus Shivparvatia (Alsineae, Caryophyllaceae)"
 ]
}

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

description: A dataset containing 105 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "DatasetKey is Geographically tagged INSDC sequences",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Bos grunniens Linnaeus, 1766"
 ]
}

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

description: A dataset containing 10 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tragia fasciculata Beille"
 ]
}

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

description: A dataset listing the 2707 species recorded in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((40.17939 18.68629,96.82061 18.68629,96.82061 41.31371,40.17939 41.31371,40.17939 18.68629))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "PublishingCountry is Pakistan"
 ]
}

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

description: A dataset containing 242172 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "not" : {
 "PublishingCountry" : [
 "is Norway"
 ]
 }
 },
 "Country is Svalbard and Jan Mayen"
 ]
}

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

description: A dataset containing 72 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Paralomis granulosa (Hombron & Jacquinot, 1846)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hornungia procumbens (L.) Hayek",
 "HasCoordinate is true",
 "Country is Iceland",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 2000",
 "CoordinateUncertaintyInMeters is less than 10000"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Carabus yunanensis (Born, 1905)"
 ]
}

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

description: A dataset containing 919 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "OccurrenceStatus is Present",
 "TaxonKey is Morphnus guianensis (Daudin, 1800)",
 "Year 2000-2020"
 ]
}

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

description: A dataset containing 556 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Podarcis guadarramae (Boscá, 1916)"
 ]
}

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

description: A dataset containing 192684 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((40.17939 18.68629,96.82061 18.68629,96.82061 41.31371,40.17939 41.31371,40.17939 18.68629))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "PublishingCountry is Pakistan"
 ]
}

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

description: A dataset containing 83780 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Carum carvi L."
 ]
}

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

description: A dataset containing 710 species occurrences available in GBIF matching the query:
{
 "and" : [
 "InstitutionCode is SANT",
 "OccurrenceStatus is Present",
 "TaxonKey is Jasione L."
 ]
}

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

description: A dataset containing 3692 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Bothrops asper (Garman, 1883)"
 ]
}

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

description: A dataset containing 3407 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Circaetus cinerascens J.W.Von Muller, 1851",
 "HasCoordinate is True",
 "Year is greater than or equal to 1900",
 "Year is less than or equal to 2021",
 "Month is greater than or equal to January",
 "Month is less than or equal to December",
 "HasGeospatialIssue is False"
 ]
}

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

description: A dataset containing 4997200 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Reptilia)",
 "HasCoordinate is true",
 "Geometry POLYGON((-180 -55.713029930472,180 -55.713029930472,180 79.9111626730485,-180 79.9111626730485,-180 -55.713029930472))"
 ]
}

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

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Allium inutile Makino",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Country is Japan"
 ]
}

 The dataset includes 22 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0022639-250402121839773/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15079921
title: Rastreamento dos resultados da análise das entrevistas para a elaboração da primeira versão do catálogo de boas práticas

description: Esse rastreamento contém como a análise das transcrições das entrevistas formulou a primeira versão do guia de boas práticas da pesquisa.
DOI: 10.5281/zenodo.15218935
title: Rastreamento dos resultados da análise das entrevistas para a elaboração da primeira versão do catálogo de boas práticas

description: Esse rastreamento contém como a análise das transcrições das entrevistas formulou a primeira versão do guia de boas práticas da pesquisa.
DOI: 10.5281/zenodo.15219638
title: Rastreamento dos resultados da análise das entrevistas para a elaboração da primeira versão do catálogo de boas práticas

description: Esse rastreamento contém como a análise das transcrições das entrevistas formulou a primeira versão do guia de boas práticas da pesquisa.
DOI: 10.5281/zenodo.14734414
title: Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery

description: Data and processing scripts for "Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery"
DOI: 10.5281/zenodo.14734413
title: Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery

description: Data and processing scripts for "Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery"
DOI: 10.5281/zenodo.15205477
title: Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery

description: Data and processing scripts for "Application of pretrained universal machine-learning interatomic potential for physicochemical simulation of liquid electrolytes in Li-ion battery"
DOI: 10.5281/zenodo.15217934
title: Vulture exclusion halves large carcass decomposition rates and doubles fly abundance_ Data

description: Datasets for "Vulture exclusion halves large carcass decomposition rates and doubles fly abundance" paper.

 

Authors: Julia Grootaers1 (ORCID: 0009-0001-5182-9156), Greta Hernández Campos2 (ORCID:0000-0002-7560-5114), Violeta Marie Montenegro2,3, Rosio Vega Quispe2, Sarah Wicks2 (ORCID:0009-0006-2501-5219), Sara Campos Landázuri2, Eduardo Fabrizio Tubelli2 (ORCID: 0009-0005-0537-5965), Francisco Vega-Reyes2 (ORCID:0009-0004-5314-4355), Enzo Basso2,4 (ORCID: 0000-0003-1514-5897), Andrew Whitworth2 (ORCID: 0000-0001-6197-996X), Andrew Young1 (ORCID: 0000-0003-0560-6549), Christopher Beirne2,1(ORCID: 0000-0003-3988-2031)
DOI: 10.5281/zenodo.15217935
title: Vulture exclusion halves large carcass decomposition rates and doubles fly abundance_ Data

description: Datasets for "Vulture exclusion halves large carcass decomposition rates and doubles fly abundance" paper.

 

Authors: Julia Grootaers1 (ORCID: 0009-0001-5182-9156), Greta Hernández Campos2 (ORCID:0000-0002-7560-5114), Violeta Marie Montenegro2,3, Rosio Vega Quispe2, Sarah Wicks2 (ORCID:0009-0006-2501-5219), Sara Campos Landázuri2, Eduardo Fabrizio Tubelli2 (ORCID: 0009-0005-0537-5965), Francisco Vega-Reyes2 (ORCID:0009-0004-5314-4355), Enzo Basso2,4 (ORCID: 0000-0003-1514-5897), Andrew Whitworth2 (ORCID: 0000-0001-6197-996X), Andrew Young1 (ORCID: 0000-0003-0560-6549), Christopher Beirne2,1(ORCID: 0000-0003-3988-2031)
DOI: 10.15468/dl.nmak4q
title: Occurrence Download

description: A dataset containing 7940 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Zanthoxylum rhoifolium Lam."
 ]
}

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

description: A dataset containing 172 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mikania micrantha Kunth"
 ]
}

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

description: A dataset containing 19506 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Pinus cembra L.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 877 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pseudomys fumeus Brazenor, 1934"
 ]
}

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