Data Portal @ linkeddatafragments.org
DBpedia 2014
Search DBpedia 2014 by triple pattern
subject
predicate
object
Matches in DBpedia 2014 for
{ <http://dbpedia.org/resource/SAT_solver> ?p ?o. }
Showing items 1 to 6 of
6
with
100
items per page.
SAT_solver
wikiPageID
"
15409192
"
.
SAT_solver
wikiPageRedirects
Boolean_satisfiability_problem
.
SAT_solver
wikiPageRevisionID
"
225591210
"
.
SAT_solver
label
"
SAT solver
"
.
SAT_solver
wasDerivedFrom
SAT_solver?oldid=225591210
.
SAT_solver
isPrimaryTopicOf
SAT_solver
.
