@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a prov:SoftwareAgent; "delphisci dataset-resolvability assessor (GPT-5.6 Sol)"; prov:actedOnBehalfOf ; . a ; dc:description "The fourteen Bravais lattices are a mathematical classification under specified equivalences. Empirical structure collections can illustrate each mode but are neither necessary nor sufficient to confirm the universal count."; dc:subject ; "Proposed test with existing data: Enumerate translational lattices up to the stated equivalence and prove there are fourteen, or construct a fifteenth inequivalent lattice. Counts in structure databases merely instantiate this classification and cannot establish that it is exhaustive."; "GPT-5.6 Sol on bravais1850-03: not-empirically-resolvable, resolvability 0.26"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0"; "Observed structures are labeled using the target scheme", "Pure classification theorem"; "0.95"^^xsd:double; "0.261"^^xsd:double; "not-empirically-resolvable" . a ; dc:isPartOf ; dc:subject ; "Analysis feasibility of bravais1850-03 by GPT-5.6 Sol: 0.82"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/analysis-feasibility"; "0.82"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Data adequacy of bravais1850-03 by GPT-5.6 Sol: 0.14"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/data-adequacy"; "0.14"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Data existence of bravais1850-03 by GPT-5.6 Sol: 0.2"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/data-existence"; "0.2"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Discriminating power of bravais1850-03 by GPT-5.6 Sol: 0.18"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/discriminating-power"; "0.18"^^xsd:double . a ; dc:isPartOf ; dc:subject ; "Operationalizability of bravais1850-03 by GPT-5.6 Sol: 0.12"; prov:wasAttributedTo ; "dataset-resolvability/0.2.0/operationalizability"; "0.12"^^xsd:double . , , , , , . a ; dc:identifier "gpt-5.6-sol-medium"; "GPT-5.6 Sol" . } sub:provenance { sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom , ; prov:wasGeneratedBy sub:assessment . sub:assessment a prov:Activity; prov:qualifiedAssociation sub:assessmentPlan; prov:wasAssociatedWith . sub:assessmentPlan prov:hadPlan . } sub:pubinfo { "crystals-and-form" . this: dc:created "2026-11-07T03:18:24.087Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "GPT-5.6 Sol on bravais1850-03: not-empirically-resolvable, resolvability 0.26"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "h0IIKX7zYifVgSTvkxNcsnlaVMEjp8tTwCV399b94wFYtRh06a5sBTsxfO/5SrV0hxPRudPw0Xq+npU3n0JzO6c+Vk/ETAlcRYGLEOGN4WiWP9OFSKOyA1n7xvcpgN1A0zaHNkJoKVDRCPv5sBhXsotuzvpVewgBKCYAR/hPFFYxdO9G3s4Eproa5eoSHyNF82brQHmYa5p13cwm92+u8E+QprLfuMFC4uVdeF7o3tc5wzXKjptx/mfFjFZAizRY2av136VB85uNNHu7iczCZ6fXCs4lFH6F3XdNVdJKqkFWWrRjgjvwlmLwuNZ9R1pO3YNypoSPUOU0HXsRudHJKw=="; npx:hasSignatureTarget this:; npx:signedBy . }