Nanopublications

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