https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/Head https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/provenance https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/pubinfo https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion https://w3id.org/delphi/resource/claim/hauy1801-05 http://purl.org/dc/terms/description The matter enveloping the primitive nucleus is a stack of layers which, starting from the primitive form, decrease in extent on all sides or on some, and this decrement proceeds by regular subtraction of one or more rows of integrant molecules. https://w3id.org/delphi/resource/claim/hauy1801-05 http://purl.org/dc/terms/type mechanism https://w3id.org/delphi/resource/claim/hauy1801-05 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/Claim https://w3id.org/delphi/resource/claim/hauy1801-05 http://www.w3.org/2000/01/rdf-schema#comment Formalization: one, contingent. The law of rational indices in its original integer-row form. https://w3id.org/delphi/resource/claim/hauy1801-05 http://www.w3.org/2000/01/rdf-schema#label Secondary forms are built of layers decreasing by whole rows of molecules from the primitive form https://w3id.org/delphi/resource/claim/hauy1801-05 http://www.w3.org/2004/02/skos/core#notation (hkl) \in \mathbb{Z}^3 \text{ for every face} https://w3id.org/delphi/resource/claim/hauy1801-05 https://w3id.org/delphi/ontology/context Haüy RJ, “Traité de minéralogie, tome premier”, Conseil des Mines, Paris (Chez Louis) (1801); Structure des cristaux, p. 60. Scope: Secondary crystal faces; their indices relative to the primitive form. https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/provenance https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/bibliographicCitation Haüy RJ. Traité de minéralogie, tome premier. Conseil des Mines, Paris (Chez Louis) (1801) https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/creator René Just Haüy https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/date 1801 https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/description Volume 1 holds the general theory of crystal structure: integrant molecules, the primitive form, and the laws of decrement first published in the 1784 Essai. The 1784 Essai (archive.org bub_gb_HbJDAAAAcAAJ) was fetched but its eighteenth-century OCR (long s) is too corrupt to quote; see SEARCHES.md. French. https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/rights Public domain (1801). https://archive.org/details/traitdeminra01ha http://purl.org/dc/terms/title Traité de minéralogie, tome premier https://archive.org/details/traitdeminra01ha http://spdx.org/rdf/terms#checksum https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sourceChecksum https://archive.org/details/traitdeminra01ha http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Entity https://archive.org/details/traitdeminra01ha http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://schema.org/CreativeWork https://archive.org/details/traitdeminra01ha http://www.w3.org/2000/01/rdf-schema#label Reading copy of Traité de minéralogie, tome premier https://archive.org/details/traitdeminra01ha https://schema.org/about https://archive.org/details/traitdeminra01ha https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#SoftwareAgent https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor http://www.w3.org/2000/01/rdf-schema#label delphisci crystals-and-form claim extractor https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/claude-fable-5.1 https://w3id.org/delphi/resource/model/claude-fable-5.1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/delphi/resource/model/claude-fable-5.1 http://www.w3.org/2000/01/rdf-schema#label Claude Fable 5.1 https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://archive.org/details/traitdeminra01ha https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extractionPlan https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction http://www.w3.org/ns/prov#used https://archive.org/details/traitdeminra01ha https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction http://www.w3.org/ns/prov#used https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/inputs/sources.json https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extraction http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/extractionPlan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/build/generate.mjs https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Entity https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote http://www.w3.org/2000/01/rdf-schema#comment Page 60 of the reading copy; paragraph 366 of the normalised text 1801-hauy.txt (sha256 75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19), produced by build/fetch.py and checked by build/check-quotes.mjs. The text itself is not committed. https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote http://www.w3.org/ns/prov#hadPrimarySource https://archive.org/details/traitdeminra01ha https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote http://www.w3.org/ns/prov#wasQuotedFrom https://archive.org/details/traitdeminra01ha https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/quote https://schema.org/text Ce décroissement se fait par des soustractions régulières d'une ou de plusieurs rangées de molécules intégrantes https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sourceChecksum http://spdx.org/rdf/terms#algorithm http://spdx.org/rdf/terms#checksumAlgorithm_sha256 https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sourceChecksum http://spdx.org/rdf/terms#checksumValue 75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19 https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sourceChecksum http://www.w3.org/2000/01/rdf-schema#comment Checksum of the normalised one-paragraph-per-line text derived from the reading copy, not of the reading copy itself. https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/pubinfo https://w3id.org/delphi/resource/domain/crystals-and-form http://www.w3.org/2000/01/rdf-schema#label crystals-and-form https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://purl.org/dc/terms/created 2026-11-07T03:18:23.997Z https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Claim https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/claim/hauy1801-05 https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk http://www.w3.org/2000/01/rdf-schema#label René Just Haüy 1801 claim: Secondary forms are built of layers decreasing by whole rows of molecules from the primitive form https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/crystals-and-form https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sig http://purl.org/nanopub/x/hasSignature XBADAZdPA1l3W34rSk2v0wG2vOvj52PSUkCBMmGdUFXd1DEZ2IA86mjWJEYRT2bbE0/gB+GicAgL92EqMm0SnJaTzBkD85evukjfPMX68yTW7N2zIEvFQyyjWT9f0YCQirkjjvu/AmB4CiXude4TGEcD6k+DptpMslEmjWCTKcIv4Y/mLj4Fp9DXwRpRXQv3KqRnlohcQcBthSEbsLTjxqYF5nwiuucDMzO5gGuJYs6TxSNNZ23bgDZAW0iKcFwu9S9scp8QmZ14R+Sbg1Ij35P/bnPCZ2anA8nAXUsgWEZLDFwX7bWFbCigXjhpQW5SErVmnuwvymvH/kvrVlv7ew== https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk https://w3id.org/np/RACDJWdkZcHMs-fvhffAiJkM3ZElvwiMkoh36bA7ujMHk/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192