Algoritmos SAT
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Categoría:Algoritmos_SAT
skos:
broader
dbpedia-latam:
Categoría:Algoritmos
dbpedia-latam:
Categoría:Lógica_proposicional
rdfs:
label
Algoritmos SAT
(es)
skos:
prefLabel
Algoritmos SAT
(es)
Is
dcterms:
subject
of
dbpedia-latam:
Algoritmo_DPLL
dbpedia-latam:
Algoritmo_de_Davis-Putnam
rdf:
type
skos:
Concept
prov:
wasDerivedFrom
wiki-latam:
Categoría:Algoritmos_SAT?oldid=68754222
dbpedia-owl:
wikiPageID
1310762
(xsd:integer)
dbpedia-owl:
wikiPageRevisionID
68754222
(xsd:integer)
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Algoritmo_DPLL
dbpedia-latam:
Algoritmo_de_Davis-Putnam
dbpedia-latam:
Problema_de_satisfacibilidad_booleana