{"url":"/dataset/standard-atomic-contexts","name":"standard atomic contexts","full_name":"standard contexts for the lattices of atomic lattices","description_markdown":"The dataset contains standard contexts of the lattices of all atomic lattices in the Concept Explorer format.","description_withheld":null,"homepage":"https://github.com/dimachine/closureseparation","introduced_date":"2022-09-25","introduced_date_note":null,"introduced_by":{"paper":"/paper/on-the-cryptomorphism-between-davis-subset","title":"On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom","first_author":null,"url":null},"license":null,"modalities":[{"name":"Tabular","url":"/datasets/modality/tabular"}],"tasks":[{"name":"Enumerative Search","url":"/task/enumerative-search","datasets_with_task":"/datasets/task/enumerative-search"}],"languages":[],"variants":["standard atomic contexts"],"data_loaders":[],"num_papers_in_archive":1,"source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28"},"benchmarks":[],"papers_with_a_benchmark_row":[],"syntology_totals":{"read_at":"2026-09-24T18:15:14+00:00","papers_with_samples":0,"samples_harvested":0,"samples_ran":0,"samples_unverified":0,"pointer_only_for_licence":0,"papers_with_no_sample_that_ran":0,"note":"the per-paper counts above, summed; not a rate"},"papers_note":"The archive never published its papers-using-dataset list; these are papers with a leaderboard row on this dataset's benchmarks."}