https://w3id.org/np/RAs0-O2xQ2nV2jXJDPCVA31sCdPLb5hPSiMLYN99zcud4
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RAs0-O2xQ2nV2jXJDPCVA31sCdPLb5hPSiMLYN99zcud4> .
@prefix sub: <https://w3id.org/np/RAs0-O2xQ2nV2jXJDPCVA31sCdPLb5hPSiMLYN99zcud4/> .
@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/wolfram2002-ch01-10--gpt> a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:description "Standard mathematical constructions can establish rigorous proof limitations in simple abstract systems. The expansive claim about consequences beyond mathematics is not fully captured by those theorems.";
dc:subject <https://w3id.org/delphi/resource/concept/dataset-resolvability-0.2.0>;
dc:type "resolution-route/proof";
<http://www.w3.org/2000/01/rdf-schema#comment> "Proposed test with existing data: Formalize a sufficiently expressive class of simple program systems and prove undecidability or incompleteness for propositions about their behavior. Such theorems establish fundamental proof limitations for that class, while broader relevance must be assessed separately.";
<http://www.w3.org/2000/01/rdf-schema#label> "GPT-5.6 Sol on wolfram2002-ch01-10: partially-resolvable, resolvability 0.77";
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> "Relevant well beyond current mathematics is not sharply delimited.",
"Undecidability of a class does not make every instance unprovable.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.82"^^xsd:double;
<https://w3id.org/delphi/ontology/hasScore> "0.768"^^xsd:double;
<https://w3id.org/delphi/ontology/hasVerdict> "partially-resolvable" .
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--analysis-feasibility>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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 wolfram2002-ch01-10 by GPT-5.6 Sol: 0.55";
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.55"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--data-adequacy>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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 wolfram2002-ch01-10 by GPT-5.6 Sol: 0.75";
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.75"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--data-existence>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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 wolfram2002-ch01-10 by GPT-5.6 Sol: 0.9";
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.9"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--discriminating-power>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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 wolfram2002-ch01-10 by GPT-5.6 Sol: 0.8";
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.8"^^xsd:double .
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--operationalizability>
a <https://w3id.org/delphi/ontology/LLMClaimAssessment>;
dc:isPartOf <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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 wolfram2002-ch01-10 by GPT-5.6 Sol: 0.75";
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.75"^^xsd:double .
<https://w3id.org/delphi/resource/claim/wolfram2002-ch01-10> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt>, <https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--analysis-feasibility>,
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--data-adequacy>,
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--data-existence>,
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--gpt--discriminating-power>,
<https://w3id.org/delphi/resource/assessment/wolfram2002-ch01-10--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/b767f83a40b537c1334379c102d09b7a899bda3c/wolfram-nks/assessment/raw/gpt/batch-1.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/b767f83a40b537c1334379c102d09b7a899bda3c/wolfram-nks/assessment/INSTRUCTIONS.md> .
}
sub:pubinfo {
<https://w3id.org/delphi/resource/domain/wolfram-nks-2002> <http://www.w3.org/2000/01/rdf-schema#label>
"wolfram-nks-2002" .
this: dc:created "2026-10-31T04:06:01.363Z"^^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/wolfram2002-ch01-10--gpt>;
<http://www.w3.org/2000/01/rdf-schema#label> "GPT-5.6 Sol on wolfram2002-ch01-10: partially-resolvable, resolvability 0.77";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/wolfram-nks-2002> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "dS62jDoVC6FU1eATRFzsPgyd60/fT13XgifnJU5QdB25A7pSMIOyjutkDhY8zaX9df71YiuvljDrfhXCiyPmxfqVA5UO5EEeWZP8oJutfZZgoIgoFp94KferhXbAM6k9Tp1SFOwqnDUSsypImstOlwE7fOPZ0PIS47BO+XgVbDQDIRYxVSPappGwvePxXl3D5/yuWqXpNUr8h64XNdaNG2d/gc+HvxpGw8Mp5/YDGP3efB+QF1XLobbkd0m0O2caF3u2zpaxdKZoPU/8sXgUiLA3sG4I5HcF6B09aWIpcZcvoa8dzViZ6dDobUxmxgBq0bhu61btlaa5UT9f4jBjBw==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}