@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/> .

<https://w3id.org/np/RAdMFbkjDyxp6v53Ts4TFNjPj_6kaYiCjQdxcSyijVyp8> a np:Nanopublication;
  np:hasAssertion sub:assertion;
  np:hasProvenance sub:provenance;
  np:hasPublicationInfo sub:pubinfo;
  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> .

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:assertion prov:wasAttributedTo orcid:0000-0003-0056-1249 .

<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 <https://w3id.org/np/RAdMFbkjDyxp6v53Ts4TFNjPj_6kaYiCjQdxcSyijVyp8>;
  npx:signedBy orcid:0009-0006-3216-8846 .