Teoremas De Lógica | DBpedia LatAm

skos:broader	dbpedia-latam:Categoría:Lógica dbpedia-latam:Categoría:Teoremas
Is skos:broader of	dbpedia-latam:Categoría:Teoremas_de_la_lógica_proposicional
rdfs:label	Teoremas de lógica (es)
skos:prefLabel	Teoremas de lógica (es)
Is dcterms:subject of	dbpedia-latam:Demostración_original_del_teorema_de_completitud_de_Gödel dbpedia-latam:Programa_de_Hilbert dbpedia-latam:Teorema_de_Frege dbpedia-latam:Teorema_de_Löb dbpedia-latam:Teorema_de_Löwenheim-Skolem dbpedia-latam:Teorema_de_compacidad dbpedia-latam:Teorema_de_completitud_de_Gödel dbpedia-latam:Teorema_de_la_deducción dbpedia-latam:Teoremas_de_incompletitud_de_Gödel
rdf:type	skos:Concept
prov:wasDerivedFrom	wiki-latam:Categoría:Teoremas_de_lógica?oldid=68864841
dbpedia-owl:wikiPageID	1310748 (xsd:integer)
dbpedia-owl:wikiPageRevisionID	68864841 (xsd:integer)
Is dbpedia-owl:wikiPageWikiLink of	dbpedia-latam:Demostración_original_del_teorema_de_completitud_de_Gödel dbpedia-latam:Programa_de_Hilbert dbpedia-latam:Teorema_de_Frege dbpedia-latam:Teorema_de_Löb dbpedia-latam:Teorema_de_Löwenheim-Skolem dbpedia-latam:Teorema_de_compacidad dbpedia-latam:Teorema_de_completitud_de_Gödel dbpedia-latam:Teorema_de_la_deducción dbpedia-latam:Teoremas_de_incompletitud_de_Gödel