https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/Head https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/provenance https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/pubinfo https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium 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-resolvability-assessor-gemini-4-argon-medium http://www.w3.org/2000/01/rdf-schema#label delphisci dataset-resolvability assessor (Gemini 4 Argon) https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://purl.org/dc/terms/description Bravais's derivation of the 14 lattice modes (fixing Frankenheim's earlier count of 15) is a pure mathematical classification theorem in 3D geometry and group cohomology. While every experimentally solved periodic crystal structure in COD is assigned to one of these 14 Bravais types by construction, the claim that there are exactly 14 modes is a deductive mathematical truth rather than an empirically testable hypothesis. https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://www.w3.org/2000/01/rdf-schema#comment Proposed test with existing data: This is a pure mathematical enumeration theorem: classifying 3D periodic lattices up to affine equivalence preserving holohedral symmetry yields exactly 14 Bravais lattice types distributed as 3 cubic, 1 hexagonal, 2 tetragonal, 1 rhombohedral, 4 orthorhombic, 2 monoclinic, and 1 triclinic. An empirical companion check can verify that all periodic crystal structures in COD/Materials Project map onto these 14 lattice types, but the count itself is a deductive theorem. https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://www.w3.org/2000/01/rdf-schema#label Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/evidenceAgainst The enumeration of the 14 Bravais lattices is a mathematical theorem of geometric crystallography rather than an empirical hypothesis https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/hasConfidence 0.95 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/hasScore 0.195 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/ontology/hasVerdict not-empirically-resolvable https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility http://purl.org/dc/terms/isPartOf https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-analysis-feasibility https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility http://www.w3.org/2000/01/rdf-schema#label Analysis feasibility of bravais1850-03 by Gemini 4 Argon: 0.3 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0/analysis-feasibility https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility https://w3id.org/delphi/ontology/hasScore 0.3 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy http://purl.org/dc/terms/isPartOf https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-adequacy https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy http://www.w3.org/2000/01/rdf-schema#label Data adequacy of bravais1850-03 by Gemini 4 Argon: 0.2 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0/data-adequacy https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy https://w3id.org/delphi/ontology/hasScore 0.2 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence http://purl.org/dc/terms/isPartOf https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-existence https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence http://www.w3.org/2000/01/rdf-schema#label Data existence of bravais1850-03 by Gemini 4 Argon: 0.2 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0/data-existence https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence https://w3id.org/delphi/ontology/hasScore 0.2 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power http://purl.org/dc/terms/isPartOf https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-discriminating-power https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power http://www.w3.org/2000/01/rdf-schema#label Discriminating power of bravais1850-03 by Gemini 4 Argon: 0.15 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0/discriminating-power https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power https://w3id.org/delphi/ontology/hasScore 0.15 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability http://purl.org/dc/terms/isPartOf https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability http://purl.org/dc/terms/subject https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-operationalizability https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability http://www.w3.org/2000/01/rdf-schema#label Operationalizability of bravais1850-03 by Gemini 4 Argon: 0.15 https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability https://w3id.org/delphi/ontology/assessmentType dataset-resolvability/0.2.0/operationalizability https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability https://w3id.org/delphi/ontology/hasScore 0.15 https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--analysis-feasibility https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-adequacy https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--data-existence https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--discriminating-power https://w3id.org/delphi/resource/claim/bravais1850-03 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini--operationalizability https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1 http://purl.org/dc/terms/description Provides empirical crystal structures indexed against the 14 Bravais lattice types. https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Candidate dataset: Crystallography Open Database (COD) https://w3id.org/delphi/resource/evidence/bravais1850-03--gemini--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://www.crystallography.net/cod/ https://w3id.org/delphi/resource/model/gemini-4-argon-medium http://purl.org/dc/terms/identifier gemini-4-argon-medium https://w3id.org/delphi/resource/model/gemini-4-argon-medium http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/delphi/resource/model/gemini-4-argon-medium http://www.w3.org/2000/01/rdf-schema#label Gemini 4 Argon https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/provenance https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/assessment/raw/gemini/batch-2.json https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0 https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessmentPlan https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessment http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gemini-4-argon-medium https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/assessmentPlan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/README.md https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/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/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://purl.org/dc/terms/created 2026-11-07T03:18:24.087Z https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/LLMClaimAssessment https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/bravais1850-03--gemini https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM http://www.w3.org/2000/01/rdf-schema#label Gemini 4 Argon on bravais1850-03: not-empirically-resolvable, resolvability 0.20 https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/crystals-and-form https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/sig http://purl.org/nanopub/x/hasSignature I8iNxACsiBny312j3hHfwhyQOrU9PA1HTK7Mee9D99jOWNsGIhzAL4ZZ88WGHojoKHLFLWAeBTQ5ZszA3EDj7b7aHMQTd5NK3bccLD9kiyvk4Ic6z0aAlzcltISXxpRUAtDJlIQ+lvppeir63dOdpMZRAYMw5uoDrfv1nTBjWClG1aw7ADzWBETjjY0Mw2hfJbXFtDnBAtgjoqjbK6nuj/aGnIgFDePNtP24KRS0K+N+X1iwKuITS2lKYthHHDoV17GXmG9bALSzRA7o7RRksZ/ZdCmEO7RD+21MWUcx7xF8vcIYyiwfF64e9JLdUQ8wyZYBEBEP/aEZ/D/+fblSyg== https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM https://w3id.org/np/RAb5u21D3UPlrxE5kbUJXQZPXZ9yC14R0SGKjIY3Ki5aM/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192