{ "items" : [
    { "id" : "http://dbpedia.org/resource/Prenex_normal_form"
      "properties" : {
        "http://www.w3.org/2002/07/owl#sameAs" : [ "http://es.dbpedia.org/resource/Forma_normal_prenexa" ] } },

    { "id" : "http://es.wikipedia.org/wiki/Forma_normal_prenexa"
      "properties" : {
        "http://xmlns.com/foaf/0.1/primaryTopic" : [ "http://es.dbpedia.org/resource/Forma_normal_prenexa" ] } },

    { "id" : "http://es.dbpedia.org/resource/Forma_normal_prenexa"
      "properties" : {
        "http://www.w3.org/2000/01/rdf-schema#label" : [ "Forma normal prenexa" ] ,
        "http://www.w3.org/2000/01/rdf-schema#comment" : [ "En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y  son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa." ] ,
        "http://purl.org/dc/terms/subject" : [ "http://es.dbpedia.org/resource/Categoría:Formas_normales",
          "http://es.dbpedia.org/resource/Categoría:Lógica_matemática" ] ,
        "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ "http://es.wikipedia.org/wiki/Forma_normal_prenexa" ] ,
        "http://es.dbpedia.org/property/first" : [ "P." ] ,
        "http://es.dbpedia.org/property/isbn" : [ 978 ] ,
        "http://es.dbpedia.org/property/last" : [ "Hinman" ] ,
        "http://es.dbpedia.org/property/publisher" : [ "http://es.dbpedia.org/resource/A_K_Peters" ] ,
        "http://es.dbpedia.org/property/title" : [ "Fundamentals of Mathematical Logic" ] ,
        "http://es.dbpedia.org/property/year" : [ 2005 ] ,
        "http://dbpedia.org/ontology/wikiPageID" : [ 4639069 ] ,
        "http://dbpedia.org/ontology/wikiPageRevisionID" : [ 130210431 ] ,
        "http://dbpedia.org/ontology/wikiPageLength" : [ 7035 ] ,
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://es.wikipedia.org/wiki/Forma_normal_prenexa?oldid=130210431&ns=0" ] ,
        "http://dbpedia.org/ontology/abstract" : [ "En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales o universales, seguidos por una fórmula sin cuantificadores lógicos, designada como «matriz». Toda fórmula es equivalente en lógica clásica a una fórmula en forma normal prenexa. Por ejemplo, si, , y  son fórmulas sin cuantificar con las variables libres mostradas, luego está en forma normal prenexa, con la matriz , mientras que es lógicamente equivalente pero no en forma prenexa. El término «prenexa» viene del latín praenexus, pasado participio de praenectere, que significa «atado» o «atado en el frente».​ Cuando una fórmula en forma normal prenexa solo posee cuantificadores universales, se dice que está en forma normal de Skolem. Toda fórmula en forma normal prenexa es lógicamente equivalente a una en forma normal de Skolem, y la manera de llegar de una a otra se denomina skolemización." ] } },

    { "id" : "http://es.dbpedia.org/resource/Forma_prenexa"
      "properties" : {
        "http://dbpedia.org/ontology/wikiPageRedirects" : [ "http://es.dbpedia.org/resource/Forma_normal_prenexa"] } } }
