cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.5805981
title: Non-embeddability of standard contexts of lattices of integer partitions

description: We consider lattices of integer partitions ordered by dominance, and their standard contexts as studied in formal concept analysis. The present dataset provides evidence that the standard context of the partition lattice for \(n = 9\) cannot be embedded into the one for \(n = 10\). Further context and a detailed description of the files in the dataset can be obtained from the file context_embeddings.pdf (the code source for this file is given in context_embeddings.tex).
DOI: 10.5281/zenodo.5805982
title: Non-embeddability of standard contexts of lattices of integer partitions

description: We consider lattices of integer partitions ordered by dominance, and their standard contexts as studied in formal concept analysis. The present dataset provides evidence that the standard context of the partition lattice for \(n = 9\) cannot be embedded into the one for \(n = 10\). Further context and a detailed description of the files in the dataset can be obtained from the file context_embeddings.pdf (the code source for this file is given in context_embeddings.tex).
DOI: 10.5281/zenodo.5745852
title: Verification of some Boolean partial polymorphisms

description: This dataset contains the formal verification that a certain partial ternary Boolean conjunction f preserves two specific Boolean relations, but does not preserve two other ones. Our approach is by translating the question into Boolean satisfiability problems and to implement these such that they can be treated by a sat solver being capable of reading SMT-LIB2.0 specifications. Specifically, we have been using the Z3 solver developed by Microsoft Research (https://github.com/z3prover/z3) to attack the problem. The following is a list of the files contained in the dataset and their function:



	
		
			Filename
			Purpose
		
	
	
		
			f-pPol-GammaL0chi2-GammaL2chi3.
			z3
			The SMT-LIB2.0 implementation of the problem, to be run, e.g. by Z3.
		
		
			z3-output.txt
			The output received by running Z3 on f-pPol-GammaL0chi2-GammaL2chi3.
			z3
		
		
			f-preserves-GammaL0chi2_proof.txt
			A formal proof generated by Z3 that f preserves ΓL₀(χ₂).
		
		
			f-preserves-GammaL2chi3_proof.txt
			A formal proof generated by Z3 that f preserves ΓL₂(χ₃).
		
		
			partial_polymorphisms.pdf
			A detailed description of the problem and the dataset.
		
		
			partial_polymorphisms.tex
			The source file used to produce partial_polymorphisms.pdf
DOI: 10.5281/zenodo.5745853
title: Verification of some Boolean partial polymorphisms

description: This dataset contains the formal verification that a certain partial ternary Boolean conjunction f preserves two specific Boolean relations, but does not preserve two other ones. Our approach is by translating the question into Boolean satisfiability problems and to implement these such that they can be treated by a sat solver being capable of reading SMT-LIB2.0 specifications. Specifically, we have been using the Z3 solver developed by Microsoft Research (https://github.com/z3prover/z3) to attack the problem. The following is a list of the files contained in the dataset and their function:



	
		
			Filename
			Purpose
		
	
	
		
			f-pPol-GammaL0chi2-GammaL2chi3.
			z3
			The SMT-LIB2.0 implementation of the problem, to be run, e.g. by Z3.
		
		
			z3-output.txt
			The output received by running Z3 on f-pPol-GammaL0chi2-GammaL2chi3.
			z3
		
		
			f-preserves-GammaL0chi2_proof.txt
			A formal proof generated by Z3 that f preserves ΓL₀(χ₂).
		
		
			f-preserves-GammaL2chi3_proof.txt
			A formal proof generated by Z3 that f preserves ΓL₂(χ₃).
		
		
			partial_polymorphisms.pdf
			A detailed description of the problem and the dataset.
		
		
			partial_polymorphisms.tex
			The source file used to produce partial_polymorphisms.pdf
DOI: 10.5281/zenodo.5810903
title: Symmetric embeddings between standard contexts of lattices of integer partitions

description: We consider lattices of integer partitions ordered by dominance, and their standard contexts as studied in formal concept analysis. The present dataset contains all 29 symmetric context embeddings of the standard context of the lattice of partitions of the integer 8 into the standard context of the lattice of 10. Further information and a detailed description of the files in the dataset can be obtained from the file context_embeddings.pdf (the code source for this file is given in context_embeddings.tex).
DOI: 10.5281/zenodo.5810904
title: Symmetric embeddings between standard contexts of lattices of integer partitions

description: We consider lattices of integer partitions ordered by dominance, and their standard contexts as studied in formal concept analysis. The present dataset contains all 29 symmetric context embeddings of the standard context of the lattice of partitions of the integer 8 into the standard context of the lattice of 10. Further information and a detailed description of the files in the dataset can be obtained from the file context_embeddings.pdf (the code source for this file is given in context_embeddings.tex).
DOI: 10.5281/zenodo.5428986
title: All centralising monoids with binary operations as witnesses on the set {0,1,2,3}.

description: This dataset contains all 33684 centralising monoids on the set \(\{0,1,2,3\}\) that can be witnessed by sets of binary operations. Among them the inclusion maximal proper monoids are shown. Classifications of various subsets of these monoids up to conjugacy are presented, as well. A detailed description of the files in the dataset can be obtained from the file binary_centralising_monoids.pdf (the code source for this file is given in binary_centralising_monoids.tex).
DOI: 10.5281/zenodo.5428987
title: All centralising monoids with binary operations as witnesses on the set {0,1,2,3}.

description: This dataset contains all 33684 centralising monoids on the set \(\{0,1,2,3\}\) that can be witnessed by sets of binary operations. Among them the inclusion maximal proper monoids are shown. Classifications of various subsets of these monoids up to conjugacy are presented, as well. A detailed description of the files in the dataset can be obtained from the file binary_centralising_monoids.pdf (the code source for this file is given in binary_centralising_monoids.tex).
DOI: 10.15468/dl.nqyjw7
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lonicera japonica Andrews"
 ]
}

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

description: A dataset containing 151 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Living Specimen, Occurrence evidence)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Awaous banana (Valenciennes, 1837)"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Macroceratides pseudostizolobium Raddi"
 ]
}

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

description: A dataset containing 21 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phacelia salina (A.Nelson) J.T.Howell"
 ]
}

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

description: A dataset listing the 402963 species recorded in GBIF matching the query:
{
 "DatasetKey" : [
 "is iNaturalist Research-grade Observations"
 ]
}

 The dataset's 402963 records were derived from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0070171-240506114902167/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.eg27vv
title: Occurrence Download

description: A dataset containing 289958 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Sylvia melanocephala (Gmelin, 1789))",
 "HasCoordinate is true",
 "DecimalLatitude is greater than or equal to 29.93667",
 "DecimalLatitude is less than or equal to 51.91193",
 "DecimalLongitude is greater than or equal to -14.67522",
 "DecimalLongitude is less than or equal to 39.79752",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation)",
 "Year is greater than or equal to 1970",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

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

description: A dataset containing 2453 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "Country is one of (United States of America, United States Minor Outlying Islands, American Samoa, Micronesia (Federated States of), Guam, Marshall Islands, Northern Mariana Islands, Puerto Rico, Palau, Virgin Islands (U.S.))",
 {
 "not" : {
 "Issue" : [
 "is Country coordinate mismatch"
 ]
 }
 }
 ]
 },
 "TaxonKey is one of (Ludwigia grandiflora (Michx.) Greuter & Burdet)"
 ]
}

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

description: A dataset containing 676 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Phacelia lutea (Hook. & Arn.) J.T.Howell"
 ]
}

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

description: A dataset containing 196 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Continent is South America",
 "Country is one of (Peru, Ecuador, Colombia)",
 "TaxonKey is Chironius multiventris Schmidt & Walker, 1943"
 ]
}

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

description: A dataset containing 330 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mucuna stans Welw. ex Baker"
 ]
}

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

description: A dataset containing 17 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Miltonia ×bluntii Rchb.f."
 ]
}

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

description: A dataset containing 76 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Machine Observation, Human Observation, Living Specimen, Occurrence evidence)",
 "Geometry POLYGON((-108.34494 10.95892,-75.65506 10.95892,-75.65506 24.04108,-108.34494 24.04108,-108.34494 10.95892))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Atherinella alvarezi (Díaz-Pardo, 1972)"
 ]
}

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

description: A dataset containing 3099 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Cynanthus doubledayi",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 140 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Miltonia clowesii (Lindl.) Lindl."
 ]
}

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

description: A dataset containing 429 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Crypturellus duidae",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 249 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Clitoria arborescens R.Br."
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Miltonia flava Lindl."
 ]
}

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Murdannia audreyae Faden"
 ]
}

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

description: A dataset containing 3300 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Cynanthus auriceps",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 362 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Murdannia edulis (Stokes) Faden"
 ]
}

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

description: A dataset containing 537 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Nassella charruana (Arechav.) M.E.Barkworth"
 ]
}

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

description: A dataset containing 2912 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Cynanthus forficatus",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset listing the 634 species recorded in GBIF matching the query:
{
 "DatasetKey" : [
 "is Western Washington University Insect Collection"
 ]
}

 The dataset's 634 records were derived from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0041212-230530130749713/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.v9b4c4
title: Occurrence Download

description: A dataset containing 255958 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Pinicola enucleator",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 34706 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Cynanthus canivetii",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 142 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Murdannia gardneri (Seub.) G.Brückn."
 ]
}

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

description: A dataset containing 6668 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-73.57298 4.85526,-73.29163 4.85526,-73.29163 4.99121,-73.57298 4.99121,-73.57298 4.85526))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "PublishingCountry is Colombia"
 ]
}

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

description: A dataset containing 99 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Stizolophus balsamita (Lam.) Cass."
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Miltonia ×cyrtochiloides Barb.Rodr."
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Nemesia karasbergensis L.Bolus"
 ]
}

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