@prefix this: <https://w3id.org/np/RAfr9vemv1kJeAwhneTWlVTR1XhjoyLzj2dzIbbU099lg> .
@prefix sub: <https://w3id.org/np/RAfr9vemv1kJeAwhneTWlVTR1XhjoyLzj2dzIbbU099lg/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix npx: <http://purl.org/nanopub/x/> .

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

sub:assertion {
  wd:Q11518 dct:description "In a right triangle, the square of the length of the hypotenuse equals the sum of the squares of the lengths of the other two sides (a² + b² = c²)."@en;
    dct:isPartOf wd:Q162886;
    rdfs:label "Pythagorean theorem"@en;
    skos:related wd:Q214159 .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo orcid:0000-0002-8042-4131;
    prov:wasDerivedFrom <https://www.wikidata.org/wiki/Q11518> .
}

sub:pubinfo {
  this: dct:contributor sub:claude-fable-5;
    dct:created "2026-07-08T17:44:04Z"^^xsd:dateTime;
    dct:creator orcid:0000-0002-8042-4131;
    dct:license <https://creativecommons.org/licenses/by/4.0/>;
    rdfs:label "FAIR Digital Object: Pythagorean theorem" .
  
  sub:claude-fable-5 a prov:SoftwareAgent;
    dct:description "AI assistant by Anthropic that drafted this nanopublication."@en;
    rdfs:label "Claude Fable 5" .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuf45jeLY8du2mdR9Nnr5u0VQC/Ry6wLMP4lGDZo7h5LMKigj2yOeeygfVuFKaaRl5QVvKaMn3VlZRTF14vIWPmP2gEjKsm5ItK0Ii58vh3CkqNLjSfUGreD/jLxvMRS9Urz3FBNy/fTFbK8OovkJLY84XrjTQCH0Z0ZxOXQT9msVYSMAtkA2pZVavwoMc9HFH7lixDHRgn2N8PiAzmvdKozaeFrwI6VykmJahdYGBg+o9fgCPtDSfvfJTEumUkNyRxnlj7U5g7Tq1KK4yWjPHbwQLoZSUwH/KR6pN7QD9sjUOZYRZehnUmn5GrEi17hZPZLisx0mzkmQV7Z/TPhNoQIDAQAB";
    npx:hasSignature "lREKy45BOoVxDLoLWW/r12lAsfOPD5PH7CIsJtQRfxlRyXi/E85sgiKaTc5keKYNEUpd4iFwoXAbv4IojBgIZCIZUZK8hRVWnNWmxRmyAhObKmoav5oDpze2fc7+goAoEzR/cX6JDaqJKp0mRZjlbcDiIBiNURk0FHqtIm2JAR/zSy+9o5Hf73BCClOLC5YpilqS/ythhTagn1KM/s/B9uHtSM5Ah/CkwLZuh/cF7H56/ZZU1dSCK0Q+keUxEBvwVJILL2QR43efsSn11KW6bOB6Ii2T97iR51D6n2YejWQahqmuOhufmKhb7vIckkEKde+3x4+IaKRTElZYuaRSwg==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://w3id.org/np/RA2cLvTWQp8S1kkViFTLE2tWK2b7lBieP2Mc2_qTX7Woo/Cavia_porcellus_bourbakii> .
}