@base          <http://portalinvestigacion.consorciomadrono.es/> .
<publications/1426302>
        a                           <bibo:Document> ;
        <bibo:doi>                  "10.1016/j.jlamp.2026.101132" ;
        <dcterms:created>           "2026-08-31T19:16:49.668Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> ;
        <dcterms:issued>            "2026-09-01"^^<xsd:date> ;
        <dcterms:modified>          "2026-08-31T19:16:49.668Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> ;
        <dcterms:title>             "Modular derivation of decision procedures for extensions of the algebraic theory of arrays" ;
        <obo:arg_2000028>           [ <obo:arg_2000029>  <publications/1426302> ;
                                      <rdf:type>         <vcard:Individual> ;
                                      <vcard:hasURL>     [ <rdf:type>   <vcard:URL> ;
                                                           <vcard:url>  <http://doi.org/10.1016/j.jlamp.2026.101132>
                                                         ]
                                    ] ;
        <rdf:type>                  <bibo:AcademicArticle> ;
        <vivo:hasPublicationVenue>  [ <dcterms:title>             "Journal of Logical and Algebraic Methods in Programming" ;
                                      <rdf:type>                  <bibo:Collection> ;
                                      <vivo:publicationVenueFor>  <publications/1426302>
                                    ] ;
        <vivo:relatedBy>            [ a  <vivo:Authorship> , <vivo:Relationship> ] .