Herramienta de chequeo de registro xml obtenido desde SEDICI (UNLP)

XML

<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:doc="http://www.lyncode.com/xoai" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><identifier>I19-R120-10915-65402</identifier><datestamp>2020-01-05T20:03:19Z</datestamp>
<dc:identifier>http://sedici.unlp.edu.ar/handle/10915/65402</dc:identifier>
<dc:identifier>http://www.clei2017-46jaiio.sadio.org.ar/sites/default/files/Mem/EST/est-06.pdf</dc:identifier>
<dc:identifier>issn:2451-7615</dc:identifier>
<dc:title>SAT: una herramienta didáctica para el problema de la satisfacibilidad</dc:title>
<dc:creator>Covelli, Tomás</dc:creator>
<dc:creator>Horquín, Enzo Nicolás</dc:creator>
<dc:creator>Santillán Cooper, Martín</dc:creator>
<dc:date>2017-09</dc:date>
<dc:date>2017</dc:date>
<dc:date>2018-03-08T16:37:26Z</dc:date>
<dc:language>es</dc:language>
<dc:subject>Ciencias Informáticas</dc:subject>
<dc:subject>lógica proposicional</dc:subject>
<dc:subject>herramienta didáctica</dc:subject>
<dc:description>La herramienta ‘SAT’ fue creada como trabajo final de dos materias del segundo año de la carrera de Ingeniería de Sistemas. SAT permite, dada una fórmula de la Lógica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configuración de valores para los literales de determinada fórmula booleana que evalúen la misma en verdadera. El objetivo de esta herramienta es el de complementar el estudio de los estudiantes en el área de Lógica Proposicional contando con una herramienta didáctica y fácil de usar. Se muestran dos aplicaciones que resuelven problemas computacionales a partir de la Lógica Proposicional.</dc:description>
<dc:description>Sociedad Argentina de Informática e Investigación Operativa (SADIO)</dc:description>
<dc:type>Objeto de conferencia</dc:type>
<dc:type>Objeto de conferencia</dc:type>
<dc:rights>http://creativecommons.org/licenses/by-sa/4.0/</dc:rights>
<dc:rights>Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)</dc:rights>
<dc:format>application/pdf</dc:format>
<dc:format>62-71</dc:format>
</oai_dc:dc>

Datos convertidos

{
    "id": "I19-R120-10915-65402",
    "record_format": "dspace",
    "spelling": [
        "I19-R120-10915-654022020-01-05T20:03:19Z http:\/\/sedici.unlp.edu.ar\/handle\/10915\/65402 http:\/\/www.clei2017-46jaiio.sadio.org.ar\/sites\/default\/files\/Mem\/EST\/est-06.pdf issn:2451-7615 SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad Covelli, Tom\u00e1s Horqu\u00edn, Enzo Nicol\u00e1s Santill\u00e1n Cooper, Mart\u00edn 2017-09 2017 2018-03-08T16:37:26Z es Ciencias Inform\u00e1ticas l\u00f3gica proposicional herramienta did\u00e1ctica La herramienta \u2018SAT\u2019 fue creada como trabajo final de dos materias del segundo a\u00f1o de la carrera de Ingenier\u00eda de Sistemas. SAT permite, dada una f\u00f3rmula de la L\u00f3gica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configuraci\u00f3n de valores para los literales de determinada f\u00f3rmula booleana que eval\u00faen la misma en verdadera. El objetivo de esta herramienta es el de complementar el estudio de los estudiantes en el \u00e1rea de L\u00f3gica Proposicional contando con una herramienta did\u00e1ctica y f\u00e1cil de usar. Se muestran dos aplicaciones que resuelven problemas computacionales a partir de la L\u00f3gica Proposicional. Sociedad Argentina de Inform\u00e1tica e Investigaci\u00f3n Operativa (SADIO) Objeto de conferencia Objeto de conferencia http:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) application\/pdf 62-71"
    ],
    "institution": [
        "Universidad Nacional de La Plata"
    ],
    "institution_str": "I-19",
    "repository_str": "R-120",
    "collection": [
        "SEDICI (UNLP)"
    ],
    "language": [
        "Espa\u00f1ol"
    ],
    "topic": [
        "Ciencias Inform\u00e1ticas",
        "l\u00f3gica proposicional",
        "herramienta did\u00e1ctica"
    ],
    "spellingShingle": [
        "Ciencias Inform\u00e1ticas",
        "l\u00f3gica proposicional",
        "herramienta did\u00e1ctica",
        "Covelli, Tom\u00e1s",
        "Horqu\u00edn, Enzo Nicol\u00e1s",
        "Santill\u00e1n Cooper, Mart\u00edn",
        "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad"
    ],
    "topic_facet": [
        "Ciencias Inform\u00e1ticas",
        "l\u00f3gica proposicional",
        "herramienta did\u00e1ctica"
    ],
    "description": "La herramienta \u2018SAT\u2019 fue creada como trabajo final de dos materias del segundo a\u00f1o de la carrera de Ingenier\u00eda de Sistemas. SAT permite, dada una f\u00f3rmula de la L\u00f3gica Proposicional expresada en forma normal conjuntiva (FNC), decidir si es satisfacible o no. En otras palabras, encontrar una configuraci\u00f3n de valores para los literales de determinada f\u00f3rmula booleana que eval\u00faen la misma en verdadera. El objetivo de esta herramienta es el de complementar el estudio de los estudiantes en el \u00e1rea de L\u00f3gica Proposicional contando con una herramienta did\u00e1ctica y f\u00e1cil de usar. Se muestran dos aplicaciones que resuelven problemas computacionales a partir de la L\u00f3gica Proposicional.",
    "format": [
        "Objeto de conferencia",
        "Objeto de conferencia"
    ],
    "author": [
        "Covelli, Tom\u00e1s",
        "Horqu\u00edn, Enzo Nicol\u00e1s",
        "Santill\u00e1n Cooper, Mart\u00edn"
    ],
    "author_facet": [
        "Covelli, Tom\u00e1s",
        "Horqu\u00edn, Enzo Nicol\u00e1s",
        "Santill\u00e1n Cooper, Mart\u00edn"
    ],
    "author_sort": "Covelli, Tom\u00e1s",
    "title": "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "title_short": "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "title_full": "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "title_fullStr": "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "title_full_unstemmed": "SAT: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "title_sort": "sat: una herramienta did\u00e1ctica para el problema de la satisfacibilidad",
    "publishDate": [
        "2017"
    ],
    "url": [
        "http:\/\/sedici.unlp.edu.ar\/handle\/10915\/65402",
        "http:\/\/www.clei2017-46jaiio.sadio.org.ar\/sites\/default\/files\/Mem\/EST\/est-06.pdf"
    ],
    "work_keys_str_mv": [
        "AT covellitomas satunaherramientadidacticaparaelproblemadelasatisfacibilidad",
        "AT horquinenzonicolas satunaherramientadidacticaparaelproblemadelasatisfacibilidad",
        "AT santillancoopermartin satunaherramientadidacticaparaelproblemadelasatisfacibilidad"
    ],
    "_version_": 1734135043621650432
}