cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15156/bio/sh0140490.10fu
title: SH0140490.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.13145/bacdive152914.20251217.10
title: Curvibacter lanceolatus

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.13145/bacdive152915.20241212.9.2
title: Corynebacterium timonense

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.13145/bacdive152915.20251217.10
title: Corynebacterium timonense

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.13145/bacdive152916.20241212.9.2
title: Sphingomonas aerolata

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.15156/bio/sh0140491.10fu
title: SH0140491.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.13145/bacdive152916.20251217.10
title: Sphingomonas aerolata

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.13145/bacdive152917.20241212.9.2
title: Desulfovibrio fairfieldensis

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.15156/bio/sh0140492.10fu
title: SH0140492.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.3535/j28-pzt-y45
title: Sideridis (Aneda) Sukhareva, 1973

description: Digital Specimen for the physical specimen hosted at Finnish Museum of Natural History.
DOI: 10.3535/ry4-xbz-geh
title: Sideridis (Aneda) Sukhareva, 1973

description: Digital Specimen for the physical specimen hosted at Finnish Museum of Natural History.
DOI: 10.13145/bacdive152917.20251217.10
title: Desulfovibrio fairfieldensis

description: The range of data encompasses taxonomy, morphology, physiology, sampling and concomitant environmental conditions as well as molecular biology.
DOI: 10.15156/bio/sh0140493.10fu
title: SH0140493.10FU

description: UNITE provides a unified way for delimiting, identifying, communicating, and working with DNA-based Species Hypotheses (SH). All fungal ITS sequences in the international nucleotide sequence databases are clustered to approximately the species level by applying a set of dynamic distance values (<0.5 - 3.0%). All species hypotheses are given a unique, stable name in the form of a DOI, and their taxonomic and ecological annotations are verified through distributed, web-based third-party annotation efforts. SHs are connected to a taxon name and its classification as far as possible (phylum, class, order, etc.) by taking into account identifications for all sequences in the SH. An automatically or manually designated sequence is chosen to represent each such SH. These sequences are released (https://unite.ut.ee/repository.php) for use by the scientific community in, for example, local sequence similarity searches and next-generation sequencing analysis pipelines. The system and the data are updated automatically as the number of public fungal ITS sequences grows.
DOI: 10.3535/x4j-b18-dst
title: Sideridis (Aneda) Sukhareva, 1973

description: Digital Specimen for the physical specimen hosted at Finnish Museum of Natural History.
DOI: 10.3535/y1h-bkk-ysb
title: Sideridis (Aneda) Sukhareva, 1973

description: Digital Specimen for the physical specimen hosted at Finnish Museum of Natural History.
DOI: 10.15468/dl.xw7wue
title: Occurrence Download

description: A dataset containing 5250 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Nauclea latifolia Sm.",
 "Continent is Africa"
 ]
}

 The dataset includes 5250 records from 144 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004816-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.10802220
title: Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"

description: These files are associated with the manuscript entitled"Solving Quantified Modal Logic Problems by Translation to Classical Logics"by Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller.

Contact: Alexander Steen <alexander.steen@uni-greifswald.de>

Contents-----------

  - QMLTP-monomodal-NX0.tar.gz    This archive contains the TPTP NX0 representations of the 580 mono-modal    problems translated from the QMLTP library [1,2].      - QMLTP-monomodal-TF0-embedded-rigid-local.tar.gz    This archive contains the embedded TF0 files created     from the monomodal NX0 files using the Logic Embedding Tool [3].      - QMLTP-monomodal-TH0-embedded-rigid-local.tar.gz    This archive contains the embedded TH0 files created     from the monomodal NX0 files using the Logic Embedding Tool [3,4].    - QMLTP-multimodal-NX0-and-embedded.tar.gz    This archive contains the TPTP NX0 representations of the 20 multi-modal    problems translated from the QMLTP library [1,2]. Additionally, it    contains the 20 embedded TF0 and the 20 embedded THF files created     from the NX0 files using the Logic Embedding Tool [3,4].      - QMLTP-primary-evaluation-results-QMLTP.zip    This archive contains the primary evaluation data creating from    running E 3.0.03, Leo-III 1.7.8, Nitpick 2016, Vampire 4.8,     MleanCoP 1.3, nanoCoP-M 2.0 on the problem files.    All reasoning systems except Nitpick were run on the StarExec Miami cluster with a 60s    wall clock and 480 CPU time limit. The StarExec Miami computers have an    octa-core Intel Xeon E5-2667 3.20 GHz CPU, 128 GiB memory, and run the    CentOS Linux release 7.4.1708 operating system. Nitpick was run on a server    with a 60s wall clock time limit. The server has an octa-core Intel Xeon E5-    2609 2.50 GHz CPU, 64 GiB memory, and the CentOS Linux release 7.9.2009    operating system.    - README    This file.            [1] T. Raths and J. Otten. The QMLTP Problem Library for First-Order Modal Logics.    In B. Gramlich, D. Miller, and U. Sattler, editors, Proceedings of the 6th International Joint Conference on Automated Reasoning,    number 7364 in Lecture Notes in Artificial Intelligence, pages 454–461. Springer, 2012.[2] http://www.iltp.de/qmltp/[3] A. Steen. An extensible logic embedding tool for lightweight non-classical reasoning (short paper).    In B. Konev, C. Schon, and A. Steen, editors, Proceedings of the 8th Workshop on Practical Aspects of Automated    Reasoning, number 3201 in CEUR Workshop Proceedings, 2022.[4] https://github.com/leoprover/logic-embedding
DOI: 10.5281/zenodo.10802221
title: Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"

description: These files are associated with the manuscript entitled"Solving Quantified Modal Logic Problems by Translation to Classical Logics"by Alexander Steen, Geoff Sutcliffe, Christoph Benzmüller.

Contact: Alexander Steen <alexander.steen@uni-greifswald.de>

Contents-----------

  - QMLTP-monomodal-NX0.tar.gz    This archive contains the TPTP NX0 representations of the 580 mono-modal    problems translated from the QMLTP library [1,2].      - QMLTP-monomodal-TF0-embedded-rigid-local.tar.gz    This archive contains the embedded TF0 files created     from the monomodal NX0 files using the Logic Embedding Tool [3].      - QMLTP-monomodal-TH0-embedded-rigid-local.tar.gz    This archive contains the embedded TH0 files created     from the monomodal NX0 files using the Logic Embedding Tool [3,4].    - QMLTP-multimodal-NX0-and-embedded.tar.gz    This archive contains the TPTP NX0 representations of the 20 multi-modal    problems translated from the QMLTP library [1,2]. Additionally, it    contains the 20 embedded TF0 and the 20 embedded THF files created     from the NX0 files using the Logic Embedding Tool [3,4].      - QMLTP-primary-evaluation-results-QMLTP.zip    This archive contains the primary evaluation data creating from    running E 3.0.03, Leo-III 1.7.8, Nitpick 2016, Vampire 4.8,     MleanCoP 1.3, nanoCoP-M 2.0 on the problem files.    All reasoning systems except Nitpick were run on the StarExec Miami cluster with a 60s    wall clock and 480 CPU time limit. The StarExec Miami computers have an    octa-core Intel Xeon E5-2667 3.20 GHz CPU, 128 GiB memory, and run the    CentOS Linux release 7.4.1708 operating system. Nitpick was run on a server    with a 60s wall clock time limit. The server has an octa-core Intel Xeon E5-    2609 2.50 GHz CPU, 64 GiB memory, and the CentOS Linux release 7.9.2009    operating system.    - README    This file.            [1] T. Raths and J. Otten. The QMLTP Problem Library for First-Order Modal Logics.    In B. Gramlich, D. Miller, and U. Sattler, editors, Proceedings of the 6th International Joint Conference on Automated Reasoning,    number 7364 in Lecture Notes in Artificial Intelligence, pages 454–461. Springer, 2012.[2] http://www.iltp.de/qmltp/[3] A. Steen. An extensible logic embedding tool for lightweight non-classical reasoning (short paper).    In B. Konev, C. Schon, and A. Steen, editors, Proceedings of the 8th Workshop on Practical Aspects of Automated    Reasoning, number 3201 in CEUR Workshop Proceedings, 2022.[4] https://github.com/leoprover/logic-embedding
DOI: 10.15468/dl.rq6tdn
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Phaethontiformes)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((120 -90,150 -90,150 -60,120 -60,120 -90))"
 ]
}

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

description: A dataset containing 420 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Asthenes hudsoni (P.L.Sclater, 1874)"
 ]
}

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

description: A dataset containing 626 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Volvarina avena (Kiener, 1834)"
 ]
}

 The dataset includes 626 records from 38 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0076183-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/inscriptifact-ouc112030972
title: Cuneiform Tablet 1913.14.1527, Spurlock 1913.14.1527

description: [Text Description:] Administrative tablet ❧ [Text or Publication Number Note:] Spurlock 1913.14.1527; CDLI P421379 ❧ [Medium:] Clay ❧ [Script Note:] Non-Alphabetic Cuneiform ❧ [Physical Object Description:] Yellowish White (10YR 9/2) ❧ [Physical Object Note:] 3.5 x 2.6 x 1.4 cm (11 g)
DOI: 10.25582/data.2023-06.2821692/2370643
title: Data for EMSL Project 51287 from June 2023
DOI: 10.15468/dl.6x2erz
title: Occurrence Download

description: A dataset containing 672 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Agalinis auriculata (Michx.) S.F.Blake"
 ]
}

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

description: A dataset containing 270 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Taenioma perpusillum (J.Agardh) J.Agardh"
 ]
}

 The dataset includes 270 records from 45 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0111511-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/inscriptifact-ouc112031335
title: Cuneiform Tablet 1913.14.1530, Spurlock 1913.14.1530

description: [Text Description:] Administrative tablet ❧ [Text or Publication Number Note:] Spurlock 1913.14.1530; CDLI P421382 ❧ [Medium:] Clay ❧ [Script Note:] Non-Alphabetic Cuneiform ❧ [Physical Object Description:] Yellowish Gray (10YR 8/2) -body Reddish Gray (10R 5/1) -discoloration ❧ [Physical Object Note:] 6.8 x 4.1 x 2.3 cm (60 g)
DOI: 10.25582/data.2023-06.2822215/2370644
title: Data for EMSL Project 51287 from June 2023
DOI: 10.15468/dl.wzee75
title: Occurrence Download

description: A dataset containing 2017017 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-6.54785 42.59623,-1.97754 42.59623,-1.97754 43.70759,-6.54785 43.70759,-6.54785 42.59623))",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 48660 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Year 1970-2000",
 "HasCoordinate is true",
 {
 "or" : [
 "TaxonKey is Malus sylvestris Mill.",
 "TaxonKey is Capparis sicula Veill. ex Duhamel",
 "TaxonKey is Capparis spinosa L.",
 "TaxonKey is Psidium cattleianum Afzel. ex Sabine",
 "TaxonKey is Passiflora edulis Sims",
 "TaxonKey is Manihot esculenta Crantz",
 "TaxonKey is Gossypium hirsutum L.",
 "TaxonKey is Casimiroa edulis La Llave & Lex.",
 "TaxonKey is Bixa orellana L.",
 "TaxonKey is Bactris gasipaes Kunth",
 "TaxonKey is Malus ×micromalus Makino",
 "TaxonKey is Prunus ussuriensis Kovalev & Kostina",
 "TaxonKey is Prunus armeniaca L.",
 "TaxonKey is Piper nigrum L.",
 "TaxonKey is Piper guineense Schumach. & Thonn.",
 "TaxonKey is Garcinia mangostana L.",
 "TaxonKey is Durio zibethinus Murray",
 "TaxonKey is Diospyros kaki L.f.",
 "TaxonKey is Citrus L.",
 "TaxonKey is Citrus paradisii Macfad.",
 "TaxonKey is Citrus maxima (Burm.) Merr.",
 "TaxonKey is Citrus ×aurantium L.",
 "TaxonKey is Actinidia deliciosa (A.Chev.) C.F.Liang & A.R.Ferguson"
 ]
 },
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 48660 records from 465 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009112-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/inscriptifact-ouc112030937
title: Cuneiform Tablet 1913.14.1527, Spurlock 1913.14.1527

description: [Text Description:] Administrative tablet ❧ [Text or Publication Number Note:] Spurlock 1913.14.1527; CDLI P421379 ❧ [Medium:] Clay ❧ [Script Note:] Non-Alphabetic Cuneiform ❧ [Physical Object Description:] Yellowish White (10YR 9/2) ❧ [Physical Object Note:] 3.5 x 2.6 x 1.4 cm (11 g)
DOI: 10.15468/dl.tm94cu
title: Occurrence Download

description: A dataset containing 293 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Calymperes pallidum Mitt."
 ]
}

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

description: A dataset containing 1920 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Scleroderma albidum Pat. & Trab.)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 1920 records from 22 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0064717-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25582/data.2023-06.2822379/2370645
title: Data for EMSL Project 51287 from June 2023
DOI: 10.15468/dl.zvb8z7
title: Occurrence Download

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON ((-75.3621404000000013 39.8650305999999972, -75.3621404000000013 39.8656721899999980, -75.3621404000000013 39.8664512699999989, -75.3621404000000013 39.8666804100000007, -75.3621404000000013 39.8671616000000029, -75.3621404000000013 39.8673220000000015, -75.3615201300000024 39.8673220000000015, -75.3608768299999952 39.8673220000000015, -75.3603943500000071 39.8673220000000015, -75.3600497200000063 39.8673220000000015, -75.3594064199999991 39.8673220000000015, -75.3588779899999963 39.8673220000000015, -75.3584644999999966 39.8673220000000015, -75.3584644999999966 39.8668866300000033, -75.3584644999999966 39.8666574900000015, -75.3584644999999966 39.8662679600000018, -75.3584644999999966 39.8658555000000021, -75.3584644999999966 39.8653514000000015, -75.3584644999999966 39.8650305999999972, -75.3589009699999934 39.8650305999999972, -75.3592685699999976 39.8650305999999972, -75.3597050999999993 39.8650305999999972, -75.3600037700000058 39.8650305999999972, -75.3604402999999934 39.8650305999999972, -75.3607159999999965 39.8650305999999972, -75.3612444299999993 39.8650305999999972, -75.3615890600000000 39.8650305999999972, -75.3621404000000013 39.8650305999999972))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1932",
 "BasisOfRecord is one of (Human Observation, Living Specimen, Observation, Specimen, Machine Observation)"
 ]
}

 The dataset includes 35 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0073804-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/inscriptifact-ouc112031021
title: Cuneiform Tablet 1913.14.1527, Spurlock 1913.14.1527

description: [Text Description:] Administrative tablet ❧ [Text or Publication Number Note:] Spurlock 1913.14.1527; CDLI P421379 ❧ [Medium:] Clay ❧ [Script Note:] Non-Alphabetic Cuneiform ❧ [Physical Object Description:] Yellowish White (10YR 9/2) ❧ [Physical Object Note:] 3.5 x 2.6 x 1.4 cm (11 g)
DOI: 10.15468/dl.4yyuap
title: Occurrence Download

description: A dataset containing 94 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Perymenium chloroleucum S.F.Blake"
 ]
}

 The dataset includes 94 records from 21 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0070827-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25582/data.2023-06.2822087/2370646
title: Data for EMSL Project 51287 from June 2023
DOI: 10.15468/dl.52s284
title: Occurrence Download

description: A dataset containing 74 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is South America",
 "Country is Colombia",
 "TaxonKey is Ephuta subconica Mickel, 1952"
 ]
}

 The dataset includes 74 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0009113-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.25549/inscriptifact-ouc112031119
title: Cuneiform Tablet 1913.14.1527, Spurlock 1913.14.1527

description: [Text Description:] Administrative tablet ❧ [Text or Publication Number Note:] Spurlock 1913.14.1527; CDLI P421379 ❧ [Medium:] Clay ❧ [Script Note:] Non-Alphabetic Cuneiform ❧ [Physical Object Description:] Yellowish White (10YR 9/2) ❧ [Physical Object Note:] 3.5 x 2.6 x 1.4 cm (11 g)
DOI: 10.15468/dl.va2jbv
title: Occurrence Download

description: A dataset containing 60 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Marasmius buxi Fr.)",
 "HasCoordinate is true"
 ]
}

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