@prefix this: <https://w3id.org/np/RAdMFbkjDyxp6v53Ts4TFNjPj_6kaYiCjQdxcSyijVyp8> .
@prefix sub: <https://w3id.org/np/RAdMFbkjDyxp6v53Ts4TFNjPj_6kaYiCjQdxcSyijVyp8#> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix nt: <https://w3id.org/np/o/ntemplate/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix orcid: <https://orcid.org/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .

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

sub:assertion {
  sub:spi a <https://w3id.org/linkflows/superpattern/terms/SuperPatternInstance>;
    rdfs:label "over principal ideal domains, flat modules are exactly torsion-free modules";
    <https://w3id.org/linkflows/superpattern/terms/hasContextClass> <http://www.wikidata.org/entity/Q1143969>;
    <https://w3id.org/linkflows/superpattern/terms/hasObjectClass> <http://www.wikidata.org/entity/Q7827200>;
    <https://w3id.org/linkflows/superpattern/terms/hasQualifier> <https://w3id.org/linkflows/superpattern/terms/alwaysQualifier>;
    <https://w3id.org/linkflows/superpattern/terms/hasRelation> <https://w3id.org/linkflows/superpattern/terms/isNecessaryAndSufficientFor>;
    <https://w3id.org/linkflows/superpattern/terms/hasSubjectClass> <http://www.wikidata.org/entity/Q1426191> .
}

sub:provenance {
  sub:assertion prov:wasAttributedTo orcid:0000-0003-0056-1249 .
}

sub:pubinfo {
  <http://www.wikidata.org/entity/Q1143969> nt:hasLabelFromApi "principal ideal domain - Algebraic structure" .
  
  <http://www.wikidata.org/entity/Q1426191> nt:hasLabelFromApi "flat module - algebraic structure in ring theory" .
  
  <http://www.wikidata.org/entity/Q7827200> nt:hasLabelFromApi "torsion-free module - module over a ring such that zero is the only element annihilated by a regular element of the ring" .
  
  orcid:0009-0006-3216-8846 foaf:name "Uni Marx" .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIGfMA0GCSqGSIb3DQEBAQUAA4GNADCBiQKBgQCnNLN3ua2JspoEHU8IclouceneexsknOLLz5ONfKbPFteR1TwYn5QQpQgpw/9QBi2xa6EexXYFUJCnol7mEtzmE1+fQO5NKc5MYL/HZxmYlhCCPkuhpe0J9po8C1k8lBOoa0BwoQb1EHlQf4qpaPjgc2jCIXwIkPHiMvLMba/vVQIDAQAB";
    npx:hasSignature "lTDlLQzQEeTePcN4KVDSiiuNPrnfFw6UMK85TabmRZKrFKNrgjd8l0h77IrkUuPmdsnXYcZ5y2zT/ejShPHnAGwXf/QOoXK1Qf3D02F15jxPAs72wtc3lr9LVYRugFaASdZF6UPZlR1wWmvPkDcAsNbCmcuBidF4ERpDGRXMhkk=";
    npx:hasSignatureTarget this:;
    npx:signedBy orcid:0009-0006-3216-8846 .
  
  this: dct:created "2024-04-21T18:56:34.886Z"^^xsd:dateTime;
    dct:creator orcid:0009-0006-3216-8846;
    dct:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:introduces sub:spi;
    npx:wasCreatedAt <https://nanodash.knowledgepixels.com/>;
    nt:wasCreatedFromProvenanceTemplate <http://purl.org/np/RAi6zZAwhaJ23Hzg4lIjlPir6Take3ZQp-lS9skfBEwfQ>;
    nt:wasCreatedFromPubinfoTemplate <http://purl.org/np/RAA2MfqdBCzmz9yVWjKLXNbyfBNcwsMmOqcNUxkk1maIM>,
      <http://purl.org/np/RAh1gm83JiG5M6kDxXhaYT1l49nCzyrckMvTzcPn-iv90>;
    nt:wasCreatedFromTemplate <http://purl.org/np/RAy3tITXPlULFLXxAxek39GLqLdqKkNM5hIzUOZxxjMmI> .
}