@prefix config: <http://example.org/config#>.
@prefix meta: <http://example.org/metadata#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix dc: <http://purl.org/dc/elements/1.1/>.
@prefix dcmitype: <http://purl.org/dc/dcmitype/>.
@prefix dcterms: <http://purl.org/dc/terms/>.
@prefix foaf: <http://xmlns.com/foaf/0.1/>.
@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#>.
@prefix om: <http://opendata.caceres.es/def/ontomunicipio#>.
@prefix locn: <http://www.w3.org/ns/locn#>.
@prefix schema: <http://schema.org/>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix dbpedia: <http://localhost:8080/resource/>.
@prefix p: <http://localhost:8080/property/>.
@prefix yago: <http://localhost:8080/class/yago/>.
@prefix units: <http://dbpedia.org/units/>.
@prefix geonames: <http://www.geonames.org/ontology#>.
@prefix prv: <http://purl.org/net/provenance/ns#>.
@prefix prvTypes: <http://purl.org/net/provenance/types#>.
@prefix doap: <http://usefulinc.com/ns/doap#>.
@prefix void: <http://rdfs.org/ns/void#>.
@prefix ir: <http://www.ontologydesignpatterns.org/cp/owl/informationrealization.owl#>.
@prefix ou: <https://opendata.unex.es/def/ontouniversidad#>.
@prefix teach: <http://linkedscience.org/teach/ns#>.
@prefix time: <https://www.w3.org/2006/time#>.
@prefix datex: <http://vocab.datex.org/terms#>.
@prefix aiiso: <http://purl.org/vocab/aiiso/schema#>.
@prefix vivo: <http://vivoweb.org/ontology/core#>.
@prefix bibo: <http://purl.org/ontology/bibo/>.
@prefix fabio: <http://purl.org/spar/fabio/>.
@prefix vcard: <http://www.w3.org/2006/vcard/ns#>.
@prefix swrcfe: <http://www.morelab.deusto.es/ontologies/swrcfe#>.
@prefix frapo: <http://purl.org/cerif/frapo/>.
@prefix org: <https://www.w3.org/ns/org#>.
@prefix ei2a: <https://opendata.aragon.es/def/ei2a/#>.
@prefix pto: <http://www.productontology.org/id/>.

<https://opendata.unex.es/recurso/ciencia-tecnologia/investigacion/publicaciones/Publicacion/2025-13> dcterms:title "Automatic generation of efficient oracles: The less-than case";
    vivo:identifier "2025-13";
    bibo:doi "10.1016/j.jss.2024.112203";
    vcard:url <https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85203463882&origin=inward>;
    ou:eid "2-s2.0-85203463882";
    ou:vecesCitado "0";
    dcterms:creator "Sanchez-Rivero J.";
    dcterms:publisher "Journal of Systems and Software";
    bibo:volume "219";
    ou:openaccess "1"^^xsd:boolean;
    fabio:hasPublicationYear "2025";
    bibo:issn "0164-1212";
    ou:urlOrcid <https://doi.org/10.1016/j.jss.2024.112203>;
    ou:tipoPublicacion "Article";
    a ou:Publicacion;
    ou:urlScopus <https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85203463882&origin=inward>;
    dcterms:contributor "Javier Sanchez-Rivero, Daniel Talaván, Jose Garcia-Alonso, Antonio Ruiz-Cortés, Juan Manuel Murillo";
    dcterms:created "2025-01-01T00:00:00"^^xsd:dateTime;
    ou:publicadaEnRevista <https://opendata.unex.es/recurso/ciencia-tecnologia/investigacion/revistas/Revista/2025-13890>.
<https://opendata.unex.es/recurso/educacion/universidad/personal/9927dc100c91085e83066116142bcbda-jose-manuel-garcia-alonso> ou:tienePublicacion <https://opendata.unex.es/recurso/ciencia-tecnologia/investigacion/publicaciones/Publicacion/2025-13>.
<https://opendata.unex.es/recurso/educacion/universidad/personal/b1368235427caabc8893c7379017a7be-juan-manuel-murillo-rodriguez> ou:tienePublicacion <https://opendata.unex.es/recurso/ciencia-tecnologia/investigacion/publicaciones/Publicacion/2025-13>.