cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.3535/lre-wp5-2sx
title: Trachycardium procerum (G. B. Sowerby I, 1833)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cbh-qpy-97e
title: Pusillina inconspicua (Alder, 1844)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ehh-1gy-q5h
title: Turbo histrio Reeve, 1848

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4jv-5x0-kbz
title: Merisca cristallina (Spengler, 1798)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4pn-r72-fpd
title: Manzonia Brusina, 1870

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/syg-3sz-0yc
title: Eatonina cossurae (Calcara, 1841)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/alf-s5z-hhg
title: Melongena melongena (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lfy-qeg-1cx
title: Odostomia J. Fleming, 1813

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/308-6e2-dtb
title: Terebra Bruguière, 1789

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/a8k-fwv-71s
title: Odostomia J. Fleming, 1813

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/eqk-h4y-esp
title: Conus dominicanus Hwass, 1792

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/826-fm5-29k
title: Conomurex persicus (Swainson, 1821)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gzn-gs1-s16
title: Truncatella subcylindrica (Linnaeus, 1767)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/2jw-4mg-e8e
title: Engina lauta (Reeve, 1846)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/br3-m6k-may
title: Atys riiseanus Mörch, 1875

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/j1t-qxm-vke
title: Zafra selasphora (Melvill & Standen, 1901)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q94-tkq-yhh
title: Alvania discors (T. Brown, 1818)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/j9j-dax-66z
title: Kleinella A. Adams, 1860

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/t7j-ajh-ywh
title: Vexillum stephanuchum (Melvill, 1897)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/x12-v0v-tgd
title: Pardalinops aspersus (G. B. Sowerby I, 1844)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.16875436
title: Formally Represented PDDL Planning Domains

description: This is a repository to store PDDL domain files that are extended with a domain-wide goal and constraints describing which instances are legal for the domain.

With those extensions the domains comply with the formalism presented in the paper C. Grundke, G. Röger, M. Helmert. Formal Representations of Classical Planning Domains. In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 239-248. 2024.

The extension to PDDL types has been introduced in the paper C. Grundke, M. Helmert, G. Röger. Domain-Independent Instance Generation for Classical Planning. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.

 

This is the version used in the paper "Domain-Independent Instance Generation for Classical Planning".
DOI: 10.5281/zenodo.16875437
title: Formally Represented PDDL Planning Domains

description: This is a repository to store PDDL domain files that are extended with a domain-wide goal and constraints describing which instances are legal for the domain.

With those extensions the domains comply with the formalism presented in the paper C. Grundke, G. Röger, M. Helmert. Formal Representations of Classical Planning Domains. In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 239-248. 2024.

The extension to PDDL types has been introduced in the paper C. Grundke, M. Helmert, G. Röger. Domain-Independent Instance Generation for Classical Planning. In Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). 2025.

 

This is the version used in the paper "Domain-Independent Instance Generation for Classical Planning".
DOI: 10.3535/1kh-gkk-9tw
title: Raphitoma Bellardi, 1847

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/p5r-pkc-yyp
title: Modulus modulus (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/44l-qka-npl
title: Alvania lineata Risso, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/nja-0j1-t4m
title: Lepidochitona cinerea (Linnaeus, 1767)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/t7v-7v1-v1e
title: Muricanthus radix (Gmelin, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lrl-kv0-agn
title: Rhyssoplax tricostalis (Pilsbry, 1894)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/s9s-sbe-lks
title: Typhinellus labiatus (De Cristofori & Jan, 1832)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/4k3-d9w-255
title: Ischnochiton contractus (Reeve, 1847)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gpl-kx6-kwx
title: Cabestana spengleri (G. Perry, 1811)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ffc-lkz-1ks
title: Cingula trifasciata (J. Adams, 1800)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/n8q-z1s-dpt
title: Decatopecten radula radula (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/a67-ywa-k7j
title: Gloripallium pallium (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/6s8-00q-1dp
title: Leptochiton tenuis Kaas, 1979

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/crk-9c8-cc0
title: Ischnochiton elongatus elongatus (Blainville, 1825)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/377-x6m-cgh
title: Rhyssoplax olivacea (Spengler, 1797)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/63j-wnd-yy8
title: Tricolia entomocheila Gofas, 1993

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9rr-q4p-6e9
title: Zeacumantus subcarinatus (G. B. Sowerby II, 1855)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ncz-7ga-a6b
title: Ischnochiton virgatus (Reeve, 1848)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/pep-g76-ntw
title: Craspedoplax variabilis (H. Adams & Angas, 1864)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9q6-8xn-n56
title: Conus ermineus Born, 1778

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/yml-gvt-7wp
title: Lodderia lodderae (Petterd, 1884)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/3s8-7mt-sdw
title: Conus jaspideus Gmelin, 1791

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/579-y0j-8fn
title: Rissoa variabilis (Megerle von Mühlfeld, 1824)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/hmp-c5g-bre
title: Turbonilla Risso, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/efs-p8e-kl7
title: Globivasum capitellum (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zrg-chv-vrl
title: Coralichlamys madreporarum (G. B. Sowerby II, 1842)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9yb-ybh-cf8
title: Columbella labiosa G. B. Sowerby I, 1822

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/x53-1by-emv
title: Naria acicularis (Gmelin, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/b2p-az2-7bb
title: Papillicardium papillosum (Poli, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zlr-ycm-f7f
title: Gutturnium muricinum (Röding, 1798)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/n3s-p3b-9jw
title: Lepidochitona caprearum (Scacchi, 1836)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/0r1-9cg-2hb
title: Stenoplax alata (G. B. Sowerby II, 1841)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/k08-reb-5mk
title: Aliger gigas (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/w15-r2a-4nh
title: Naticarius hebraeus (Martyn, 1786)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/zry-81w-3sl
title: Cypraecassis testiculus (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/0ky-dek-xfn
title: Truncatella subcylindrica (Linnaeus, 1767)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qrj-n5l-2tg
title: Lepidochitona monterosatoi Kaas & Van Belle, 1981

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/rrb-gqy-txq
title: Leptochiton arcticus (G. O. Sars, 1878)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cla-yny-vr0
title: Mexacanthina lugubris (G. B. Sowerby I, 1822)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/d7y-3kb-qxp
title: Pollia fumosa (Dillwyn, 1817)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.16875913
title: PEMA databases and datasets

description: In this repo, the crest4 and the RDPClassifier oriented databases used in PEMA will be versioned. We list the provided databases per marker gene:




Marker Gene
crest4 Databases
RDPClassifier Databases
Version




COI
midori2 (darn processed)
midori1, midori2
 


16S
Silva128, Silvamod138pr2 (SILVA v138 + PR2 v4.13)
—
 


18S
Silvamod138pr2
—
 


12S
—
12SvertebrateClassifier
 v2.0.0-ref


ITS
Unite v10.0 (2025-02-19)
—
 




 

We also provide a set of toy datasets for pema sanity checks.
DOI: 10.3535/s33-g4q-hhz
title: Bittium J. E. Gray, 1847

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/wml-34z-45e
title: Ensis magnus Schumacher, 1817

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/5hh-3e3-51t
title: Austrocochlea constricta (Lamarck, 1822)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/9se-xsy-4v2
title: Raphitoma bicolor (Risso, 1826)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/n7m-41r-j3p
title: Canarium erythrinum (Dillwyn, 1817)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cal-1kt-lqx
title: Tonna pennata (Mörch, 1853)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/sn5-9v3-tl7
title: Conus regius Gmelin, 1791

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/c08-2y9-pql
title: Parthenina interstincta (J. Adams, 1797)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/lsf-wjm-vwk
title: Eatonina maculosa Ponder, 1965

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/10v-0gk-9xb
title: Anadara J. E. Gray, 1847

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/a0y-8nq-wbg
title: Ischnochiton boninensis Bergenhayn, 1933

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/e4q-f4c-blh
title: Vexillum wandoense (Holmes, 1860)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/1lg-ckv-aak
title: Vertigo antivertigo (Draparnaud, 1801)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/vb9-wp3-w4f
title: Omalogyra atomus (R. A. Philippi, 1841)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/g78-6nt-041
title: Limatula maoria H. J. Finlay, 1926

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ylw-evk-vbq
title: Rissoa rodhensis Verduin, 1985

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/fcy-w94-rql
title: Aequipecten opercularis opercularis (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/n83-08x-1yj
title: Talassia dagueneti (de Folin, 1873)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q8k-9a8-15t
title: Mactra stultorum (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qz3-2b7-3k6
title: Heterodonax bimaculatus (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/yk0-3rr-lzr
title: Dentimargo aureocincta (Stearns, 1872)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/cdy-70m-txl
title: Vertigo pygmaea (Draparnaud, 1801)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qyz-t23-wes
title: Littorina obtusata (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gte-5qp-0rj
title: Costoanachis semiplicata (Stearns, 1873)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q07-hrs-ct4
title: Vexillum micra Pilsbry, 1921

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/g25-a35-cye
title: Melanella levantina (Oliverio, Buzzurro & R. Villa, 1994)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/gbd-lna-q0y
title: Seila trilineata (R. A. Philippi, 1836)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/51b-k7m-9kx
title: Conus litteratus Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/13w-zjz-cf0
title: Alvania macandrewi (Manzoni, 1868)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/fdl-xnz-pp0
title: Zafra savignyi (Moazzo, 1939)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/558-90x-j55
title: Conus Linnaeus, 1758

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/dpr-3nz-av4
title: Episcomitra cornicula (Linnaeus, 1758)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/024-a6y-hgn
title: Barleeia unifasciata (Montagu, 1803)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/g8c-hng-je0
title: Conus regius Gmelin, 1791

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/8ce-2sp-bmg
title: Cerithium lividulum Risso, 1826

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/pjt-zbw-e49
title: Eulithidium tessellatum (Potiez & Michaud, 1838)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/qpc-ghg-7ea
title: Conus daucus Hwass, 1792

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/m7l-w6a-qrl
title: Laevichlamys multisquamata (Dunker, 1864)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/r8v-tq8-qdg
title: Dinoplax gigas (Gmelin, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/l0q-lq8-nrw
title: Natica marochiensis (Gmelin, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/slt-kzb-jsb
title: Mitromorpha olivoidea (Cantraine, 1835)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/p97-0jw-2t6
title: Leporimetis ephippium (Spengler, 1798)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/q0n-rr2-9xt
title: Gyroscala xenicima (Melvill & Standen, 1903)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/5b5-m4z-n7m
title: Phrontis vibex (Say, 1822)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/avp-8d2-6h2
title: Turbo castanea Gmelin, 1791

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/mby-dz3-rr8
title: Propustularia surinamensis (G. Perry, 1811)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.16873455
title: PEMA databases and datasets

description: In this repo, the crest4 and the RDPClassifier oriented databases used in PEMA will be versioned. We list the provided databases per marker gene:




Marker Gene
crest4 Databases
RDPClassifier Databases
Version




COI
midori2 (darn processed)
midori1, midori2
 


16S
Silva128, Silvamod138pr2 (SILVA v138 + PR2 v4.13)
—
 


18S
Silvamod138pr2
—
 


12S
—
12SvertebrateClassifier
 v2.0.0-ref


ITS
Unite v10.0 (2025-02-19)
—
 




 

We also provide a set of toy datasets for pema sanity checks.
DOI: 10.3535/9ye-zgx-s4j
title: Heliacus cylindricus (Gmelin, 1791)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/a9w-pk2-k1y
title: Parthenina suturalis (R. A. Philippi, 1844)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.5734316
title: PEMA databases and datasets

description: In this repo, the crest4 and the RDPClassifier oriented databases used in PEMA will be versioned. We list the provided databases per marker gene:




Marker Gene
crest4 Databases
RDPClassifier Databases
Version




COI
midori2 (darn processed)
midori1, midori2
 


16S
Silva128, Silvamod138pr2 (SILVA v138 + PR2 v4.13)
—
 


18S
Silvamod138pr2
—
 


12S
—
12SvertebrateClassifier
 v2.0.0-ref


ITS
Unite v10.0 (2025-02-19)
—
 




 

We also provide a set of toy datasets for pema sanity checks.
DOI: 10.3535/274-7rr-hz7
title: Ischnochiton dilatosculptus Kaas, 1982

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/pzw-q1n-g6b
title: Clypeomorus batillariaeformis Habe & Kosuge, 1966

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/z7r-a3v-fx3
title: Conus kirkandersi Petuch, 1987

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.5281/zenodo.14792280
title: SMT-COMP 2024 Raw Execution Data

description: This archive contains the raw data obtained during execution of SMT-COMP 2024.
DOI: 10.5281/zenodo.14792281
title: SMT-COMP 2024 Raw Execution Data

description: This archive contains the raw data obtained during execution of SMT-COMP 2024.
DOI: 10.3535/hbz-8vc-8xy
title: Anadara J. E. Gray, 1847

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/mek-wy2-tbx
title: Acanthochitona crinita (Pennant, 1777)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/b61-xsw-ygq
title: Polystira albida (G. Perry, 1811)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/xp6-1f4-0dc
title: Alvania geryonia (Nardo, 1847)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/pfl-lch-emq
title: Rissoa membranacea (J. Adams, 1800)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/8vw-qtw-zr4
title: Alvania discors (T. Brown, 1818)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/n6t-yz0-2dl
title: Imbricaria conularis (Lamarck, 1811)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/h7a-7yj-cby
title: Chiton virgulatus G. B. Sowerby II, 1840

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/2vb-mev-pjj
title: Hydrobia glyca (Servain, 1880)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/y72-3t1-z1w
title: Mollusca

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/ljf-t17-phs
title: Rhyssoplax coxi (Pilsbry, 1894)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.
DOI: 10.3535/w7q-zh1-5xk
title: Ocinebrina aciculata (Lamarck, 1822)

description: Digital Specimen for the physical specimen hosted at Naturalis Biodiversity Center.