@prefix this: <https://w3id.org/np/RAHp62VtOeCheyAUZqGRBimu2O0P1uZv996Ncn4IrADHE> .
@prefix sub: <https://w3id.org/np/RAHp62VtOeCheyAUZqGRBimu2O0P1uZv996Ncn4IrADHE/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>
    a prov:SoftwareAgent;
    <http://www.w3.org/2000/01/rdf-schema#label> "delphisci dataset-resolvability assessor (GPT-5.6 Sol)";
    prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
    <https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/gpt-5.6-sol-medium> .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt> a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:description "Crystal databases encode the seven-system classification and therefore cannot independently test the theorem without circularity. The claim is resolved by definitions and group-theoretic proof, not by currently available datasets.";
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0>;
    <http://www.w3.org/2000/01/rdf-schema#comment> "Proposed test with existing data: Assigning observed structures to seven systems can check empirical usage, but the exhaustive classification of all possible point lattices is mathematical. A formal lattice outside the seven classes would refute it; finite crystal records cannot confirm completeness.";
    <http://www.w3.org/2000/01/rdf-schema#label> "GPT-5.6 Sol on bravais1850-02: not-empirically-resolvable, resolvability 0.28";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0";
    <https://w3id.org/delphi/ontology/evidenceAgainst> "Database categories presuppose the seven systems",
      "Empirical test would be circular", "Mathematical classification";
    <https://w3id.org/delphi/ontology/hasConfidence> "0.93"^^xsd:double;
    <https://w3id.org/delphi/ontology/hasScore> "0.278"^^xsd:double;
    <https://w3id.org/delphi/ontology/hasVerdict> "not-empirically-resolvable" .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--analysis-feasibility>
    a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-analysis-feasibility>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Analysis feasibility of bravais1850-02 by GPT-5.6 Sol: 0.82";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/analysis-feasibility";
    <https://w3id.org/delphi/ontology/hasScore> "0.82"^^xsd:double .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--data-adequacy> a
      <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-adequacy>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Data adequacy of bravais1850-02 by GPT-5.6 Sol: 0.16";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/data-adequacy";
    <https://w3id.org/delphi/ontology/hasScore> "0.16"^^xsd:double .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--data-existence>
    a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-data-existence>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Data existence of bravais1850-02 by GPT-5.6 Sol: 0.22";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/data-existence";
    <https://w3id.org/delphi/ontology/hasScore> "0.22"^^xsd:double .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--discriminating-power>
    a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-discriminating-power>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Discriminating power of bravais1850-02 by GPT-5.6 Sol: 0.2";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/discriminating-power";
    <https://w3id.org/delphi/ontology/hasScore> "0.2"^^xsd:double .
  
  <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--operationalizability>
    a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    dc:isPartOf <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0-operationalizability>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Operationalizability of bravais1850-02 by GPT-5.6 Sol: 0.14";
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    <https://w3id.org/delphi/ontology/assessmentType> "dataset-resolvability/0.2.0/operationalizability";
    <https://w3id.org/delphi/ontology/hasScore> "0.14"^^xsd:double .
  
  <https://w3id.org/delphi/resource/claim/bravais1850-02> <https://w3id.org/delphi/ontology/hasAssessment>
      <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>, <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--analysis-feasibility>,
      <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--data-adequacy>,
      <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--data-existence>,
      <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--discriminating-power>,
      <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt--operationalizability> .
  
  <https://w3id.org/delphi/resource/model/gpt-5.6-sol-medium> a <https://w3id.org/delphi/ontology/LanguageModel>;
    dc:identifier "gpt-5.6-sol-medium";
    <http://www.w3.org/2000/01/rdf-schema#label> "GPT-5.6 Sol" .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium>;
    prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/assessment/raw/gpt/batch-2.json>,
      <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0>;
    prov:wasGeneratedBy sub:assessment .
  
  sub:assessment a prov:Activity;
    prov:qualifiedAssociation sub:assessmentPlan;
    prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-resolvability-assessor-gpt-5.6-sol-medium> .
  
  sub:assessmentPlan prov:hadPlan <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/README.md> .
}

sub:pubinfo {
  <https://w3id.org/delphi/resource/domain/crystals-and-form> <http://www.w3.org/2000/01/rdf-schema#label>
      "crystals-and-form" .
  
  this: dc:created "2026-11-07T03:18:24.087Z"^^xsd:dateTime;
    dc:creator <https://orcid.org/0009-0007-4948-9192>;
    dc:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:hasNanopubType <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
    npx:introduces <https://w3id.org/delphi/resource/assessment/bravais1850-02--gpt>;
    <http://www.w3.org/2000/01/rdf-schema#label> "GPT-5.6 Sol on bravais1850-02: not-empirically-resolvable, resolvability 0.28";
    <https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/crystals-and-form> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
    npx:hasSignature "kMCVsgVQW8NwITLNzsG9CLps/mXZyH/qEr7koSnyGpVcu55L7IEGfWnk6JRYjXc01PC2N/W9nHIRFbcaAGYjeXF0KH9ELnq3pCZboLu8kwEo4MXR1G8u0Dwdt7/ucafy+61+DJOzqhSg8+1PQ86VPTyLowAS9xAiBGEl29wRC7W9PpjoCd0GsVi8GdHBBiwGw6ZhTzNw9+vmq4CtdPMQz1has1QOV/+X7WuND4bsGyMw0HMla9JlR3exVwe2r/+ZUZLhuQQZSEwFzTW8yndrWIemWPiY0tPVBi/BZOPAWbMUmPecSkardAd44nTngECSu0Y/nTB4LEgMpqdzTzWKHQ==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}